full results

problem
zip-dev
zip-dev.time
8.71
9.95
9.81
9.81
0.11
10.00
10.07
9.82
9.84
9.82
0.13
9.85
0.11
9.82
10.02
9.98
0.66
9.81
0.06
9.82
1.28
9.89
9.98
0.90
9.99