detailed results (2117 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uf250-084.cnf.gz (content) sat unknown 0.135s
batsat /home/simon/w/batsat/benchs/basic/uf250-083.cnf.gz (content) sat unknown 0.009s
batsat /home/simon/w/batsat/benchs/basic/uf250-082.cnf.gz (content) sat unknown 2.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-081.cnf.gz (content) sat unknown 0.618s
batsat /home/simon/w/batsat/benchs/basic/uf250-080.cnf.gz (content) sat unknown 1s
batsat /home/simon/w/batsat/benchs/basic/uf250-08.cnf.gz (content) sat unknown 0.583s
batsat /home/simon/w/batsat/benchs/basic/uf250-079.cnf.gz (content) sat unknown 1.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-078.cnf.gz (content) sat unknown 1.0s
batsat /home/simon/w/batsat/benchs/basic/uf250-077.cnf.gz (content) sat unknown 0.157s
batsat /home/simon/w/batsat/benchs/basic/uf250-076.cnf.gz (content) sat unknown 1.0s
batsat /home/simon/w/batsat/benchs/basic/uf250-075.cnf.gz (content) sat unknown 0.760s
batsat /home/simon/w/batsat/benchs/basic/uf250-074.cnf.gz (content) sat unknown 0.973s
batsat /home/simon/w/batsat/benchs/basic/uf250-073.cnf.gz (content) sat unknown 0.511s
batsat /home/simon/w/batsat/benchs/basic/uf250-072.cnf.gz (content) sat unknown 4.8s
batsat /home/simon/w/batsat/benchs/basic/uf250-071.cnf.gz (content) sat unknown 6.7s
batsat /home/simon/w/batsat/benchs/basic/uf250-070.cnf.gz (content) sat unknown 0.658s
batsat /home/simon/w/batsat/benchs/basic/uf250-07.cnf.gz (content) sat unknown 9.4s
batsat /home/simon/w/batsat/benchs/basic/uf250-069.cnf.gz (content) sat unknown 3s
batsat /home/simon/w/batsat/benchs/basic/uf250-068.cnf.gz (content) sat unknown 0.029s
batsat /home/simon/w/batsat/benchs/basic/uf250-067.cnf.gz (content) sat unknown 1.8s
batsat /home/simon/w/batsat/benchs/basic/uf250-066.cnf.gz (content) sat unknown 0.839s
batsat /home/simon/w/batsat/benchs/basic/uf250-065.cnf.gz (content) sat unknown 1.5s
batsat /home/simon/w/batsat/benchs/basic/uf250-064.cnf.gz (content) sat unknown 0.245s
batsat /home/simon/w/batsat/benchs/basic/uf250-063.cnf.gz (content) sat unknown 1s
batsat /home/simon/w/batsat/benchs/basic/uf250-062.cnf.gz (content) sat unknown 2.5s