root
file
detailed [25..49]
prev
next
detailed results (1079 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
batsat
/home/simon/w/batsat/benchs/basic/uuf250-065.cnf.gz
(content)
unsat
unknown
3.7s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-064.cnf.gz
(content)
unsat
unknown
10.4s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-062.cnf.gz
(content)
unsat
unknown
5.1s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-060.cnf.gz
(content)
unsat
unknown
5.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-06.cnf.gz
(content)
unsat
unknown
9.3s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-059.cnf.gz
(content)
unsat
unknown
2.3s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-057.cnf.gz
(content)
unsat
unknown
12.2s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-056.cnf.gz
(content)
unsat
unknown
6.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-055.cnf.gz
(content)
unsat
unknown
1.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-054.cnf.gz
(content)
unsat
unknown
8.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-052.cnf.gz
(content)
unsat
unknown
8.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-050.cnf.gz
(content)
unsat
unknown
10.1s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-05.cnf.gz
(content)
unsat
unknown
4.3s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-049.cnf.gz
(content)
unsat
unknown
4.9s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-048.cnf.gz
(content)
unsat
unknown
2.1s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-047.cnf.gz
(content)
unsat
unknown
5.1s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-045.cnf.gz
(content)
unsat
unknown
4.5s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-044.cnf.gz
(content)
unsat
unknown
8.5s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-043.cnf.gz
(content)
unsat
unknown
11s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-042.cnf.gz
(content)
unsat
unknown
8.8s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-041.cnf.gz
(content)
unsat
unknown
8.9s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-040.cnf.gz
(content)
unsat
unknown
3.2s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-04.cnf.gz
(content)
unsat
unknown
9.4s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-039.cnf.gz
(content)
unsat
unknown
6.6s
batsat
/home/simon/w/batsat/benchs/basic/uuf250-038.cnf.gz
(content)
unsat
unknown
2s