full results

problem
zip-dev
zip-dev.time
0.12
10.12
10.14
0.12
10.03
10.41
9.99
9.79
9.80
1.00
9.79
9.84
0.12
1.40
10.08
1.42
0.04
9.91
1.24
9.81
1.06
0.35
0.44
9.92
9.85