detailed results (3221 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uf250-058.cnf.gz (content) sat unknown 0.740s
minisat /home/simon/w/batsat/benchs/basic/uf250-057.cnf.gz (content) sat unknown 0.648s
minisat /home/simon/w/batsat/benchs/basic/uf250-056.cnf.gz (content) sat unknown 1.7s
minisat /home/simon/w/batsat/benchs/basic/uf250-055.cnf.gz (content) sat unknown 0.236s
minisat /home/simon/w/batsat/benchs/basic/uf250-054.cnf.gz (content) sat unknown 3.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-053.cnf.gz (content) sat unknown 2.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-052.cnf.gz (content) sat unknown 2.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-051.cnf.gz (content) sat unknown 1.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-050.cnf.gz (content) sat unknown 0.286s
minisat /home/simon/w/batsat/benchs/basic/uf250-05.cnf.gz (content) sat unknown 1.4s
minisat /home/simon/w/batsat/benchs/basic/uf250-049.cnf.gz (content) sat unknown 0.176s
minisat /home/simon/w/batsat/benchs/basic/uf250-048.cnf.gz (content) sat unknown 4.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-047.cnf.gz (content) sat unknown 5.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-046.cnf.gz (content) sat unknown 0.243s
minisat /home/simon/w/batsat/benchs/basic/uf250-045.cnf.gz (content) sat unknown 0.576s
minisat /home/simon/w/batsat/benchs/basic/uf250-044.cnf.gz (content) sat unknown 0.752s
minisat /home/simon/w/batsat/benchs/basic/uf250-043.cnf.gz (content) sat unknown 5.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-042.cnf.gz (content) sat unknown 0.782s
minisat /home/simon/w/batsat/benchs/basic/uf250-041.cnf.gz (content) sat unknown 0.679s
minisat /home/simon/w/batsat/benchs/basic/uf250-040.cnf.gz (content) sat unknown 1.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-04.cnf.gz (content) sat unknown 0.404s
minisat /home/simon/w/batsat/benchs/basic/uf250-039.cnf.gz (content) sat unknown 0.275s
minisat /home/simon/w/batsat/benchs/basic/uf250-038.cnf.gz (content) unknown unknown 10.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-037.cnf.gz (content) sat unknown 0.170s
minisat /home/simon/w/batsat/benchs/basic/uf250-036.cnf.gz (content) sat unknown 5.9s