full results

problem
zip-dev
zip-dev.time
10.04
10.05
2.13
2.24
2.49
1.56
1.86
1.89
10.05
0.36
0.10
9.97
10.14
10.06
9.96
9.81
10.07
9.94
9.94
10.01
9.83
9.99
10.10
10.12
9.86