root
file
detailed
prev
next
detailed results (16 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
minisat
/home/simon/w/batsat/benchs/basic/uuf250-09.cnf.gz
(content)
unknown
unknown
11.8s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-087.cnf.gz
(content)
unknown
unknown
11.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-077.cnf.gz
(content)
unknown
unknown
12.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-070.cnf.gz
(content)
unknown
unknown
10.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-069.cnf.gz
(content)
unknown
unknown
10.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-066.cnf.gz
(content)
unknown
unknown
12s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-061.cnf.gz
(content)
unknown
unknown
10.8s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-058.cnf.gz
(content)
unknown
unknown
10.6s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-051.cnf.gz
(content)
unknown
unknown
12s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-046.cnf.gz
(content)
unknown
unknown
12s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-034.cnf.gz
(content)
unknown
unknown
11.5s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-033.cnf.gz
(content)
unknown
unknown
12s
minisat
/home/simon/w/batsat/benchs/basic/uuf250-022.cnf.gz
(content)
unknown
unknown
10.0s
minisat
/home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz
(content)
unknown
unknown
10.6s
minisat
/home/simon/w/batsat/benchs/basic/uf250-029.cnf.gz
(content)
unknown
unknown
12.8s
minisat
/home/simon/w/batsat/benchs/basic/2bitadd_10.cnf.gz
(content)
unknown
unknown
10.8s