full results

problem
zip-dev
zip-dev.time
0.06
9.78
0.34
9.79
0.26
9.89
0.19
9.77
1.23
9.80
0.55
9.82
9.87
9.81
0.94
9.81
0.15
9.79
9.77
9.79
9.80
9.78
9.79
9.81
4.66