full results

problem
minisat
batsat
minisat.time
batsat.time
0.02
0.02
0.01
0.02
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.02
0.02
0.01
0.01
0.05
0.01
0.01
0.01
0.01
0.01
0.02
0.01
0.01
0.01
0.01
0.02
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.01
0.03
0.01
0.02
0.04
0.01
0.05
0.02
0.01
0.01
0.01
0.03