full results

problem
zip-dev
zip-dev.time
0.05
0.02
9.78
9.81
0.08
0.30
9.80
9.82
9.81
9.82
0.19
0.18
0.17
0.98
9.83
0.85
9.82
0.21
9.81
0.27
9.81
0.11
9.83
9.82
9.84