full results

problem
zip-dev
zip-dev.time
0.04
0.03
9.81
0.04
0.40
0.05
9.78
10.30
9.83
9.80
9.80
0.04
0.32
0.20
9.80
9.85
9.90
9.82
1.63
2.07
9.79
9.88
9.81
9.84
0.12