TSTP Solution File: CSR049-10 by Isabelle-HOT---2016
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Isabelle-HOT---2016
% Problem : :
% Transfm : none
% Format : tptp
% Command :
% Computer : ------ ------
% Model : Unavailable
% CPU : Unavailable
% Memory : Unavailable
% OS : Unavailable
% CPULimit : s
% DateTime : Sun Mar 21 12:57:45 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_Isabelle-HOT---2016 /export/starexec/sandbox/benchmark/theBenchmark.p /export/starexec/sandbox/output/output_files
% 0.00/0.00
%------------------------------------------------------------------------------