Search results

cannot view prover output from results tables ( Failed to open stream: HTTP request failed! )

Status: Open.

#109 In TermCOMP/starexec-master;

· jwaldmann opened on Jun 25, 2024

Unicode output broken

Status: Open.

#97 In TermCOMP/starexec-master;

· DieterHofbauer opened on Jun 13, 2024

SRS-relative certified: NO/unsupported for matchbox

Status: Open.

#81 In TermCOMP/starexec-master;

· jwaldmann opened on Aug 25, 2023

SRS-Std cert TTT2 postprocessor error (time-out for matchbound certificate?)

Status: Open.

#80 In TermCOMP/starexec-master;

· jwaldmann opened on Aug 24, 2023

REJECT in SRS-Relative (certified) for matchbox

Status: Open.

#76 In TermCOMP/starexec-master;

· jwaldmann opened on Aug 24, 2023