full results

problem
zip-dev
zip-dev.time
9.86
9.80
9.91
0.02
0.02
0.02
9.98
9.96
9.96
9.99
9.95
10.03
9.91
10.10
10.00
9.91
9.91
9.96
9.88
9.97
9.90
0.12
9.85
9.90
9.91