full results

problem
zip-dev
zip-dev.time
9.83
10.03
9.84
9.91
9.85
9.95
9.84
10.17
9.85
9.95
9.83
9.91
9.83
2.51
2.38
0.49
0.49
9.78
9.78
9.77
9.78
9.79
9.78
9.78
9.78