|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.17
|
2.11
|
2.40
|
||||
|
1.21
|
31.01
|
30.55
|
||||
|
0.69
|
12.64
|
12.96
|
||||
|
0.81
|
26.05
|
23.99
|
||||
|
0.40
|
8.38
|
7.53
|
||||
|
1.00
|
21.51
|
24.29
|
||||
|
0.05
|
0.54
|
0.51
|
||||
|
0.05
|
0.13
|
0.10
|
||||
|
0.04
|
0.52
|
0.49
|
||||
|
0.10
|
2.97
|
3.23
|
||||
|
0.11
|
3.17
|
3.17
|
||||
|
0.10
|
3.63
|
3.96
|
||||
|
1.93
|
30.79
|
28.31
|
||||
|
1.03
|
13.79
|
13.90
|
||||
|
0.06
|
2.05
|
2.34
|
||||
|
0.04
|
0.80
|
0.80
|
||||
|
0.55
|
6.85
|
6.99
|
||||
|
0.56
|
7.56
|
10.02
|
||||
|
1.39
|
31.01
|
31.02
|
||||
|
0.87
|
26.13
|
22.80
|
||||
|
1.35
|
31.01
|
31.01
|
||||
|
0.29
|
7.16
|
7.54
|
||||
|
1.42
|
31.01
|
31.02
|
||||
|
0.52
|
30.93
|
28.54
|
||||
|
0.74
|
31.01
|
30.43
|