full results

problem
zip-dev
zip-dev.time
3.32
2.20
9.79
2.20
0.15
0.18
0.03
0.03
9.79
9.84
2.73
1.51
0.03
0.03
0.04
0.04
0.26
0.23
0.18
0.18
0.23
0.21
0.05
0.05
0.04