full results

problem
zip-dev
zip-dev.time
8.78
9.83
9.96
9.98
0.11
9.87
10.06
9.88
9.82
9.83
0.11
9.84
0.11
9.82
10.02
9.96
0.66
9.82
0.06
9.83
1.37
9.88
9.95
0.99
9.97