full results

problem
zip-dev
zip-dev.time
4.51
0.11
9.77
0.40
9.78
0.11
9.79
0.14
9.77
7.84
9.82
9.85
9.78
6.83
10.02
9.78
0.26
9.82
0.09
0.02
10.02
10.02
0.03
9.94
10.00