full results

problem
zip-dev
zip-dev.time
9.79
0.86
9.79
0.98
1.19
1.04
0.79
0.67
0.84
9.79
9.79
9.80
9.05
2.53
9.43
2.34
0.04
0.06
0.05
0.78
9.11
2.56
1.11
0.62
9.80