full results

problem
zip-dev
zip-dev.time
0.02
2.12
0.31
9.83
9.94
9.79
9.84
9.96
9.78
10.16
10.02
9.77
10.25
10.28
10.25
10.46
10.42
10.27
9.88
0.02
0.02
0.02
0.02
0.02
0.02