|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.35
|
7.69
|
7.61
|
||||
|
0.12
|
2.19
|
2.23
|
||||
|
0.12
|
8.70
|
8.83
|
||||
|
0.11
|
2.04
|
2.01
|
||||
|
0.62
|
22.11
|
18.51
|
||||
|
0.56
|
12.61
|
13.16
|
||||
|
0.40
|
8.62
|
9.43
|
||||
|
0.10
|
1.12
|
1.06
|
||||
|
0.30
|
10.41
|
10.03
|
||||
|
0.28
|
7.21
|
7.10
|
||||
|
0.32
|
6.10
|
6.09
|
||||
|
0.75
|
15.54
|
14.27
|
||||
|
0.11
|
1.97
|
2.16
|
||||
|
0.07
|
0.58
|
0.56
|
||||
|
0.70
|
6.29
|
5.50
|
||||
|
1.19
|
31.02
|
30.42
|
||||
|
0.40
|
1.78
|
1.78
|
||||
|
0.81
|
8.99
|
8.74
|
||||
|
0.75
|
10.20
|
10.35
|
||||
|
0.68
|
9.79
|
9.66
|
||||
|
0.22
|
8.53
|
9.56
|
||||
|
0.32
|
19.58
|
19.93
|
||||
|
0.10
|
3.96
|
3.81
|
||||
|
0.28
|
16.97
|
16.46
|
||||
|
0.53
|
11.25
|
10.72
|