detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uf250-046.cnf.gz (content) sat unknown 1.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-046.cnf.gz (content) sat unknown 0.243s
batsat /home/simon/w/batsat/benchs/basic/uf250-045.cnf.gz (content) sat unknown 1.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-045.cnf.gz (content) sat unknown 0.576s
batsat /home/simon/w/batsat/benchs/basic/uf250-044.cnf.gz (content) sat unknown 0.601s
minisat /home/simon/w/batsat/benchs/basic/uf250-044.cnf.gz (content) sat unknown 0.752s
batsat /home/simon/w/batsat/benchs/basic/uf250-043.cnf.gz (content) sat unknown 4s
minisat /home/simon/w/batsat/benchs/basic/uf250-043.cnf.gz (content) sat unknown 5.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-042.cnf.gz (content) sat unknown 1.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-042.cnf.gz (content) sat unknown 0.782s
batsat /home/simon/w/batsat/benchs/basic/uf250-041.cnf.gz (content) sat unknown 1.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-041.cnf.gz (content) sat unknown 0.679s
batsat /home/simon/w/batsat/benchs/basic/uf250-040.cnf.gz (content) sat unknown 1.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-040.cnf.gz (content) sat unknown 1.3s
batsat /home/simon/w/batsat/benchs/basic/uf250-04.cnf.gz (content) sat unknown 0.060s
minisat /home/simon/w/batsat/benchs/basic/uf250-04.cnf.gz (content) sat unknown 0.404s
batsat /home/simon/w/batsat/benchs/basic/uf250-039.cnf.gz (content) sat unknown 1s
minisat /home/simon/w/batsat/benchs/basic/uf250-039.cnf.gz (content) sat unknown 0.275s
batsat /home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz (content) sat unknown 4.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz (content) unknown unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uf250-037.cnf.gz (content) sat unknown 0.041s
minisat /home/simon/w/batsat/benchs/basic/uf250-037.cnf.gz (content) sat unknown 0.170s
batsat /home/simon/w/batsat/benchs/basic/uf250-036.cnf.gz (content) sat unknown 9.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-036.cnf.gz (content) sat unknown 5.9s
batsat /home/simon/w/batsat/benchs/basic/uf250-035.cnf.gz (content) sat unknown 0.208s