full results

problem
zip-dev
zip-dev.time
1.72
8.54
0.29
0.21
0.20
0.20
0.50
0.57
0.70
0.69
2.07
1.92
2.37
2.07
7.57
7.74
9.83
9.85
9.88
9.84
9.87
9.97
9.91
9.97
9.97