|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.25
|
4.14
|
3.64
|
||||
|
0.26
|
3.23
|
3.15
|
||||
|
0.38
|
3.60
|
3.67
|
||||
|
0.24
|
3.67
|
3.75
|
||||
|
0.26
|
5.90
|
5.52
|
||||
|
0.34
|
14.27
|
14.17
|
||||
|
0.30
|
1.34
|
1.36
|
||||
|
0.25
|
8.68
|
9.11
|
||||
|
0.42
|
12.55
|
12.23
|
||||
|
0.25
|
30.56
|
30.67
|
||||
|
0.24
|
2.67
|
2.76
|
||||
|
0.32
|
11.90
|
12.10
|
||||
|
0.41
|
31.01
|
31.01
|
||||
|
0.46
|
31.01
|
30.68
|
||||
|
0.37
|
31.01
|
30.85
|
||||
|
0.29
|
9.76
|
10.55
|
||||
|
0.31
|
30.65
|
30.34
|
||||
|
0.32
|
30.66
|
31.01
|
||||
|
0.26
|
10.02
|
10.21
|
||||
|
0.24
|
14.03
|
14.97
|
||||
|
0.34
|
30.89
|
30.66
|
||||
|
0.47
|
30.59
|
30.99
|
||||
|
0.27
|
31.01
|
30.72
|
||||
|
0.26
|
31.01
|
30.72
|
||||
|
0.28
|
4.56
|
4.57
|