|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.61
|
19.84
|
22.17
|
||||
|
0.78
|
30.99
|
30.80
|
||||
|
0.47
|
20.67
|
18.68
|
||||
|
0.41
|
22.16
|
22.60
|
||||
|
0.40
|
28.65
|
28.42
|
||||
|
0.48
|
14.31
|
14.93
|
||||
|
0.35
|
25.71
|
22.98
|
||||
|
0.32
|
10.98
|
11.22
|
||||
|
0.54
|
31.02
|
22.38
|
||||
|
0.44
|
20.97
|
17.69
|
||||
|
0.09
|
3.09
|
3.27
|
||||
|
1.61
|
31.01
|
30.72
|
||||
|
1.32
|
30.08
|
31.01
|
||||
|
1.66
|
30.13
|
30.44
|
||||
|
0.93
|
31.01
|
28.92
|
||||
|
0.76
|
31.01
|
28.43
|
||||
|
0.84
|
27.75
|
28.51
|
||||
|
1.24
|
30.65
|
30.27
|
||||
|
0.78
|
12.96
|
13.01
|
||||
|
0.61
|
18.46
|
18.38
|
||||
|
1.52
|
30.21
|
30.24
|
||||
|
0.73
|
30.16
|
30.02
|
||||
|
0.69
|
30.39
|
30.33
|
||||
|
0.59
|
28.55
|
27.92
|
||||
|
0.27
|
15.29
|
11.82
|