full results

problem
zip-dev
zip-dev.time
0.13
9.78
9.78
1.84
1.00
9.80
9.78
0.96
0.69
9.79
9.78
1.69
5.84
9.78
9.80
9.79
1.22
0.87
0.40
2.75
0.61
9.84
3.83
0.51
0.75