|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.02
|
31.02
|
31.02
|
||||
|
1.46
|
24.81
|
24.44
|
||||
|
14.99
|
31.02
|
31.02
|
||||
|
1.59
|
26.40
|
26.06
|
||||
|
0.71
|
31.02
|
31.02
|
||||
|
28.52
|
31.02
|
31.01
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.02
|
25.26
|
25.78
|
||||
|
7.15
|
23.62
|
23.14
|
||||
|
16.37
|
26.68
|
26.05
|
||||
|
1.31
|
21.03
|
19.92
|
||||
|
28.07
|
18.85
|
18.14
|
||||
|
31.02
|
24.92
|
25.82
|
||||
|
19.07
|
21.68
|
22.48
|
||||
|
8.56
|
31.02
|
30.00
|
||||
|
31.02
|
20.27
|
19.80
|
||||
|
31.02
|
31.37
|
31.29
|
||||
|
20.74
|
29.00
|
27.51
|
||||
|
31.03
|
20.87
|
21.31
|
||||
|
31.02
|
21.33
|
21.33
|
||||
|
18.51
|
27.63
|
25.01
|
||||
|
31.03
|
13.79
|
12.43
|
||||
|
25.61
|
25.33
|
22.33
|
||||
|
31.03
|
15.92
|
14.62
|
||||
|
8.79
|
21.90
|
20.51
|