full results

problem
zip-dev
zip-dev.time
9.91
10.02
10.46
10.03
9.87
10.27
10.03
10.15
10.25
9.80
10.09
10.10
10.57
9.90
10.47
10.78
9.98
9.99
10.14
10.01
10.01
10.25
10.08
0.36
0.61