|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.04
|
0.69
|
1.46
|
||||
|
0.04
|
1.89
|
1.21
|
||||
|
0.04
|
1.07
|
1.28
|
||||
|
0.05
|
3.72
|
6.37
|
||||
|
0.10
|
16.77
|
23.87
|
||||
|
0.07
|
5.60
|
5.67
|
||||
|
0.03
|
3.91
|
3.67
|
||||
|
0.06
|
1.89
|
2.96
|
||||
|
0.06
|
2.37
|
5.21
|
||||
|
0.05
|
2.36
|
2.59
|
||||
|
0.06
|
6.11
|
11.42
|
||||
|
0.04
|
0.40
|
0.40
|
||||
|
0.06
|
1.93
|
3.00
|
||||
|
0.05
|
1.15
|
3.14
|
||||
|
0.05
|
3.28
|
16.57
|
||||
|
0.06
|
1.56
|
2.96
|
||||
|
0.04
|
1.75
|
1.57
|
||||
|
0.04
|
1.23
|
1.36
|
||||
|
0.04
|
1.40
|
1.42
|
||||
|
0.04
|
1.85
|
3.47
|
||||
|
0.04
|
0.92
|
0.83
|
||||
|
0.04
|
0.64
|
0.64
|
||||
|
0.03
|
1.59
|
0.88
|
||||
|
0.09
|
2.34
|
2.98
|
||||
|
0.06
|
1.85
|
2.71
|