full results

problem
zip-dev
zip-dev.time
0.83
9.77
9.78
9.78
9.77
9.78
9.77
9.78
9.77
9.77
9.77
9.78
9.78
9.78
9.77
9.77
8.01
0.65
9.79
2.65
9.77
9.78
0.81
3.10
9.79