full results

problem
zip-dev
zip-dev.time
0.44
0.02
9.94
0.03
10.07
9.84
9.96
9.81
9.98
0.02
9.98
9.82
9.94
0.02
10.08
9.78
9.94
0.06
9.95
0.03
9.96
9.80
10.08
9.84
10.03