full results

problem
zip-dev
zip-dev.time
9.92
10.02
9.81
10.02
10.02
9.78
10.02
10.02
1.28
9.78
10.02
10.02
0.99
0.03
10.00
9.93
9.84
1.52
0.68
10.02
1.31
10.01
10.02
9.95
1.57