|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
1.17
|
31.02
|
31.02
|
||||
|
0.92
|
26.77
|
26.82
|
||||
|
0.76
|
26.16
|
23.26
|
||||
|
0.27
|
6.10
|
6.39
|
||||
|
0.22
|
7.80
|
6.80
|
||||
|
0.05
|
0.42
|
0.42
|
||||
|
0.82
|
25.68
|
23.79
|
||||
|
0.56
|
15.20
|
14.91
|
||||
|
0.57
|
17.08
|
19.66
|
||||
|
0.24
|
18.18
|
13.84
|
||||
|
0.58
|
21.59
|
16.40
|
||||
|
0.95
|
30.93
|
30.04
|
||||
|
0.51
|
14.58
|
13.40
|
||||
|
0.66
|
10.21
|
9.48
|
||||
|
0.58
|
29.28
|
21.55
|
||||
|
0.62
|
29.00
|
18.03
|
||||
|
0.38
|
16.27
|
15.74
|
||||
|
0.38
|
12.90
|
13.23
|
||||
|
0.36
|
7.77
|
7.25
|
||||
|
0.53
|
19.20
|
19.07
|
||||
|
0.36
|
6.93
|
7.31
|
||||
|
0.58
|
26.39
|
17.67
|
||||
|
0.53
|
21.41
|
17.54
|
||||
|
0.33
|
7.26
|
7.45
|
||||
|
0.53
|
17.33
|
16.17
|