|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.78
|
30.75
|
30.17
|
||||
|
0.24
|
11.35
|
11.76
|
||||
|
0.72
|
30.96
|
30.44
|
||||
|
0.32
|
13.23
|
13.54
|
||||
|
0.14
|
3.74
|
3.92
|
||||
|
0.77
|
31.02
|
30.57
|
||||
|
0.78
|
30.85
|
30.45
|
||||
|
0.23
|
7.16
|
7.22
|
||||
|
0.32
|
27.59
|
28.11
|
||||
|
0.28
|
27.66
|
26.74
|
||||
|
0.17
|
6.63
|
6.67
|
||||
|
0.53
|
20.02
|
22.47
|
||||
|
0.59
|
8.15
|
8.25
|
||||
|
0.25
|
6.80
|
6.73
|
||||
|
0.51
|
13.70
|
14.97
|
||||
|
0.59
|
18.01
|
19.11
|
||||
|
0.45
|
13.35
|
14.79
|
||||
|
0.54
|
22.62
|
22.14
|
||||
|
0.47
|
12.13
|
12.08
|
||||
|
0.88
|
19.25
|
19.62
|
||||
|
0.44
|
10.13
|
10.01
|
||||
|
2.15
|
30.89
|
30.24
|
||||
|
0.25
|
6.86
|
6.63
|
||||
|
0.18
|
3.16
|
3.19
|
||||
|
1.01
|
30.62
|
27.19
|