full results

problem
zip-dev
zip-dev.time
0.91
0.10
9.78
9.80
2.87
6.14
1.02
0.67
1.00
0.81
9.79
2.28
0.81
0.70
0.78
0.73
9.81
9.78
9.79
9.78
0.95
0.61
9.81
9.79
9.79