%------------------------------------------------------------------------------ % File : SETHEO---3.3 % Problem : SWW446-1 : TPTP v5.2.0. Released v5.2.0. % Transfm : add_equality % Format : setheo % Command : setheo-wrapper %s % Computer : art10.cs.miami.edu % Model : i686 i686 % CPU : Intel(R) Pentium(R) 4 CPU 3.00GHz @ 3000MHz % Memory : 2005MB % OS : Linux 2.6.32.26-175.fc12.i686.PAE % CPULimit : 300s % DateTime : Sat Apr 30 02:57:15 EDT 2011 % 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 % /tmp/SystemOnTPTP12461/SWW SWW446-1+eq_rstfp /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp % MUST DELETE /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.hex % MUST DELETE /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.log % MUST DELETE /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.tree % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % Non-fatal error : Unknown built-in in line 0 % parsing: 50 errors occurred % Error: Too many errors during parsing. Cannot continue. % inwasm V4.02b [wasm-less] Copyright TU Munich 1998 (03/30/98) % Command line: /home/graph/tptp/Systems/SETHEO---3.3/setheo.linux/inwasm -cons -foldup /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp % Parsing input-file. % inwasm error: inspect input file /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.lop % Delete /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.hex /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.log /tmp/SystemOnTPTP12461/SWW/SWW446-1+eq_rstfp.tree % That's all folks % %------------------------------------------------------------------------------