full results

problem
zip-dev
zip-dev.time
10.36
10.37
0.03
9.79
10.95
11.01
10.36
0.02
9.79
11.00
11.02
10.33
0.02
9.83
10.43
11.01
11.02
0.02
9.87
9.99
11.02
11.01
0.03
9.79
9.86