|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
1.24
|
31.01
|
29.56
|
||||
|
0.97
|
30.02
|
30.31
|
||||
|
1.07
|
30.73
|
30.40
|
||||
|
0.68
|
31.01
|
30.40
|
||||
|
1.29
|
29.52
|
25.85
|
||||
|
0.16
|
5.18
|
5.31
|
||||
|
0.19
|
4.48
|
5.00
|
||||
|
0.16
|
4.12
|
4.69
|
||||
|
0.16
|
2.71
|
2.97
|
||||
|
0.19
|
2.15
|
2.18
|
||||
|
0.12
|
1.14
|
1.10
|
||||
|
1.47
|
31.01
|
30.48
|
||||
|
0.94
|
11.18
|
12.68
|
||||
|
0.85
|
16.88
|
14.06
|
||||
|
1.23
|
31.01
|
31.03
|
||||
|
0.44
|
16.74
|
17.35
|
||||
|
1.06
|
31.02
|
31.02
|
||||
|
0.93
|
31.01
|
30.86
|
||||
|
0.80
|
30.63
|
31.02
|
||||
|
1.70
|
31.01
|
30.96
|
||||
|
1.16
|
31.01
|
30.03
|
||||
|
0.31
|
7.17
|
7.07
|
||||
|
0.60
|
19.57
|
18.36
|
||||
|
0.47
|
10.35
|
9.71
|
||||
|
0.25
|
1.95
|
1.94
|