full results

problem
zip-dev
zip-dev.time
0.03
1.46
0.02
1.62
0.02
0.25
0.02
1.68
0.02
1.79
0.02
1.46
0.02
10.00
0.02
9.98
0.02
1.67
0.02
1.35
0.02
9.91
1.77
1.49
0.02