full results

problem
zip-dev
zip-dev.time
1.26
3.69
10.28
10.66
0.78
0.82
0.79
0.26
0.48
10.23
0.07
10.07
9.86
9.87
9.84
9.98
10.09
0.94
9.87
9.85
9.88
10.10
9.89
9.84
10.28