full results

problem
zip-dev
zip-dev.time
9.83
10.07
9.83
9.97
9.82
9.95
9.84
10.15
9.86
9.95
9.83
9.95
9.83
2.18
2.29
0.44
0.43
9.78
9.78
9.78
9.79
9.79
9.78
9.78
9.78