|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.17
|
3.04
|
3.24
|
||||
|
0.15
|
3.64
|
3.70
|
||||
|
0.20
|
3.12
|
3.13
|
||||
|
0.20
|
4.89
|
5.40
|
||||
|
0.61
|
11.38
|
11.15
|
||||
|
0.53
|
5.91
|
6.03
|
||||
|
0.57
|
13.81
|
12.82
|
||||
|
0.67
|
12.24
|
12.74
|
||||
|
0.81
|
14.85
|
15.14
|
||||
|
0.21
|
3.09
|
3.10
|
||||
|
0.72
|
15.72
|
14.62
|
||||
|
1.00
|
30.38
|
31.01
|
||||
|
0.84
|
30.77
|
31.01
|
||||
|
0.63
|
14.20
|
14.99
|
||||
|
0.44
|
7.83
|
7.99
|
||||
|
0.10
|
9.89
|
10.00
|
||||
|
0.32
|
17.48
|
19.26
|
||||
|
0.81
|
30.81
|
30.97
|
||||
|
0.63
|
9.19
|
9.23
|
||||
|
0.45
|
13.55
|
14.89
|
||||
|
0.47
|
12.82
|
13.27
|
||||
|
0.09
|
1.24
|
1.37
|
||||
|
0.10
|
2.35
|
2.17
|
||||
|
0.10
|
2.59
|
2.64
|
||||
|
0.10
|
2.70
|
2.36
|