full results

problem
zip-dev
zip-dev.time
9.94
9.89
10.15
10.18
9.95
10.05
9.85
10.06
10.15
9.91
10.21
9.84
9.83
10.16
10.17
3.70
10.09
3.04
10.13
10.19
10.05
10.13
9.88
9.89
10.06