full results

problem
zip-dev
zip-dev.time
0.16
1.30
0.19
1.02
0.22
1.11
0.14
0.93
0.16
1.00
0.14
1.02
0.20
0.95
0.19
1.03
0.26
0.94
0.15
0.11
0.11
0.12
0.10
0.12
0.10