full results

problem
zip-dev
zip-dev.time
0.47
2.18
9.79
0.13
9.79
9.78
10.01
0.25
10.02
10.02
2.89
10.02
9.79
9.93
9.87
9.92
9.82
10.02
10.02
10.02
10.02
9.99
2.39
0.04
0.05