full results

problem
zip-dev
zip-dev.time
9.81
0.95
9.79
1.00
1.20
1.02
0.80
0.68
0.85
9.78
9.79
9.79
9.14
2.53
9.79
2.36
0.04
0.06
0.04
0.82
9.14
2.46
1.11
0.57
9.79