|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.09
|
5.67
|
5.32
|
||||
|
0.04
|
2.39
|
2.41
|
||||
|
0.08
|
3.28
|
3.29
|
||||
|
0.11
|
7.17
|
7.53
|
||||
|
0.07
|
5.52
|
6.07
|
||||
|
0.62
|
25.15
|
23.95
|
||||
|
0.07
|
4.51
|
4.53
|
||||
|
0.08
|
4.20
|
3.96
|
||||
|
0.11
|
6.19
|
6.03
|
||||
|
0.13
|
6.42
|
6.58
|
||||
|
0.19
|
3.61
|
3.60
|
||||
|
0.24
|
2.71
|
2.53
|
||||
|
0.13
|
1.81
|
1.88
|
||||
|
0.07
|
0.92
|
0.91
|
||||
|
0.04
|
0.99
|
0.92
|
||||
|
0.44
|
5.96
|
6.17
|
||||
|
0.57
|
15.37
|
13.34
|
||||
|
0.25
|
3.72
|
3.54
|
||||
|
0.51
|
5.00
|
5.07
|
||||
|
0.32
|
4.70
|
4.45
|
||||
|
0.37
|
5.12
|
5.85
|
||||
|
0.08
|
3.89
|
3.91
|
||||
|
0.07
|
3.02
|
3.47
|
||||
|
0.05
|
1.19
|
1.13
|
||||
|
0.09
|
7.39
|
7.20
|