full results

problem
zip-dev
zip-dev.time
10.33
10.35
10.27
10.30
10.27
10.40
10.36
0.20
1.09
2.22
3.81
4.83
0.02
8.64
9.94
9.97
10.08
0.02
9.79
9.84
9.98
10.07
0.11
9.83
9.89