full results

problem
zip-dev
zip-dev.time
9.85
0.73
0.22
9.81
9.79
9.79
9.79
0.04
0.03
0.04
0.04
0.98
0.19
0.95
0.11
0.60
0.69
0.03
0.06
0.84
0.23
0.87
0.23
0.90
0.23