|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.21
|
15.02
|
30.31
|
||||
|
0.15
|
0.42
|
0.40
|
||||
|
0.15
|
0.61
|
0.65
|
||||
|
0.16
|
0.67
|
0.73
|
||||
|
0.16
|
1.70
|
1.61
|
||||
|
0.16
|
0.91
|
0.91
|
||||
|
0.15
|
2.01
|
3.58
|
||||
|
0.19
|
4.12
|
3.69
|
||||
|
0.16
|
0.96
|
0.85
|
||||
|
0.16
|
1.42
|
1.19
|
||||
|
0.16
|
1.06
|
1.06
|
||||
|
0.22
|
0.85
|
0.86
|
||||
|
0.17
|
1.17
|
1.21
|
||||
|
0.15
|
1.40
|
1.36
|
||||
|
0.18
|
2.08
|
3.29
|
||||
|
0.17
|
2.76
|
4.08
|
||||
|
0.18
|
2.46
|
3.21
|
||||
|
0.20
|
1.34
|
1.31
|
||||
|
0.12
|
5.04
|
7.08
|
||||
|
0.46
|
8.17
|
14.59
|
||||
|
0.17
|
30.02
|
30.22
|
||||
|
0.50
|
30.78
|
30.17
|
||||
|
0.24
|
30.40
|
30.02
|
||||
|
0.46
|
30.43
|
30.22
|
||||
|
0.29
|
31.02
|
31.02
|