|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.16
|
2.92
|
2.81
|
||||
|
0.16
|
3.78
|
3.61
|
||||
|
0.21
|
2.92
|
2.81
|
||||
|
0.21
|
5.04
|
4.86
|
||||
|
0.66
|
10.13
|
9.81
|
||||
|
0.38
|
5.51
|
5.53
|
||||
|
0.57
|
12.70
|
12.72
|
||||
|
0.69
|
10.67
|
10.56
|
||||
|
0.72
|
13.75
|
14.54
|
||||
|
0.16
|
2.88
|
2.72
|
||||
|
0.71
|
13.79
|
13.69
|
||||
|
1.07
|
31.01
|
31.01
|
||||
|
0.75
|
31.01
|
29.07
|
||||
|
0.63
|
12.59
|
12.96
|
||||
|
0.39
|
7.44
|
7.02
|
||||
|
0.09
|
8.77
|
9.17
|
||||
|
0.32
|
16.39
|
19.10
|
||||
|
0.72
|
31.01
|
30.49
|
||||
|
0.57
|
9.38
|
8.62
|
||||
|
0.44
|
12.45
|
13.81
|
||||
|
0.41
|
13.03
|
13.00
|
||||
|
0.08
|
1.18
|
1.21
|
||||
|
0.10
|
2.19
|
2.11
|
||||
|
0.10
|
2.49
|
2.48
|
||||
|
0.10
|
2.13
|
2.41
|