full results

problem
zip-dev
zip-dev.time
0.12
0.03
9.84
3.52
9.87
0.24
10.00
8.05
9.82
9.83
9.80
9.80
0.21
0.22
9.80
2.44
9.98
0.87
9.79
1.73
9.79
2.48
9.79
0.71
9.91