|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
31.04
|
31.93
|
33.16
|
||||
|
1.55
|
26.39
|
25.50
|
||||
|
14.82
|
31.02
|
31.02
|
||||
|
1.75
|
26.02
|
27.15
|
||||
|
0.82
|
31.02
|
31.02
|
||||
|
28.40
|
31.03
|
31.02
|
||||
|
31.02
|
30.45
|
31.02
|
||||
|
31.02
|
26.25
|
27.42
|
||||
|
7.90
|
24.69
|
27.84
|
||||
|
15.68
|
24.83
|
25.86
|
||||
|
1.42
|
21.54
|
21.76
|
||||
|
29.77
|
18.83
|
18.55
|
||||
|
31.02
|
24.50
|
26.72
|
||||
|
18.63
|
20.89
|
21.29
|
||||
|
10.30
|
31.02
|
31.04
|
||||
|
31.04
|
21.31
|
22.23
|
||||
|
31.02
|
23.56
|
25.10
|
||||
|
20.97
|
29.33
|
30.01
|
||||
|
31.02
|
22.43
|
20.81
|
||||
|
31.03
|
21.57
|
25.47
|
||||
|
18.96
|
26.41
|
27.71
|
||||
|
31.02
|
14.09
|
13.30
|
||||
|
28.24
|
25.79
|
26.74
|
||||
|
31.04
|
18.41
|
17.28
|
||||
|
9.04
|
21.99
|
21.99
|