|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.69
|
30.52
|
30.51
|
||||
|
0.24
|
11.15
|
11.08
|
||||
|
0.65
|
30.40
|
31.00
|
||||
|
0.31
|
11.96
|
13.56
|
||||
|
0.14
|
3.65
|
3.62
|
||||
|
0.74
|
30.43
|
30.66
|
||||
|
0.79
|
31.01
|
30.15
|
||||
|
0.20
|
6.39
|
6.30
|
||||
|
0.27
|
27.06
|
26.25
|
||||
|
0.26
|
26.69
|
26.93
|
||||
|
0.15
|
6.16
|
6.05
|
||||
|
0.52
|
19.04
|
20.75
|
||||
|
0.49
|
7.81
|
8.08
|
||||
|
0.24
|
6.53
|
6.96
|
||||
|
0.57
|
14.00
|
13.64
|
||||
|
0.56
|
16.88
|
16.79
|
||||
|
0.46
|
13.27
|
13.01
|
||||
|
0.53
|
21.83
|
20.41
|
||||
|
0.44
|
11.79
|
11.89
|
||||
|
0.88
|
17.43
|
18.86
|
||||
|
0.48
|
9.30
|
9.41
|
||||
|
2.19
|
30.78
|
31.01
|
||||
|
0.26
|
6.57
|
6.28
|
||||
|
0.18
|
3.02
|
3.30
|
||||
|
1.03
|
30.29
|
27.10
|