full results

problem
zip-dev
zip-dev.time
10.16
0.03
10.14
9.79
10.14
0.03
10.17
0.18
10.20
0.76
10.15
10.00
10.15
10.18
0.08
10.16
0.04
10.17
10.16
0.07
10.20
0.06
9.89
0.05
0.39