full results

problem
zip-dev
zip-dev.time
9.83
10.02
10.01
0.06
0.06
1.19
1.18
9.99
9.92
10.02
10.02
1.16
1.68
1.79
1.10
1.22
1.13
10.02
1.67
1.52
10.00
0.06
0.06
10.02
10.02