full results

problem
zip-dev
zip-dev.time
0.15
0.64
0.29
1.58
0.32
0.02
0.02
0.03
6.54
9.77
8.67
9.79
9.79
10.02
10.02
9.87
9.95
10.02
10.02
10.02
10.02
10.02
9.98
9.88
10.02