full results

problem
zip-dev
zip-dev.time
9.77
0.32
9.78
9.79
1.92
0.02
1.17
0.02
3.13
3.46
1.72
1.78
9.79
0.50
9.79
1.20
9.79
9.79
1.30
0.38
9.78
9.83
9.78
9.78
9.84