full results

problem
zip-dev
zip-dev.time
9.87
10.00
10.41
10.04
9.91
10.27
9.93
10.15
10.14
9.82
9.84
10.31
10.58
9.89
10.43
10.79
9.83
10.00
10.14
10.03
10.07
10.26
10.07
0.38
0.55