full results

problem
zip-dev
zip-dev.time
6.41
0.90
0.20
0.13
9.78
9.78
9.77
0.12
9.78
2.47
3.90
0.11
0.12
9.78
0.12
9.81
0.07
9.78
0.34
9.83
1.33
9.78
1.97
1.29
0.45