|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.25
|
3.28
|
3.61
|
||||
|
0.24
|
6.01
|
5.77
|
||||
|
0.27
|
2.81
|
2.75
|
||||
|
0.26
|
4.66
|
4.58
|
||||
|
0.33
|
30.46
|
30.72
|
||||
|
0.37
|
31.01
|
31.01
|
||||
|
0.33
|
30.48
|
30.58
|
||||
|
0.29
|
26.64
|
26.74
|
||||
|
0.27
|
19.03
|
18.91
|
||||
|
0.29
|
30.98
|
31.01
|
||||
|
0.26
|
9.41
|
9.41
|
||||
|
0.26
|
18.47
|
18.36
|
||||
|
0.26
|
31.01
|
30.23
|
||||
|
0.26
|
2.03
|
2.09
|
||||
|
0.25
|
12.73
|
12.12
|
||||
|
0.30
|
25.38
|
25.99
|
||||
|
0.31
|
20.77
|
21.58
|
||||
|
0.30
|
29.14
|
31.01
|
||||
|
0.32
|
11.54
|
8.63
|
||||
|
0.38
|
3.15
|
3.03
|
||||
|
0.27
|
15.51
|
23.56
|
||||
|
0.39
|
10.94
|
11.38
|
||||
|
0.26
|
17.26
|
17.94
|
||||
|
0.23
|
19.96
|
21.25
|
||||
|
0.25
|
1.66
|
1.56
|