full results

problem
zip-dev
zip-dev.time
0.11
0.16
0.10
0.14
0.11
0.13
0.11
0.52
9.78
1.38
9.78
2.43
9.78
1.53
9.78
1.19
9.78
1.77
9.85
9.79
9.79
1.52
5.50
0.51
1.75