full results

problem
zip-dev
zip-dev.time
10.05
10.05
0.06
10.10
0.20
9.94
0.17
9.87
10.07
10.05
10.12
9.98
9.93
10.09
10.08
10.07
10.06
9.82
4.86
10.00
10.08
9.85
10.07
10.09
4.49