full results

problem
zip-dev
zip-dev.time
9.77
9.92
0.04
9.79
0.62
9.92
0.58
0.02
0.45
0.02
0.39
9.86
0.08
9.84
9.79
2.00
9.95
0.91
0.02
0.05
0.08
0.09
0.03
10.03
10.02