|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
16.90
|
31.02
|
31.11
|
||||
|
1.63
|
30.19
|
30.05
|
||||
|
1.66
|
30.31
|
30.84
|
||||
|
1.09
|
30.15
|
31.02
|
||||
|
4.78
|
30.53
|
30.62
|
||||
|
31.29
|
31.30
|
31.31
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.01
|
31.02
|
31.02
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
3.35
|
31.02
|
31.02
|
||||
|
18.86
|
29.71
|
26.86
|
||||
|
31.07
|
21.00
|
22.77
|
||||
|
15.47
|
31.02
|
31.02
|
||||
|
31.02
|
31.02
|
31.02
|
||||
|
31.03
|
23.65
|
22.37
|
||||
|
10.11
|
27.32
|
29.38
|
||||
|
8.81
|
31.02
|
31.02
|
||||
|
30.23
|
13.79
|
13.64
|
||||
|
31.03
|
26.47
|
24.80
|
||||
|
31.02
|
22.01
|
20.57
|
||||
|
31.02
|
17.24
|
17.71
|
||||
|
36.85
|
19.35
|
19.99
|
||||
|
32.78
|
27.71
|
28.36
|
||||
|
31.03
|
17.25
|
17.67
|
||||
|
31.03
|
10.81
|
11.22
|