full results

problem
zip-dev
zip-dev.time
10.65
11.01
0.02
9.78
9.82
10.32
10.77
0.02
9.80
9.91
10.02
10.11
1.25
9.79
9.85
9.97
10.15
0.02
10.03
9.88
10.52
11.01
0.02
9.78
9.88