|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.04
|
0.28
|
0.30
|
||||
|
0.14
|
6.92
|
10.71
|
||||
|
0.05
|
1.30
|
3.06
|
||||
|
0.03
|
0.22
|
0.22
|
||||
|
0.07
|
1.91
|
3.76
|
||||
|
0.10
|
0.87
|
1.93
|
||||
|
0.07
|
3.33
|
5.52
|
||||
|
0.07
|
1.19
|
1.40
|
||||
|
0.05
|
0.56
|
0.57
|
||||
|
0.03
|
2.18
|
2.97
|
||||
|
0.10
|
6.71
|
8.46
|
||||
|
0.09
|
24.63
|
16.10
|
||||
|
0.07
|
5.28
|
14.35
|
||||
|
0.03
|
1.84
|
2.63
|
||||
|
0.07
|
1.68
|
2.80
|
||||
|
0.04
|
3.10
|
6.30
|
||||
|
0.05
|
1.51
|
2.98
|
||||
|
0.04
|
1.43
|
3.58
|
||||
|
0.05
|
6.56
|
18.37
|
||||
|
0.12
|
4.06
|
6.11
|
||||
|
0.03
|
1.00
|
6.62
|
||||
|
0.08
|
1.53
|
2.31
|
||||
|
0.03
|
1.75
|
3.10
|
||||
|
0.03
|
0.40
|
0.40
|
||||
|
0.04
|
1.33
|
1.39
|