detailed results (6442 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uf250-080.cnf.gz (content) sat unknown 1.1s
batsat /home/simon/w/batsat/benchs/basic/uf250-08.cnf.gz (content) sat unknown 0.583s
minisat /home/simon/w/batsat/benchs/basic/uf250-08.cnf.gz (content) sat unknown 0.690s
batsat /home/simon/w/batsat/benchs/basic/uf250-079.cnf.gz (content) sat unknown 1.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-079.cnf.gz (content) sat unknown 0.683s
batsat /home/simon/w/batsat/benchs/basic/uf250-078.cnf.gz (content) sat unknown 1.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-078.cnf.gz (content) sat unknown 0.911s
batsat /home/simon/w/batsat/benchs/basic/uf250-077.cnf.gz (content) sat unknown 0.157s
minisat /home/simon/w/batsat/benchs/basic/uf250-077.cnf.gz (content) sat unknown 0.299s
batsat /home/simon/w/batsat/benchs/basic/uf250-076.cnf.gz (content) sat unknown 1.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-076.cnf.gz (content) sat unknown 4.9s
batsat /home/simon/w/batsat/benchs/basic/uf250-075.cnf.gz (content) sat unknown 0.760s
minisat /home/simon/w/batsat/benchs/basic/uf250-075.cnf.gz (content) sat unknown 3.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-074.cnf.gz (content) sat unknown 0.973s
minisat /home/simon/w/batsat/benchs/basic/uf250-074.cnf.gz (content) sat unknown 0.716s
batsat /home/simon/w/batsat/benchs/basic/uf250-073.cnf.gz (content) sat unknown 0.511s
minisat /home/simon/w/batsat/benchs/basic/uf250-073.cnf.gz (content) sat unknown 3s
batsat /home/simon/w/batsat/benchs/basic/uf250-072.cnf.gz (content) sat unknown 4.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-072.cnf.gz (content) sat unknown 0.151s
batsat /home/simon/w/batsat/benchs/basic/uf250-071.cnf.gz (content) sat unknown 6.7s
minisat /home/simon/w/batsat/benchs/basic/uf250-071.cnf.gz (content) sat unknown 8.6s
batsat /home/simon/w/batsat/benchs/basic/uf250-070.cnf.gz (content) sat unknown 0.658s
minisat /home/simon/w/batsat/benchs/basic/uf250-070.cnf.gz (content) sat unknown 0.933s
batsat /home/simon/w/batsat/benchs/basic/uf250-07.cnf.gz (content) sat unknown 9.4s
minisat /home/simon/w/batsat/benchs/basic/uf250-07.cnf.gz (content) sat unknown 7.0s