full results

problem
zip-dev
zip-dev.time
0.23
0.78
0.76
0.14
0.32
1.35
0.11
0.21
0.70
0.79
0.11
0.20
0.75
9.87
11.01
11.02
11.02
11.03
11.02
11.01
11.01
11.01
11.01
11.01
11.02