full results

problem
zip-dev
zip-dev.time
0.10
0.02
9.78
3.53
9.84
0.23
9.87
8.89
9.81
9.89
9.99
9.78
0.23
0.19
9.86
2.42
9.78
0.77
9.78
1.78
9.99
2.74
9.90
0.79
9.79