full results

problem
zip-dev
zip-dev.time
0.28
10.02
10.10
9.88
10.04
10.04
9.86
9.95
10.00
0.13
10.07
9.92
10.00
9.87
9.87
9.95
9.86
0.57
9.88
9.92
9.87
5.39
9.88
9.94
10.01