full results

problem
zip-dev
zip-dev.time
0.11
0.14
0.11
0.14
0.10
0.14
0.09
0.52
9.77
1.43
9.79
2.48
9.78
1.36
9.77
1.11
9.77
1.76
9.78
9.80
9.79
1.47
4.54
0.53
1.96