full results

problem
zip-dev
zip-dev.time
0.03
9.79
0.03
9.83
8.96
0.03
11.01
0.03
10.89
11.01
0.34
0.30
0.62
0.73
0.69
0.64
0.73
0.62
9.79
8.69
9.81
8.99
8.87
8.55
0.03