full results

problem
zip-dev
zip-dev.time
9.89
9.91
0.21
9.91
0.61
9.88
1.00
9.91
0.19
9.97
0.13
9.88
0.15
0.04
2.73
0.05
9.78
9.91
9.81
4.13
9.92
9.78
9.88
9.78
9.91