full results

problem
zip-dev
zip-dev.time
9.79
0.31
9.82
9.79
2.15
0.03
1.15
0.03
3.07
3.52
1.77
1.81
9.78
0.57
9.91
1.36
9.78
9.79
1.13
0.32
9.78
9.83
9.80
9.78
9.83