full results

problem
zip-dev
zip-dev.time
0.02
0.04
9.89
0.52
0.02
0.04
9.79
0.11
8.52
0.95
8.33
0.11
9.85
1.87
9.87
0.05
7.45
0.33
9.79
0.63
0.06
0.05
0.42
0.13
0.10