full results

problem
zip-dev
zip-dev.time
0.02
1.83
0.31
9.86
10.03
9.82
9.82
10.02
9.96
10.00
9.87
9.79
10.27
10.20
10.38
10.56
10.44
10.41
9.94
0.02
0.02
0.02
0.02
0.02
0.02