full results

problem
zip-dev
zip-dev.time
0.16
9.81
9.81
9.81
9.81
9.82
11.02
11.04
11.02
0.07
0.95
1.89
0.03
0.03
0.04
0.29
0.55
1.04
0.60
0.39
0.41
9.84
3.62
0.07
9.90