full results

problem
zip-dev
zip-dev.time
9.87
0.03
10.26
0.02
9.99
0.02
9.89
0.05
9.89
0.05
9.90
0.07
9.90
0.13
10.14
9.77
10.21
0.50
10.14
9.89
10.39
9.77
10.43
0.02
10.15