root
file
detailed [1050..1074]
prev
next
detailed results (3221 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
minisat
/home/simon/w/batsat/benchs/basic/uf250-058.cnf.gz
(content)
sat
unknown
0.740s
minisat
/home/simon/w/batsat/benchs/basic/uf250-057.cnf.gz
(content)
sat
unknown
0.648s
minisat
/home/simon/w/batsat/benchs/basic/uf250-056.cnf.gz
(content)
sat
unknown
1.7s
minisat
/home/simon/w/batsat/benchs/basic/uf250-055.cnf.gz
(content)
sat
unknown
0.236s
minisat
/home/simon/w/batsat/benchs/basic/uf250-054.cnf.gz
(content)
sat
unknown
3.5s
minisat
/home/simon/w/batsat/benchs/basic/uf250-053.cnf.gz
(content)
sat
unknown
2.6s
minisat
/home/simon/w/batsat/benchs/basic/uf250-052.cnf.gz
(content)
sat
unknown
2.5s
minisat
/home/simon/w/batsat/benchs/basic/uf250-051.cnf.gz
(content)
sat
unknown
1.3s
minisat
/home/simon/w/batsat/benchs/basic/uf250-050.cnf.gz
(content)
sat
unknown
0.286s
minisat
/home/simon/w/batsat/benchs/basic/uf250-05.cnf.gz
(content)
sat
unknown
1.4s
minisat
/home/simon/w/batsat/benchs/basic/uf250-049.cnf.gz
(content)
sat
unknown
0.176s
minisat
/home/simon/w/batsat/benchs/basic/uf250-048.cnf.gz
(content)
sat
unknown
4.8s
minisat
/home/simon/w/batsat/benchs/basic/uf250-047.cnf.gz
(content)
sat
unknown
5.6s
minisat
/home/simon/w/batsat/benchs/basic/uf250-046.cnf.gz
(content)
sat
unknown
0.243s
minisat
/home/simon/w/batsat/benchs/basic/uf250-045.cnf.gz
(content)
sat
unknown
0.576s
minisat
/home/simon/w/batsat/benchs/basic/uf250-044.cnf.gz
(content)
sat
unknown
0.752s
minisat
/home/simon/w/batsat/benchs/basic/uf250-043.cnf.gz
(content)
sat
unknown
5.2s
minisat
/home/simon/w/batsat/benchs/basic/uf250-042.cnf.gz
(content)
sat
unknown
0.782s
minisat
/home/simon/w/batsat/benchs/basic/uf250-041.cnf.gz
(content)
sat
unknown
0.679s
minisat
/home/simon/w/batsat/benchs/basic/uf250-040.cnf.gz
(content)
sat
unknown
1.3s
minisat
/home/simon/w/batsat/benchs/basic/uf250-04.cnf.gz
(content)
sat
unknown
0.404s
minisat
/home/simon/w/batsat/benchs/basic/uf250-039.cnf.gz
(content)
sat
unknown
0.275s
minisat
/home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz
(content)
unknown
unknown
10.6s
minisat
/home/simon/w/batsat/benchs/basic/uf250-037.cnf.gz
(content)
sat
unknown
0.170s
minisat
/home/simon/w/batsat/benchs/basic/uf250-036.cnf.gz
(content)
sat
unknown
5.9s