full results

problem
zip-dev
zip-dev.time
10.36
10.42
1.72
10.25
10.36
10.42
10.21
9.78
9.81
9.80
9.78
9.80
9.78
9.80
9.86
10.07
10.05
10.02
10.02
10.09
10.00
10.00
10.05
10.02
10.11