full results

problem
zip-dev
zip-dev.time
10.32
10.30
9.83
9.85
10.43
10.50
0.03
0.03
10.64
10.84
10.44
10.45
9.84
9.81
10.64
10.73
0.03
0.03
9.81
9.81
10.36
10.56
9.79
9.86
10.66