|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.36
|
8.58
|
8.17
|
||||
|
0.13
|
2.12
|
2.49
|
||||
|
0.15
|
9.25
|
8.71
|
||||
|
0.11
|
1.98
|
2.15
|
||||
|
0.65
|
22.65
|
19.34
|
||||
|
0.57
|
13.43
|
13.20
|
||||
|
0.40
|
8.72
|
9.11
|
||||
|
0.14
|
1.11
|
1.07
|
||||
|
0.30
|
11.04
|
10.02
|
||||
|
0.30
|
7.45
|
7.99
|
||||
|
0.33
|
6.19
|
6.13
|
||||
|
0.73
|
15.36
|
15.80
|
||||
|
0.10
|
2.02
|
2.04
|
||||
|
0.07
|
0.58
|
0.57
|
||||
|
0.69
|
6.65
|
6.42
|
||||
|
1.25
|
31.01
|
31.01
|
||||
|
0.40
|
1.67
|
1.87
|
||||
|
0.82
|
10.22
|
9.99
|
||||
|
0.82
|
10.87
|
11.24
|
||||
|
0.67
|
10.58
|
10.58
|
||||
|
0.22
|
8.62
|
9.92
|
||||
|
0.33
|
20.35
|
21.24
|
||||
|
0.10
|
3.79
|
3.91
|
||||
|
0.28
|
17.94
|
17.25
|
||||
|
0.53
|
11.64
|
12.26
|