|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.26
|
3.62
|
3.67
|
||||
|
0.25
|
3.54
|
3.48
|
||||
|
0.37
|
3.78
|
3.72
|
||||
|
0.25
|
3.87
|
3.87
|
||||
|
0.27
|
5.99
|
6.01
|
||||
|
0.36
|
15.02
|
15.19
|
||||
|
0.30
|
1.38
|
1.40
|
||||
|
0.32
|
9.97
|
9.72
|
||||
|
0.44
|
13.35
|
13.49
|
||||
|
0.25
|
30.38
|
30.88
|
||||
|
0.26
|
2.86
|
2.81
|
||||
|
0.33
|
12.76
|
12.98
|
||||
|
0.41
|
30.40
|
30.87
|
||||
|
0.48
|
30.62
|
30.90
|
||||
|
0.37
|
30.41
|
30.82
|
||||
|
0.30
|
9.87
|
10.03
|
||||
|
0.32
|
31.01
|
31.01
|
||||
|
0.33
|
31.01
|
31.01
|
||||
|
0.27
|
10.87
|
11.19
|
||||
|
0.25
|
15.60
|
15.61
|
||||
|
0.34
|
31.01
|
30.17
|
||||
|
0.47
|
30.09
|
30.49
|
||||
|
0.27
|
30.80
|
30.50
|
||||
|
0.25
|
31.01
|
31.01
|
||||
|
0.29
|
4.85
|
4.71
|