full results

problem
zip-dev
zip-dev.time
10.24
10.48
9.77
9.81
10.00
10.53
10.37
0.03
0.07
0.43
2.70
8.98
0.03
3.50
9.78
9.78
9.80
10.23
10.24
10.25
10.30
10.33
10.26
10.28
10.28