full results

problem
zip-dev
zip-dev.time
9.88
9.80
2.12
1.82
2.14
0.71
0.79
1.20
1.08
7.94
9.85
9.88
9.93
9.83
0.28
0.63
1.63
0.59
1.82
0.90
10.02
10.00
9.97
10.02
9.81