full results

problem
zip-dev
zip-dev.time
9.87
10.16
9.89
10.15
10.03
10.57
10.57
1.32
10.21
9.85
9.97
5.59
5.99
0.03
0.02
0.03
0.02
0.02
9.94
9.78
9.99
9.77
9.87
0.02
0.02