full results

problem
zip-dev
zip-dev.time
9.99
10.15
9.89
2.52
0.37
10.14
10.00
10.03
9.90
10.16
10.15
10.16
10.14
9.89
10.14
10.22
10.14
9.90
10.14
10.14
9.91
10.15
10.15
10.17
10.14