|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.97
|
19.24
|
15.19
|
||||
|
0.12
|
1.62
|
1.70
|
||||
|
0.18
|
4.67
|
5.24
|
||||
|
0.20
|
3.58
|
4.18
|
||||
|
0.18
|
2.69
|
2.96
|
||||
|
0.45
|
7.36
|
7.67
|
||||
|
0.49
|
5.99
|
6.34
|
||||
|
0.88
|
17.08
|
16.26
|
||||
|
0.10
|
1.84
|
1.99
|
||||
|
1.05
|
23.19
|
24.85
|
||||
|
0.75
|
16.05
|
16.27
|
||||
|
0.19
|
4.41
|
4.66
|
||||
|
0.63
|
19.43
|
14.34
|
||||
|
0.96
|
17.24
|
17.72
|
||||
|
0.09
|
1.91
|
2.06
|
||||
|
0.79
|
13.70
|
13.95
|
||||
|
0.71
|
16.85
|
21.74
|
||||
|
0.79
|
15.47
|
15.93
|
||||
|
0.57
|
11.70
|
12.52
|
||||
|
0.79
|
18.32
|
18.64
|
||||
|
0.74
|
23.87
|
22.78
|
||||
|
0.54
|
18.52
|
18.34
|
||||
|
0.59
|
15.88
|
17.79
|
||||
|
0.15
|
2.20
|
2.24
|
||||
|
0.11
|
2.81
|
2.60
|