SHOW:
|
|
- or go back to the newest paste.
1 | Test score: 5/6 | |
2 | ||
3 | - | Test testSimplify1 failed: Expected Or(Or(Or(And(Atom(x1),And(Not(Atom(x2)),Not(Atom(x3)))),Impl(And(Atom(x3),Atom(x4)),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Or(Not(Atom(x4)),Or(Not(Atom(x3)),Not(Atom(x4))))), but got Or(Or(Or(And(Atom(x1),Not(Or(Atom(x2),Not(Not(Atom(x3)))))),Impl(Not(Or(Not(Atom(x3)),Not(Atom(x4)))),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Not(And(Atom(x4),Not(Not(Not(Not(And(Atom(x3),Atom(x4))))))))) |
3 | + | Test testSimplify1 failed: |
4 | Expected | |
5 | Or(Or(Or(And(Atom(x1),And(Not(Atom(x2)),Not(Atom(x3)))),Impl(And(Atom(x3),Atom(x4)),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Or(Not(Atom(x4)),Or(Not(Atom(x3)),Not(Atom(x4))))) | |
6 | but got | |
7 | Or(Or(Or(And(Atom(x1),Not(Or(Atom(x2),Not(Not(Atom(x3)))))),Impl(Not(Or(Not(Atom(x3)),Not(Atom(x4)))),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Not(And(Atom(x4),Not(Not(Not(Not(And(Atom(x3),Atom(x4))))))))) |