full results

problem
zip-dev
zip-dev.time
0.26
9.82
9.90
9.86
10.00
9.91
9.83
9.84
9.78
9.84
0.06
9.83
0.29
9.82
9.98
9.83
0.02
3.47
9.79
9.84
10.03
9.85
2.70
9.85
10.02