|
problem
|
minisat
|
batsat
|
minisat.time
|
batsat.time
|
|
10.60
|
10.55
|
|||
|
9.43
|
11.61
|
|||
|
7.84
|
8.30
|
|||
|
2.24
|
3.33
|
|||
|
3.62
|
6.23
|
|||
|
7.71
|
6.73
|
|||
|
4.40
|
7.21
|
|||
|
11.53
|
11.57
|
|||
|
8.00
|
10.59
|
|||
|
8.39
|
7.47
|
|||
|
11.77
|
11.52
|
|||
|
1.16
|
0.84
|
|||
|
9.76
|
12.03
|
|||
|
9.81
|
12.87
|
|||
|
6.38
|
8.57
|
|||
|
6.28
|
8.48
|
|||
|
3.04
|
4.04
|
|||
|
8.77
|
11.00
|
|||
|
3.21
|
4.63
|
|||
|
1.39
|
2.94
|
|||
|
3.79
|
5.01
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
0.02
|
0.01
|
|||
|
0.03
|
0.03
|