full results

problem
zip-dev
zip-dev.time
1.14
0.07
0.07
1.32
1.94
0.05
0.07
0.05
0.05
0.18
0.07
0.07
0.44
1.69
0.95
0.99
0.55
0.92
0.83
0.84
0.05
0.08
0.07
0.78
0.06