full results

problem
zip-dev
zip-dev.time
6.99
0.94
0.20
0.09
9.78
9.82
9.79
0.12
9.81
2.47
3.22
0.12
0.11
9.83
0.10
9.78
0.08
9.82
0.35
9.77
1.32
9.78
1.79
1.31
0.41