|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.35
|
31.01
|
30.74
|
||||
|
0.06
|
3.18
|
30.08
|
||||
|
0.40
|
20.47
|
30.25
|
||||
|
0.19
|
30.35
|
30.06
|
||||
|
0.18
|
25.78
|
27.41
|
||||
|
0.22
|
30.39
|
30.06
|
||||
|
0.40
|
30.52
|
30.02
|
||||
|
0.56
|
30.09
|
30.66
|
||||
|
1.51
|
30.62
|
30.10
|
||||
|
0.50
|
8.09
|
30.11
|
||||
|
0.04
|
1.19
|
2.17
|
||||
|
0.04
|
5.48
|
12.77
|
||||
|
0.04
|
6.18
|
4.71
|
||||
|
0.05
|
4.40
|
4.79
|
||||
|
0.06
|
3.86
|
4.18
|
||||
|
0.11
|
8.29
|
13.25
|
||||
|
0.06
|
5.75
|
11.47
|
||||
|
0.05
|
4.41
|
5.78
|
||||
|
0.04
|
3.84
|
1.09
|
||||
|
0.04
|
6.04
|
13.40
|
||||
|
0.16
|
4.60
|
11.47
|
||||
|
0.05
|
5.37
|
3.33
|
||||
|
0.05
|
8.10
|
11.38
|
||||
|
0.05
|
10.35
|
14.31
|
||||
|
0.07
|
8.84
|
9.11
|