problem
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
z3.time
|
mc2-nogc-dev.time
|
mc2-dev.time
|
0.01
|
0.01
|
0.01
|
||||
0.10
|
0.58
|
0.59
|
||||
3.17
|
30.69
|
30.75
|
||||
8.22
|
30.43
|
30.13
|
||||
0.01
|
0.04
|
0.04
|
||||
0.05
|
0.45
|
0.36
|
||||
0.24
|
6.53
|
2.20
|
||||
2.37
|
28.44
|
13.77
|
||||
0.02
|
0.04
|
0.04
|
||||
31.03
|
17.17
|
17.23
|
||||
31.03
|
19.12
|
19.12
|
||||
4.59
|
2.12
|
2.57
|
||||
1.47
|
0.50
|
0.50
|
||||
0.08
|
0.46
|
0.46
|
||||
0.07
|
31.02
|
30.27
|
||||
0.07
|
0.58
|
0.59
|
||||
0.04
|
0.02
|
0.02
|
||||
0.05
|
0.02
|
0.02
|
||||
0.02
|
0.02
|
0.02
|
||||
0.20
|
0.74
|
0.76
|
||||
0.01
|
0.02
|
0.03
|
||||
0.01
|
0.01
|
0.01
|
||||
0.01
|
0.02
|
0.02
|
||||
0.02
|
0.03
|
0.03
|
||||
0.01
|
0.01
|
0.01
|