|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.04
|
0.89
|
0.89
|
||||
|
0.06
|
1.76
|
1.77
|
||||
|
0.71
|
18.11
|
16.76
|
||||
|
0.06
|
2.25
|
2.41
|
||||
|
0.05
|
1.38
|
1.39
|
||||
|
0.07
|
0.85
|
0.89
|
||||
|
0.05
|
1.40
|
1.19
|
||||
|
0.04
|
0.68
|
0.76
|
||||
|
0.03
|
1.15
|
1.12
|
||||
|
0.03
|
1.20
|
1.27
|
||||
|
0.04
|
1.68
|
1.46
|
||||
|
0.04
|
1.41
|
1.34
|
||||
|
0.08
|
2.04
|
2.00
|
||||
|
0.51
|
20.60
|
19.13
|
||||
|
0.06
|
2.25
|
2.36
|
||||
|
0.06
|
2.02
|
2.12
|
||||
|
0.04
|
2.40
|
2.44
|
||||
|
0.11
|
5.75
|
6.70
|
||||
|
0.05
|
1.53
|
1.55
|
||||
|
0.27
|
4.65
|
4.42
|
||||
|
0.32
|
8.87
|
8.59
|
||||
|
0.05
|
1.22
|
1.23
|
||||
|
0.06
|
8.50
|
7.56
|
||||
|
0.07
|
7.53
|
7.84
|
||||
|
0.59
|
19.19
|
17.07
|