sometimes (immediately after a job pair is finished), its output is "not available",
and later, regular output appears (prefix from benchexec, then solver's output).
So, when we load a job pair, we need to check for this. Else, "not available" gets stored in our DB permanently.
sometimes (immediately after a job pair is finished), its output is "not available", and later, regular output appears (prefix from benchexec, then solver's output).
So, when we load a job pair, we need to check for this. Else, "not available" gets stored in our DB permanently.
xref: https://www.tapatalk.com/groups/starexec/job-pair-changes-contents-of-output-t146.html