%------------------------------------------------------------------------------ % File : ET---2.0 % Problem : CAT031+3 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_ET %s %d % Computer : n020.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Thu Jul 14 23:59:50 EDT 2022 % Result : Unknown 2.25s 304.14s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : CAT031+3 : TPTP v8.1.0. Released v3.4.0. % 0.12/0.13 % Command : run_ET %s %d % 0.13/0.34 % Computer : n020.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Mon May 30 00:07:40 EDT 2022 % 0.13/0.34 % CPUTime : % 0.92/23.98 eprover: CPU time limit exceeded, terminating % 0.92/23.99 eprover: CPU time limit exceeded, terminating % 0.92/23.99 eprover: eprover: CPU time limit exceeded, terminatingCPU time limit exceeded, terminating % 0.92/23.99 % 1.02/47.01 eprover: eprover: CPU time limit exceeded, terminating % 1.02/47.01 CPU time limit exceeded, terminating % 1.02/47.02 eprover: CPU time limit exceeded, terminating % 1.02/47.05 eprover: CPU time limit exceeded, terminating % 1.12/70.04 eprover: CPU time limit exceeded, terminating % 1.12/70.05 eprover: CPU time limit exceeded, terminating % 1.12/70.06 eprover: CPU time limit exceeded, terminating % 1.12/70.88 eprover: CPU time limit exceeded, terminating % 1.21/93.11 eprover: CPU time limit exceeded, terminating % 1.22/94.01 eprover: CPU time limit exceeded, terminating % 1.23/94.84 eprover: CPU time limit exceeded, terminating % 1.23/94.87 eprover: CPU time limit exceeded, terminating % 1.33/116.13 eprover: CPU time limit exceeded, terminating % 1.34/117.02 eprover: CPU time limit exceeded, terminating % 1.34/117.86 eprover: CPU time limit exceeded, terminating % 1.34/117.90 eprover: CPU time limit exceeded, terminating % 1.44/139.16 eprover: CPU time limit exceeded, terminating % 1.45/140.04 eprover: CPU time limit exceeded, terminating % 1.45/140.87 eprover: CPU time limit exceeded, terminating % 1.45/140.92 eprover: CPU time limit exceeded, terminating % 1.55/162.18 eprover: CPU time limit exceeded, terminating % 1.55/163.06 eprover: CPU time limit exceeded, terminating % 1.57/163.90 eprover: CPU time limit exceeded, terminating % 1.57/163.94 eprover: CPU time limit exceeded, terminating % 1.66/185.21 eprover: CPU time limit exceeded, terminating % 1.67/186.09 eprover: CPU time limit exceeded, terminating % 1.67/186.95 eprover: CPU time limit exceeded, terminating % 1.67/186.95 eprover: CPU time limit exceeded, terminating % 1.77/208.26 eprover: CPU time limit exceeded, terminating % 1.79/209.10 eprover: CPU time limit exceeded, terminating % 1.79/209.97 eprover: CPU time limit exceeded, terminating % 1.79/209.97 eprover: CPU time limit exceeded, terminating % 1.89/231.30 eprover: CPU time limit exceeded, terminating % 1.89/232.13 eprover: CPU time limit exceeded, terminating % 1.90/232.99 eprover: CPU time limit exceeded, terminating % 1.90/233.03 eprover: CPU time limit exceeded, terminating % 2.00/254.36 eprover: CPU time limit exceeded, terminating % 2.01/255.15 eprover: CPU time limit exceeded, terminating % 2.01/256.02 eprover: CPU time limit exceeded, terminating % 2.01/256.05 eprover: CPU time limit exceeded, terminating % 2.11/277.40 eprover: CPU time limit exceeded, terminating % 2.11/278.17 eprover: CPU time limit exceeded, terminating % 2.11/279.04 eprover: CPU time limit exceeded, terminating % 2.11/279.06 eprover: CPU time limit exceeded, terminating % 2.25/304.14 # SZS status GaveUp %------------------------------------------------------------------------------