full results

problem
zip-dev
zip-dev.time
9.94
1.04
10.07
9.92
9.93
10.06
9.95
9.86
10.07
9.92
9.80
9.86
9.84
9.84
10.08
9.92
10.09
10.08
10.08
9.89
10.10
10.11
9.98
3.00
9.90