full results

problem
zip-dev
zip-dev.time
9.96
10.09
9.83
9.78
0.02
9.85
0.02
10.02
9.98
10.00
10.12
0.13
9.96
9.85
10.06
9.87
9.98
9.85
9.99
10.21
9.88
9.98
9.84
9.85
9.88