full results

problem
zip-dev
zip-dev.time
0.02
1.81
0.31
9.77
10.03
9.85
9.79
10.02
9.94
10.17
10.02
9.90
10.19
10.28
10.35
10.27
10.29
10.26
10.00
0.01
0.02
0.02
0.02
0.02
0.02