full results

problem
zip-dev
zip-dev.time
9.85
10.30
10.00
11.02
1.61
1.33
0.36
11.02
2.61
11.01
10.68
1.77
0.35
11.01
2.67
11.01
11.02
10.14
10.19
0.03
10.20
11.02
11.02
11.02
11.02