full results

problem
zip-dev
zip-dev.time
1.05
0.07
0.07
1.32
1.32
0.05
0.05
0.05
0.05
0.17
0.07
0.09
0.44
1.66
0.88
0.84
0.58
0.84
0.89
0.83
0.05
0.09
0.07
0.84
0.10