full results

problem
zip-dev
zip-dev.time
0.28
9.82
10.02
9.82
9.83
9.88
9.93
9.87
9.43
9.87
0.04
9.84
0.28
9.84
9.89
9.84
0.02
3.00
9.89
9.83
9.82
9.82
2.69
9.83
10.02