full results

problem
zip-dev
zip-dev.time
1.37
0.03
0.05
0.03
0.05
0.03
0.04
9.88
9.77
8.71
9.79
0.63
9.78
9.78
1.42
9.77
9.77
9.38
0.81
0.21
1.11
9.39
0.85
0.08
2.69