root
file
detailed [25..49]
prev
next
detailed results (1089 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
minisat
/home/simon/w/batsat/benchs/basic/uuf250-057.cnf.gz
(content)
unsat
unknown
8.9s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-056.cnf.gz
(content)
unsat
unknown
5.3s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-055.cnf.gz
(content)
unsat
unknown
1.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-054.cnf.gz
(content)
unsat
unknown
8.4s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-053.cnf.gz
(content)
unsat
unknown
7.8s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-052.cnf.gz
(content)
unsat
unknown
7.8s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-050.cnf.gz
(content)
unsat
unknown
6.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-05.cnf.gz
(content)
unsat
unknown
3.4s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-049.cnf.gz
(content)
unsat
unknown
4s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-048.cnf.gz
(content)
unsat
unknown
1.2s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-047.cnf.gz
(content)
unsat
unknown
7s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-045.cnf.gz
(content)
unsat
unknown
4s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-044.cnf.gz
(content)
unsat
unknown
4.9s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-043.cnf.gz
(content)
unsat
unknown
9.1s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-042.cnf.gz
(content)
unsat
unknown
8s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-041.cnf.gz
(content)
unsat
unknown
7s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-040.cnf.gz
(content)
unsat
unknown
2.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-04.cnf.gz
(content)
unsat
unknown
8.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-039.cnf.gz
(content)
unsat
unknown
3.3s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-038.cnf.gz
(content)
unsat
unknown
1.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-037.cnf.gz
(content)
unsat
unknown
3.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-036.cnf.gz
(content)
unsat
unknown
3.9s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-035.cnf.gz
(content)
unsat
unknown
8.0s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-032.cnf.gz
(content)
unsat
unknown
6.4s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-031.cnf.gz
(content)
unsat
unknown
9.6s