full results

problem
zip-dev
zip-dev.time
9.79
6.33
0.02
9.89
0.03
9.91
0.03
4.26
0.11
9.94
1.30
9.96
9.99
0.03
9.93
9.93
9.90
9.90
1.71
9.92
0.03
9.95
10.03
9.07
0.03