full results

problem
zip-dev
zip-dev.time
1.67
9.12
0.20
0.19
0.20
0.19
0.50
0.68
0.57
0.65
2.40
2.21
2.39
1.91
7.56
7.63
9.81
9.85
9.89
9.86
9.87
9.95
9.92
9.96
9.95