|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.30
|
12.09
|
11.44
|
||||
|
0.55
|
8.15
|
7.26
|
||||
|
0.72
|
19.01
|
15.86
|
||||
|
0.72
|
19.48
|
17.33
|
||||
|
0.21
|
4.87
|
5.00
|
||||
|
0.20
|
4.39
|
4.39
|
||||
|
0.22
|
5.64
|
5.72
|
||||
|
0.19
|
4.32
|
4.80
|
||||
|
0.86
|
13.02
|
14.48
|
||||
|
0.53
|
27.25
|
23.35
|
||||
|
0.05
|
0.75
|
0.87
|
||||
|
0.13
|
2.70
|
2.73
|
||||
|
0.97
|
25.91
|
19.66
|
||||
|
0.29
|
5.67
|
6.95
|
||||
|
0.48
|
6.04
|
6.81
|
||||
|
0.34
|
8.19
|
6.85
|
||||
|
1.01
|
10.18
|
10.28
|
||||
|
0.87
|
8.73
|
8.77
|
||||
|
0.75
|
20.24
|
21.58
|
||||
|
0.60
|
9.86
|
10.81
|
||||
|
0.56
|
15.04
|
15.43
|
||||
|
0.32
|
11.29
|
11.34
|
||||
|
0.60
|
6.31
|
6.78
|
||||
|
0.60
|
16.49
|
17.59
|
||||
|
0.55
|
5.20
|
5.19
|