full results

problem
zip-dev
zip-dev.time
10.20
10.22
9.79
9.78
10.48
10.46
0.03
0.02
10.83
10.93
10.45
10.36
9.84
9.79
10.57
10.57
0.03
0.03
9.78
9.80
10.46
10.44
9.79
9.85
10.63