detailed results (3221 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uf250-080.cnf.gz (content) sat unknown 1.1s
minisat /home/simon/w/batsat/benchs/basic/uf250-08.cnf.gz (content) sat unknown 0.690s
minisat /home/simon/w/batsat/benchs/basic/uf250-079.cnf.gz (content) sat unknown 0.683s
minisat /home/simon/w/batsat/benchs/basic/uf250-078.cnf.gz (content) sat unknown 0.911s
minisat /home/simon/w/batsat/benchs/basic/uf250-077.cnf.gz (content) sat unknown 0.299s
minisat /home/simon/w/batsat/benchs/basic/uf250-076.cnf.gz (content) sat unknown 4.9s
minisat /home/simon/w/batsat/benchs/basic/uf250-075.cnf.gz (content) sat unknown 3.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-074.cnf.gz (content) sat unknown 0.716s
minisat /home/simon/w/batsat/benchs/basic/uf250-073.cnf.gz (content) sat unknown 3s
minisat /home/simon/w/batsat/benchs/basic/uf250-072.cnf.gz (content) sat unknown 0.151s
minisat /home/simon/w/batsat/benchs/basic/uf250-071.cnf.gz (content) sat unknown 8.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-070.cnf.gz (content) sat unknown 0.933s
minisat /home/simon/w/batsat/benchs/basic/uf250-07.cnf.gz (content) sat unknown 7.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-069.cnf.gz (content) sat unknown 3s
minisat /home/simon/w/batsat/benchs/basic/uf250-068.cnf.gz (content) sat unknown 0.321s
minisat /home/simon/w/batsat/benchs/basic/uf250-067.cnf.gz (content) sat unknown 2.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-066.cnf.gz (content) sat unknown 2.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-065.cnf.gz (content) sat unknown 1s
minisat /home/simon/w/batsat/benchs/basic/uf250-064.cnf.gz (content) sat unknown 0.259s
minisat /home/simon/w/batsat/benchs/basic/uf250-063.cnf.gz (content) sat unknown 0.848s
minisat /home/simon/w/batsat/benchs/basic/uf250-062.cnf.gz (content) sat unknown 0.712s
minisat /home/simon/w/batsat/benchs/basic/uf250-061.cnf.gz (content) sat unknown 0.674s
minisat /home/simon/w/batsat/benchs/basic/uf250-060.cnf.gz (content) sat unknown 6s
minisat /home/simon/w/batsat/benchs/basic/uf250-06.cnf.gz (content) sat unknown 0.546s
minisat /home/simon/w/batsat/benchs/basic/uf250-059.cnf.gz (content) sat unknown 1.3s