|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
19.60
|
25.85
|
25.07
|
||||
|
31.03
|
20.43
|
21.22
|
||||
|
8.94
|
28.15
|
29.77
|
||||
|
31.02
|
21.04
|
18.93
|
||||
|
1.98
|
31.02
|
31.02
|
||||
|
6.83
|
21.14
|
21.52
|
||||
|
24.75
|
16.13
|
16.13
|
||||
|
8.76
|
31.02
|
31.23
|
||||
|
32.12
|
29.09
|
30.09
|
||||
|
2.82
|
31.02
|
30.12
|
||||
|
34.28
|
26.99
|
31.22
|
||||
|
5.58
|
31.02
|
31.02
|
||||
|
8.84
|
18.51
|
18.60
|
||||
|
31.03
|
16.19
|
16.39
|
||||
|
2.47
|
31.02
|
31.02
|
||||
|
8.99
|
31.67
|
32.71
|
||||
|
22.51
|
21.49
|
20.98
|
||||
|
26.88
|
27.24
|
27.55
|
||||
|
31.03
|
17.74
|
19.89
|
||||
|
9.53
|
21.09
|
19.94
|
||||
|
25.89
|
22.59
|
20.82
|
||||
|
31.02
|
23.60
|
19.04
|
||||
|
10.89
|
24.97
|
23.92
|
||||
|
19.24
|
19.60
|
21.22
|
||||
|
30.75
|
33.76
|
33.75
|