|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.50
|
14.83
|
14.94
|
||||
|
1.41
|
31.00
|
31.01
|
||||
|
1.19
|
30.03
|
31.01
|
||||
|
0.89
|
31.01
|
30.33
|
||||
|
1.10
|
30.91
|
27.08
|
||||
|
0.18
|
2.72
|
2.98
|
||||
|
1.32
|
31.01
|
31.02
|
||||
|
0.80
|
11.57
|
12.08
|
||||
|
0.24
|
14.84
|
14.01
|
||||
|
0.23
|
8.07
|
8.20
|
||||
|
0.14
|
4.92
|
4.92
|
||||
|
0.20
|
8.68
|
9.15
|
||||
|
0.25
|
8.97
|
8.95
|
||||
|
0.17
|
30.06
|
29.30
|
||||
|
0.24
|
11.55
|
11.27
|
||||
|
0.72
|
9.04
|
9.48
|
||||
|
0.41
|
7.49
|
8.22
|
||||
|
0.82
|
19.63
|
21.81
|
||||
|
0.18
|
3.45
|
3.82
|
||||
|
0.16
|
2.69
|
2.53
|
||||
|
0.16
|
2.39
|
2.43
|
||||
|
0.19
|
5.42
|
5.51
|
||||
|
1.01
|
13.97
|
12.85
|
||||
|
1.16
|
31.06
|
30.32
|
||||
|
0.58
|
26.02
|
22.60
|