Results for GR-D Track

Click here to see aggregated results for the GR-D track or go back to all results.

In the tables below we provide an overview of the solvers' performance for each problem. The column Solver, #Corr, #Cra, #Inc, #Fail, #Inv, #TO, #OOM, Time, Memory, Score corresponds to: name of the solver, number of correct answers, number of crashes, number of incorrect answers, number of failures, number of invalid answers, number of timeouts, number of out of memory, running time (total), used memory (max) and final score, respectively. In detail, #Cra refers to the number of times the solver crashed due to memory issues, #Fail are all those runs that did not produce an answer (e.g., because of timeouts), #Inc refers to syntactically correct, but wrong, answers, and #Inv is the number of syntactically incorrect answers.

SE-GR-D
Solver #Corr #Cra #Inc #Fail #Inv #TO #OOM Time Memory Score
coquiaas 326 0 0 0 0 0 0 220.476 3047424 326
mu-toksia 326 0 0 0 0 0 0 939.169 408518656 326
pyglaf 264 0 62 0 0 0 0 971.831 408776704 -46

SE-GR-D detailed results

DC-GR-D
Solver #Corr #Cra #Inc #Fail #Inv #TO #OOM Time Memory Score
coquiaas 326 0 0 0 0 0 0 218.591 3055616 326
mu-toksia 326 0 0 0 0 0 0 955.222 409554944 326
pyglaf 144 0 182 0 0 0 0 972.122 409067520 -766

DC-GR-D detailed results