full results

problem
zip-dev
zip-dev.time
0.24
9.84
9.91
9.83
9.87
9.86
10.02
9.90
9.77
9.87
0.04
9.83
0.31
9.88
10.02
9.83
0.02
3.14
9.83
9.83
9.78
9.90
2.70
9.84
9.79