|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.74
|
31.01
|
30.44
|
||||
|
0.10
|
5.56
|
5.55
|
||||
|
0.11
|
5.77
|
5.74
|
||||
|
1.21
|
31.01
|
30.37
|
||||
|
0.62
|
14.21
|
13.46
|
||||
|
1.00
|
19.93
|
22.06
|
||||
|
1.16
|
27.37
|
22.70
|
||||
|
0.66
|
13.83
|
14.76
|
||||
|
0.79
|
30.26
|
30.05
|
||||
|
0.58
|
14.35
|
15.26
|
||||
|
0.63
|
31.04
|
30.16
|
||||
|
0.79
|
30.32
|
30.52
|
||||
|
0.13
|
1.61
|
1.66
|
||||
|
1.04
|
30.12
|
31.01
|
||||
|
0.62
|
29.30
|
22.97
|
||||
|
0.65
|
21.83
|
20.04
|
||||
|
0.91
|
28.99
|
28.03
|
||||
|
0.46
|
12.04
|
10.33
|
||||
|
0.13
|
4.65
|
5.18
|
||||
|
0.25
|
8.51
|
9.46
|
||||
|
1.00
|
20.25
|
19.35
|
||||
|
1.19
|
30.45
|
30.04
|
||||
|
0.50
|
27.35
|
24.94
|
||||
|
0.29
|
17.79
|
18.75
|
||||
|
2.50
|
31.01
|
31.01
|