Closed myungwoo closed 7 years ago
I think it may be possible to change to floats nowadays, since we check the actual wall/cpu time afterwards. This means carefully checking how the timelimit is passed from DB -> API -> judgedeamon -> testcase_run -> runguard.
As I know, DOMJudge can't evaluate submission with real number timelimit such as 1.2, even if Java time factor 1.2 and problem's timelimit is 1 since 'maxruntime' is calculated by "ceiling(timefactor * timelimit)".
I wish real number timelimit. :)