full results

problem
zip-dev
zip-dev.time
0.28
0.02
9.85
0.02
9.78
0.96
0.02
9.81
0.02
6.43
0.25
0.03
9.77
0.77
0.02
9.83
0.02
9.78
1.00
0.02
9.82
0.54
0.02
0.10
0.02