|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.81
|
31.01
|
25.19
|
||||
|
0.47
|
19.40
|
16.05
|
||||
|
0.85
|
22.46
|
19.09
|
||||
|
0.60
|
20.35
|
16.13
|
||||
|
0.16
|
7.97
|
7.81
|
||||
|
0.19
|
6.05
|
6.04
|
||||
|
0.20
|
7.87
|
7.76
|
||||
|
0.10
|
2.94
|
2.69
|
||||
|
0.17
|
5.88
|
6.18
|
||||
|
0.16
|
5.43
|
4.44
|
||||
|
1.16
|
31.02
|
29.04
|
||||
|
0.24
|
5.69
|
5.87
|
||||
|
0.07
|
1.27
|
1.29
|
||||
|
1.44
|
30.27
|
30.26
|
||||
|
0.47
|
27.46
|
20.52
|
||||
|
0.28
|
12.36
|
12.69
|
||||
|
0.61
|
22.55
|
24.19
|
||||
|
0.08
|
2.56
|
2.54
|
||||
|
0.88
|
21.03
|
21.15
|
||||
|
0.13
|
4.19
|
4.32
|
||||
|
0.16
|
4.57
|
5.32
|
||||
|
0.14
|
2.31
|
2.32
|
||||
|
0.24
|
3.63
|
3.80
|
||||
|
0.21
|
4.82
|
5.13
|
||||
|
0.20
|
4.40
|
4.78
|