full results

problem
zip-dev
zip-dev.time
9.95
9.89
0.18
9.86
0.61
9.91
1.00
9.88
0.17
9.87
0.13
9.87
0.17
0.04
2.72
0.05
9.78
9.92
9.81
4.19
9.89
9.78
9.91
9.78
9.89