|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.03
|
27.14
|
24.83
|
||||
|
35.29
|
24.39
|
26.14
|
||||
|
7.79
|
27.44
|
25.48
|
||||
|
12.47
|
23.34
|
23.78
|
||||
|
9.30
|
26.39
|
27.98
|
||||
|
31.02
|
19.68
|
19.68
|
||||
|
13.73
|
27.06
|
24.01
|
||||
|
31.04
|
22.36
|
22.85
|
||||
|
29.22
|
31.02
|
30.32
|
||||
|
31.02
|
18.71
|
18.19
|
||||
|
31.03
|
12.18
|
11.81
|
||||
|
15.50
|
24.42
|
23.97
|
||||
|
31.03
|
18.96
|
19.27
|
||||
|
2.90
|
30.50
|
30.70
|
||||
|
5.34
|
31.02
|
31.02
|
||||
|
12.29
|
31.02
|
31.03
|
||||
|
31.02
|
31.00
|
31.01
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
31.03
|
30.16
|
||||
|
31.02
|
29.37
|
29.74
|
||||
|
31.02
|
31.02
|
30.29
|
||||
|
31.02
|
30.59
|
31.03
|
||||
|
31.02
|
22.68
|
25.12
|
||||
|
31.01
|
31.43
|
32.80
|
||||
|
8.17
|
25.76
|
28.11
|