|
problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
|
0.17
|
1.14
|
1.12
|
||||
|
0.26
|
2.96
|
3.42
|
||||
|
0.39
|
3.26
|
3.88
|
||||
|
0.39
|
2.94
|
3.62
|
||||
|
0.08
|
4.87
|
5.30
|
||||
|
0.28
|
4.81
|
6.05
|
||||
|
0.37
|
5.90
|
6.02
|
||||
|
0.10
|
5.81
|
6.27
|
||||
|
0.08
|
3.70
|
3.95
|
||||
|
0.11
|
5.06
|
5.42
|
||||
|
0.04
|
0.65
|
0.62
|
||||
|
0.05
|
2.73
|
2.72
|
||||
|
0.04
|
2.55
|
2.30
|
||||
|
0.25
|
1.82
|
1.84
|
||||
|
0.25
|
2.95
|
2.84
|
||||
|
0.05
|
1.55
|
1.62
|
||||
|
0.04
|
0.52
|
0.47
|
||||
|
0.04
|
0.52
|
0.50
|
||||
|
0.08
|
2.20
|
2.02
|
||||
|
0.08
|
3.15
|
3.36
|
||||
|
0.07
|
2.19
|
2.06
|
||||
|
0.08
|
2.92
|
3.11
|
||||
|
0.42
|
3.01
|
3.14
|
||||
|
0.21
|
4.59
|
4.60
|
||||
|
0.75
|
31.01
|
27.41
|