full results

problem
zip-dev
zip-dev.time
3.69
11.01
3.73
11.01
11.02
11.02
11.01
11.02
11.01
11.01
11.01
11.02
11.01
11.02
11.01
11.01
11.01
11.01
11.01
11.01
9.81
9.77
9.83
9.94
9.78