full results

problem
zip-dev
zip-dev.time
0.51
9.79
9.79
9.80
9.99
9.83
9.99
10.02
0.07
9.79
0.07
0.05
9.80
0.27
0.30
9.83
9.90
9.79
0.37
0.07
10.03
9.78
9.90
9.91
0.27