root
file
detailed
prev
next
detailed results (51 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-050.cnf
(content)
unsat
unknown
9.7s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-05.cnf
(content)
unsat
unknown
8.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-049.cnf
(content)
unsat
unknown
6.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-048.cnf
(content)
unsat
unknown
3.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-045.cnf
(content)
unsat
unknown
5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-041.cnf
(content)
unsat
unknown
7.1s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-040.cnf
(content)
unsat
unknown
2.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-038.cnf
(content)
unsat
unknown
2.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-037.cnf
(content)
unsat
unknown
4.2s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-036.cnf
(content)
unsat
unknown
4.0s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-030.cnf
(content)
unsat
unknown
6.1s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-03.cnf
(content)
unsat
unknown
8.3s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-029.cnf
(content)
unsat
unknown
5.9s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-026.cnf
(content)
unsat
unknown
4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-025.cnf
(content)
unsat
unknown
9.2s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-024.cnf
(content)
unsat
unknown
8.3s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-023.cnf
(content)
unsat
unknown
5.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-02.cnf
(content)
unsat
unknown
9.2s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-019.cnf
(content)
unsat
unknown
8.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-018.cnf
(content)
unsat
unknown
10.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-017.cnf
(content)
unsat
unknown
9.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-016.cnf
(content)
unsat
unknown
5.9s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-015.cnf
(content)
unsat
unknown
9.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-010.cnf
(content)
unsat
unknown
10.7s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-01.cnf
(content)
unsat
unknown
8.8s