TSTP Solution File: SEV526^1 by SInE---0.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SInE---0.4
% Problem : :
% Transfm : none
% Format : tptp:raw
% Command :
% Computer : ------ ------
% Model : Unavailable
% CPU : Unavailable
% Memory : Unavailable
% OS : Unavailable
% CPULimit : s
% DateTime : Sun Mar 21 15:05:44 EDT 2021
% Result : Unknown 0.00s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.00 exec failed: No such file or directory
% 0.00/0.00 Solver command line was: /export/starexec/sandbox/solver/bin/starexec_run_SInE---0.4 /export/starexec/sandbox/benchmark/theBenchmark.p /export/starexec/sandbox/output/output_files
% 0.00/0.00
%------------------------------------------------------------------------------