%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB020-10 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % 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 : Tue Jul 19 19:04:36 EDT 2022 % Result : Unknown 254.20s 253.45s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB020-10 : TPTP v8.1.0. Released v7.3.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n020.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Wed Jun 1 09:29:23 EDT 2022 % 0.12/0.33 % CPUTime : % 5.83/6.05 eprover: CPU time limit exceeded, terminating % 7.81/8.06 eprover: CPU time limit exceeded, terminating % 11.12/11.28 eprover: CPU time limit exceeded, terminating % 13.06/13.29 eprover: CPU time limit exceeded, terminating % 15.15/15.30 eprover: CPU time limit exceeded, terminating % 17.16/17.31 eprover: CPU time limit exceeded, terminating % 19.11/19.32 eprover: CPU time limit exceeded, terminating % 21.17/21.32 eprover: CPU time limit exceeded, terminating % 37.76/37.79 eprover: CPU time limit exceeded, terminating % 43.21/43.25 eprover: CPU time limit exceeded, terminating % 45.19/45.26 eprover: CPU time limit exceeded, terminating % 51.22/51.20 eprover: CPU time limit exceeded, terminating % 59.04/59.00 eprover: CPU time limit exceeded, terminating % 61.07/61.01 eprover: CPU time limit exceeded, terminating % 63.06/63.02 eprover: CPU time limit exceeded, terminating % 67.81/67.75 eprover: CPU time limit exceeded, terminating % 69.81/69.76 eprover: CPU time limit exceeded, terminating % 72.70/72.60 eprover: CPU time limit exceeded, terminating % 74.71/74.61 eprover: CPU time limit exceeded, terminating % 76.74/76.63 eprover: CPU time limit exceeded, terminating % 78.74/78.64 eprover: CPU time limit exceeded, terminating % 81.84/81.70 eprover: CPU time limit exceeded, terminating % 83.84/83.71 eprover: CPU time limit exceeded, terminating % 85.85/85.72 eprover: CPU time limit exceeded, terminating % 87.87/87.73 eprover: CPU time limit exceeded, terminating % 89.85/89.75 eprover: CPU time limit exceeded, terminating % 92.86/92.71 eprover: CPU time limit exceeded, terminating % 94.89/94.72 eprover: CPU time limit exceeded, terminating % 96.88/96.73 eprover: CPU time limit exceeded, terminating % 122.83/122.53 eprover: CPU time limit exceeded, terminating % 125.64/125.33 eprover: CPU time limit exceeded, terminating % 127.66/127.34 eprover: CPU time limit exceeded, terminating % 130.44/130.14 eprover: CPU time limit exceeded, terminating % 134.19/133.88 eprover: CPU time limit exceeded, terminating % 137.07/136.70 eprover: CPU time limit exceeded, terminating % 156.37/155.93 eprover: CPU time limit exceeded, terminating % 158.40/157.94 eprover: CPU time limit exceeded, terminating % 160.37/159.95 eprover: CPU time limit exceeded, terminating % 162.39/161.96 eprover: CPU time limit exceeded, terminating % 164.40/163.97 eprover: CPU time limit exceeded, terminating % 166.40/165.99 eprover: CPU time limit exceeded, terminating % 168.49/168.00 eprover: CPU time limit exceeded, terminating % 170.50/170.01 eprover: CPU time limit exceeded, terminating % 173.92/173.41 eprover: CPU time limit exceeded, terminating % 185.38/184.84 eprover: CPU time limit exceeded, terminating % 187.36/186.85 eprover: CPU time limit exceeded, terminating % 190.46/189.90 eprover: CPU time limit exceeded, terminating % 192.46/191.90 eprover: CPU time limit exceeded, terminating % 194.49/193.91 eprover: CPU time limit exceeded, terminating % 196.50/195.92 eprover: CPU time limit exceeded, terminating % 203.69/203.08 eprover: CPU time limit exceeded, terminating % 208.93/208.36 eprover: CPU time limit exceeded, terminating % 222.39/221.77 eprover: CPU time limit exceeded, terminating % 224.40/223.77 eprover: CPU time limit exceeded, terminating % 227.90/227.27 eprover: CPU time limit exceeded, terminating % 229.91/229.28 eprover: CPU time limit exceeded, terminating % 231.93/231.29 eprover: CPU time limit exceeded, terminating % 234.01/233.30 eprover: CPU time limit exceeded, terminating % 236.01/235.30 eprover: CPU time limit exceeded, terminating % 238.02/237.31 eprover: CPU time limit exceeded, terminating % 254.20/253.44 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 254.20/253.45 Infinox, version 1.0, 2009-07-20. % 254.20/253.45 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p % 254.20/253.45 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK % 254.20/253.45 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p % 254.20/253.45 InjNotSurj % 254.20/253.45 SurjNotInj % 254.20/253.45 Serial % 254.20/253.45 Trans % 254.20/253.45 Auto %------------------------------------------------------------------------------