|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.72
|
13.01
|
14.08
|
||||
|
0.25
|
5.09
|
5.31
|
||||
|
0.10
|
1.72
|
1.76
|
||||
|
0.39
|
10.75
|
10.97
|
||||
|
0.24
|
9.23
|
9.41
|
||||
|
0.40
|
10.05
|
11.42
|
||||
|
0.20
|
3.53
|
3.57
|
||||
|
0.20
|
3.74
|
3.87
|
||||
|
0.59
|
13.56
|
12.53
|
||||
|
0.35
|
13.98
|
9.59
|
||||
|
0.73
|
14.55
|
14.17
|
||||
|
0.64
|
17.65
|
14.88
|
||||
|
0.17
|
13.74
|
13.38
|
||||
|
0.17
|
12.51
|
12.36
|
||||
|
0.18
|
11.23
|
12.56
|
||||
|
0.19
|
14.25
|
14.38
|
||||
|
0.20
|
13.64
|
15.43
|
||||
|
0.15
|
12.71
|
13.76
|
||||
|
0.07
|
2.63
|
2.69
|
||||
|
0.27
|
14.99
|
12.56
|
||||
|
0.18
|
9.19
|
10.38
|
||||
|
0.08
|
9.23
|
7.45
|
||||
|
0.05
|
1.62
|
1.38
|
||||
|
0.14
|
3.21
|
2.96
|
||||
|
0.16
|
2.76
|
2.77
|