full results

problem
zip-dev
zip-dev.time
9.79
9.78
0.57
9.84
9.77
1.70
9.80
9.80
3.32
9.79
0.15
2.69
2.55
2.95
2.58
2.66
2.32
0.20
0.22
9.78
9.80
9.78
9.81
3.76
0.23