full results

problem
zip-dev
zip-dev.time
0.22
0.21
0.18
0.19
0.16
1.28
0.13
9.78
1.32
9.80
2.29
2.28
0.25
0.13
0.42
0.29
9.79
9.80
0.35
0.30
0.17
9.80
9.79
1.97
0.02