full results

problem
zip-dev
zip-dev.time
0.99
2.98
2.45
1.01
1.27
1.31
9.77
9.77
1.34
2.57
0.84
9.78
9.79
2.69
0.28
5.91
4.36
9.64
2.21
4.48
4.54
6.67
6.03
6.08
2.66