full results

problem
zip-dev
zip-dev.time
9.94
10.05
9.87
9.89
9.87
9.98
9.95
9.80
9.88
9.95
9.88
9.99
9.89
0.03
0.10
0.04
9.84
10.05
9.85
10.05
9.91
9.83
9.85
1.54
9.86