full results

problem
zip-dev
zip-dev.time
10.02
10.02
10.02
10.02
9.88
9.79
10.02
10.02
10.02
10.02
10.02
10.08
10.19
10.04
9.83
10.00
9.94
9.87
9.90
9.97
9.85
9.99
10.17
9.90
9.95