|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.03
|
17.34
|
17.59
|
||||
|
36.80
|
21.40
|
24.68
|
||||
|
13.04
|
20.08
|
21.05
|
||||
|
31.03
|
16.05
|
14.79
|
||||
|
8.39
|
22.33
|
23.24
|
||||
|
19.62
|
19.09
|
20.51
|
||||
|
8.00
|
20.93
|
24.16
|
||||
|
9.89
|
19.29
|
20.41
|
||||
|
31.04
|
22.00
|
22.95
|
||||
|
8.30
|
22.89
|
18.44
|
||||
|
10.68
|
18.88
|
18.46
|
||||
|
26.33
|
18.35
|
17.57
|
||||
|
17.74
|
29.99
|
30.92
|
||||
|
5.30
|
19.48
|
18.92
|
||||
|
31.02
|
18.70
|
18.72
|
||||
|
2.59
|
16.69
|
17.26
|
||||
|
12.33
|
17.84
|
20.61
|
||||
|
7.42
|
24.52
|
24.92
|
||||
|
31.02
|
21.57
|
21.65
|
||||
|
10.45
|
25.68
|
25.72
|
||||
|
31.03
|
23.76
|
24.16
|
||||
|
5.04
|
17.59
|
19.69
|
||||
|
4.61
|
20.36
|
23.31
|
||||
|
9.03
|
19.06
|
19.79
|
||||
|
4.24
|
20.26
|
18.58
|