full results

problem
zip-dev
zip-dev.time
9.81
10.00
10.41
10.03
9.96
10.26
9.79
10.14
10.12
9.81
10.09
10.27
10.56
9.88
10.41
10.77
9.83
9.98
10.12
9.87
10.06
10.25
9.84
0.39
0.62