|
problem
|
minisat
|
batsat
|
minisat.time
|
batsat.time
|
|
8.97
|
11.41
|
|||
|
3.92
|
3.95
|
|||
|
3.60
|
4.97
|
|||
|
1.55
|
2.01
|
|||
|
3.34
|
6.65
|
|||
|
8.49
|
9.37
|
|||
|
2.56
|
3.25
|
|||
|
7.01
|
8.89
|
|||
|
8.08
|
8.77
|
|||
|
9.14
|
11.01
|
|||
|
4.95
|
8.54
|
|||
|
4.05
|
4.45
|
|||
|
12.04
|
11.21
|
|||
|
7.08
|
5.11
|
|||
|
1.23
|
2.14
|
|||
|
4.09
|
4.95
|
|||
|
3.42
|
4.29
|
|||
|
6.60
|
10.12
|
|||
|
12.05
|
11.81
|
|||
|
7.75
|
8.79
|
|||
|
7.77
|
10.63
|
|||
|
8.39
|
8.59
|
|||
|
1.47
|
1.82
|
|||
|
5.31
|
6.76
|
|||
|
8.93
|
12.17
|