full results

problem
zip-dev
zip-dev.time
10.38
10.43
10.37
10.41
10.36
10.44
9.01
9.78
9.80
9.82
9.78
9.83
9.84
9.77
9.79
10.01
10.03
10.08
10.05
9.99
10.00
9.99
10.03
10.04
10.11