full results

problem
zip-dev
zip-dev.time
9.83
0.02
9.85
9.77
4.62
0.02
9.88
0.02
4.58
0.02
5.39
0.02
0.11
9.85
0.06
4.63
0.02
9.82
0.03
4.57
0.03
4.37
0.02
9.91
10.02