full results

problem
zip-dev
zip-dev.time
10.32
10.37
0.02
9.80
10.94
11.01
11.19
0.02
9.78
10.89
11.01
10.28
0.01
9.80
10.32
11.01
11.01
0.01
9.83
9.92
11.01
11.01
0.02
9.84
9.84