root
file
detailed [375..399]
prev
next
detailed results (3221 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
batsat
/home/simon/w/batsat/benchs/basic/uf20-044.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0439.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0438.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0437.cnf.gz
(content)
sat
unknown
0.012s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0436.cnf.gz
(content)
sat
unknown
0.012s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0435.cnf.gz
(content)
sat
unknown
0.017s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0434.cnf.gz
(content)
sat
unknown
0.014s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0433.cnf.gz
(content)
sat
unknown
0.018s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0432.cnf.gz
(content)
sat
unknown
0.017s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0431.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0430.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-043.cnf.gz
(content)
sat
unknown
0.049s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0429.cnf.gz
(content)
sat
unknown
0.022s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0428.cnf.gz
(content)
sat
unknown
0.013s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0427.cnf.gz
(content)
sat
unknown
0.011s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0426.cnf.gz
(content)
sat
unknown
0.015s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0425.cnf.gz
(content)
sat
unknown
0.022s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0424.cnf.gz
(content)
sat
unknown
0.009s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0423.cnf.gz
(content)
sat
unknown
0.017s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0422.cnf.gz
(content)
sat
unknown
0.017s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0421.cnf.gz
(content)
sat
unknown
0.008s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0420.cnf.gz
(content)
sat
unknown
0.015s
batsat
/home/simon/w/batsat/benchs/basic/uf20-042.cnf.gz
(content)
sat
unknown
0.013s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0419.cnf.gz
(content)
sat
unknown
0.016s
batsat
/home/simon/w/batsat/benchs/basic/uf20-0418.cnf.gz
(content)
sat
unknown
0.008s