full results

problem
zip-dev
zip-dev.time
0.12
0.03
9.86
3.54
10.00
0.22
10.03
8.00
9.81
9.93
9.97
9.78
0.23
0.19
9.78
2.17
9.87
0.78
9.78
1.72
9.80
2.72
9.79
0.72
9.79