root
file
detailed
prev
next
detailed results (25 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
batsat
/home/simon/w/batsat/benchs/basic/uuf250-092.cnf.gz
(content)
unknown
unknown
12.9s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-09.cnf.gz
(content)
unknown
unknown
11.5s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-087.cnf.gz
(content)
unknown
unknown
11.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-081.cnf.gz
(content)
unknown
unknown
11.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-079.cnf.gz
(content)
unknown
unknown
10.0s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-077.cnf.gz
(content)
unknown
unknown
11.5s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-071.cnf.gz
(content)
unknown
unknown
10.7s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-070.cnf.gz
(content)
unknown
unknown
10.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-066.cnf.gz
(content)
unknown
unknown
12.2s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-063.cnf.gz
(content)
unknown
unknown
11.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-061.cnf.gz
(content)
unknown
unknown
10.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-058.cnf.gz
(content)
unknown
unknown
10.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-053.cnf.gz
(content)
unknown
unknown
10.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-051.cnf.gz
(content)
unknown
unknown
11.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-046.cnf.gz
(content)
unknown
unknown
11.2s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-034.cnf.gz
(content)
unknown
unknown
11.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-033.cnf.gz
(content)
unknown
unknown
12.7s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-031.cnf.gz
(content)
unknown
unknown
10.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-027.cnf.gz
(content)
unknown
unknown
11.4s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-022.cnf.gz
(content)
unknown
unknown
10.0s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-021.cnf.gz
(content)
unknown
unknown
10.9s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-0100.cnf.gz
(content)
unknown
unknown
11s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-01.cnf.gz
(content)
unknown
unknown
12s
batsat
/home/simon/w/batsat/benchs/basic/grieu-vmpc-s05-24s.cnf.gz
(content)
unknown
unknown
11.7s
batsat
/home/simon/w/batsat/benchs/basic/2bitadd_10.cnf.gz
(content)
unknown
unknown
10.5s