full results

problem
zip-dev
zip-dev.time
9.92
9.88
9.83
9.95
9.78
9.79
9.79
0.04
10.03
9.80
9.81
0.06
9.82
9.84
2.94
0.08
9.80
9.79
9.79
0.08
9.81
0.08
9.81
9.99
2.98