root
file
detailed
prev
next
detailed results (29 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-095.cnf
(content)
unsat
unknown
11.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-094.cnf
(content)
unsat
unknown
8s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-091.cnf
(content)
unsat
unknown
9.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-090.cnf
(content)
unsat
unknown
4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-086.cnf
(content)
unsat
unknown
9.7s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-084.cnf
(content)
unsat
unknown
9.1s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-083.cnf
(content)
unsat
unknown
6.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-076.cnf
(content)
unsat
unknown
6.8s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-073.cnf
(content)
unsat
unknown
6.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-07.cnf
(content)
unsat
unknown
9.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-065.cnf
(content)
unsat
unknown
6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-060.cnf
(content)
unsat
unknown
7.7s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-06.cnf
(content)
unsat
unknown
9.1s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-059.cnf
(content)
unsat
unknown
5.5s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-056.cnf
(content)
unsat
unknown
10.2s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-055.cnf
(content)
unsat
unknown
5.7s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-048.cnf
(content)
unsat
unknown
4.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-045.cnf
(content)
unsat
unknown
8s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-040.cnf
(content)
unsat
unknown
4.0s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-038.cnf
(content)
unsat
unknown
4.6s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-037.cnf
(content)
unsat
unknown
6.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-036.cnf
(content)
unsat
unknown
8.9s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-029.cnf
(content)
unsat
unknown
10.3s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-026.cnf
(content)
unsat
unknown
7.4s
sidekick-dev
/home/simon/w/sidekick2/tests/uuf250/uuf250-024.cnf
(content)
unsat
unknown
7.4s