|
problem
|
minisat
|
batsat
|
minisat.time
|
batsat.time
|
|
10.59
|
10.80
|
|||
|
1.97
|
2.34
|
|||
|
8.33
|
9.28
|
|||
|
5.06
|
5.57
|
|||
|
10.76
|
10.62
|
|||
|
4.11
|
5.14
|
|||
|
9.58
|
11.83
|
|||
|
7.65
|
10.37
|
|||
|
2.26
|
3.74
|
|||
|
12.00
|
12.21
|
|||
|
5.86
|
7.15
|
|||
|
0.86
|
1.45
|
|||
|
10.59
|
8.76
|
|||
|
5.68
|
10.05
|
|||
|
10.53
|
10.80
|
|||
|
10.01
|
10.74
|
|||
|
8.73
|
9.37
|
|||
|
2.90
|
4.12
|
|||
|
4.12
|
5.53
|
|||
|
10.81
|
9.18
|
|||
|
4.02
|
7.59
|
|||
|
12.62
|
11.53
|
|||
|
7.70
|
9.43
|
|||
|
10.59
|
11.00
|
|||
|
9.30
|
7.16
|