full results

problem
zip-dev
zip-dev.time
10.18
10.26
9.79
9.86
10.35
10.50
0.03
0.02
10.62
10.99
10.44
10.33
9.86
9.88
10.57
10.70
0.03
0.03
9.77
9.81
10.53
10.43
9.88
9.88
10.62