full results

problem
zip-dev
zip-dev.time
10.06
0.77
9.78
9.78
9.91
9.78
9.78
9.80
0.16
9.78
9.80
9.78
9.81
9.78
9.82
9.78
9.82
9.78
9.78
9.78
2.88
9.14
9.73
8.52
0.73