full results

problem
zip-dev
zip-dev.time
9.89
9.87
2.03
2.16
2.36
1.56
1.77
1.86
10.06
0.41
0.10
9.94
10.09
10.12
9.96
10.05
10.01
9.85
9.91
10.11
9.88
10.10
10.03
10.20
9.94