full results

problem
zip-dev
zip-dev.time
0.02
9.84
9.81
10.19
10.18
0.02
0.02
10.26
10.54
0.02
0.02
10.56
10.65
10.24
10.12
9.86
9.81
10.33
10.31
0.02
0.02
10.43
10.56
0.02
0.02