full results

problem
zip-dev
zip-dev.time
10.06
0.05
9.95
10.00
9.80
3.21
1.09
9.90
9.84
1.92
10.07
10.05
9.85
9.78
9.86
9.97
9.83
9.90
10.04
10.06
9.82
10.05
9.82
9.81
9.91