full results

problem
zip-dev
zip-dev.time
10.20
10.62
0.11
9.80
9.81
9.85
10.05
9.78
9.80
9.87
9.99
9.95
9.77
9.81
9.79
9.79
9.84
9.77
9.78
9.79
9.83
9.84
10.21
10.25
10.28