|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.26
|
1.50
|
1.72
|
||||
|
0.24
|
2.90
|
2.79
|
||||
|
0.44
|
19.13
|
19.50
|
||||
|
0.45
|
31.01
|
30.10
|
||||
|
1.38
|
2.82
|
2.95
|
||||
|
0.26
|
5.94
|
6.26
|
||||
|
0.26
|
5.66
|
6.18
|
||||
|
0.26
|
2.72
|
2.65
|
||||
|
0.25
|
11.75
|
13.61
|
||||
|
0.37
|
3.57
|
4.72
|
||||
|
0.34
|
30.39
|
19.50
|
||||
|
0.26
|
30.06
|
30.31
|
||||
|
0.31
|
30.09
|
30.29
|
||||
|
0.30
|
30.60
|
30.21
|
||||
|
0.33
|
30.54
|
31.01
|
||||
|
0.52
|
15.40
|
15.82
|
||||
|
0.39
|
24.50
|
27.23
|
||||
|
0.36
|
19.77
|
19.64
|
||||
|
0.26
|
13.87
|
12.88
|
||||
|
0.27
|
11.36
|
11.30
|
||||
|
0.54
|
4.68
|
4.56
|
||||
|
0.47
|
14.14
|
14.09
|
||||
|
0.79
|
5.41
|
5.86
|
||||
|
0.25
|
3.65
|
3.55
|
||||
|
0.29
|
3.33
|
3.51
|