|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.19
|
10.87
|
10.18
|
||||
|
10.91
|
30.40
|
30.34
|
||||
|
0.20
|
1.59
|
1.66
|
||||
|
0.22
|
23.66
|
22.95
|
||||
|
0.17
|
11.25
|
11.31
|
||||
|
10.09
|
31.01
|
30.92
|
||||
|
0.19
|
1.30
|
1.30
|
||||
|
0.30
|
30.89
|
30.02
|
||||
|
0.31
|
21.65
|
22.41
|
||||
|
15.46
|
30.27
|
31.02
|
||||
|
0.15
|
1.57
|
1.82
|
||||
|
0.54
|
30.93
|
31.02
|
||||
|
0.41
|
16.26
|
16.91
|
||||
|
13.11
|
30.41
|
30.79
|
||||
|
0.20
|
1.80
|
2.00
|
||||
|
0.46
|
31.01
|
31.01
|
||||
|
0.43
|
17.95
|
16.58
|
||||
|
11.51
|
30.71
|
30.81
|
||||
|
0.19
|
1.60
|
1.61
|
||||
|
0.49
|
30.62
|
31.02
|
||||
|
1.01
|
25.68
|
26.50
|
||||
|
10.38
|
30.71
|
31.01
|
||||
|
0.19
|
1.34
|
1.67
|
||||
|
0.79
|
30.85
|
30.08
|
||||
|
0.59
|
30.68
|
30.62
|