full results

problem
zip-dev
zip-dev.time
0.18
0.25
0.14
0.20
0.21
0.20
0.14
0.20
0.16
1.22
1.21
1.40
1.20
9.79
0.09
9.80
9.82
9.79
9.83
9.80
9.78
9.81
0.65
9.80
9.82