full results

problem
zip-dev
zip-dev.time
10.02
1.12
0.14
9.90
0.46
9.83
0.39
1.11
0.30
9.78
10.02
0.02
0.94
9.80
0.05
9.82
9.77
9.83
9.77
9.79
0.03
9.83
9.82
9.78
0.03