detailed results (2116 total)

prover file res expected time
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
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