%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM428+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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 : Mon Jul 18 10:36:47 EDT 2022 % Result : Unknown 237.89s 237.75s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : NUM428+1 : TPTP v8.1.0. Released v4.0.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n026.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 Jul 6 16:08:08 EDT 2022 % 0.12/0.33 % CPUTime : % 2.19/2.37 eprover: CPU time limit exceeded, terminating % 4.21/4.38 eprover: CPU time limit exceeded, terminating % 6.19/6.39 eprover: CPU time limit exceeded, terminating % 8.22/8.40 eprover: CPU time limit exceeded, terminating % 10.20/10.41 eprover: CPU time limit exceeded, terminating % 12.25/12.42 eprover: CPU time limit exceeded, terminating % 14.22/14.44 eprover: CPU time limit exceeded, terminating % 16.28/16.45 eprover: CPU time limit exceeded, terminating % 18.28/18.46 eprover: CPU time limit exceeded, terminating % 20.29/20.47 eprover: CPU time limit exceeded, terminating % 22.29/22.48 eprover: CPU time limit exceeded, terminating % 24.33/24.49 eprover: CPU time limit exceeded, terminating % 26.36/26.50 eprover: CPU time limit exceeded, terminating % 28.31/28.51 eprover: CPU time limit exceeded, terminating % 30.39/30.52 eprover: CPU time limit exceeded, terminating % 32.35/32.53 eprover: CPU time limit exceeded, terminating % 34.41/34.54 eprover: CPU time limit exceeded, terminating % 36.43/36.56 eprover: CPU time limit exceeded, terminating % 38.44/38.57 eprover: CPU time limit exceeded, terminating % 40.46/40.58 eprover: CPU time limit exceeded, terminating % 42.45/42.59 eprover: CPU time limit exceeded, terminating % 44.47/44.60 eprover: CPU time limit exceeded, terminating % 46.47/46.62 eprover: CPU time limit exceeded, terminating % 48.46/48.63 eprover: CPU time limit exceeded, terminating % 50.53/50.64 eprover: CPU time limit exceeded, terminating % 52.56/52.65 eprover: CPU time limit exceeded, terminating % 54.57/54.66 eprover: CPU time limit exceeded, terminating % 56.56/56.68 eprover: CPU time limit exceeded, terminating % 58.59/58.69 eprover: CPU time limit exceeded, terminating % 60.57/60.70 eprover: CPU time limit exceeded, terminating % 62.58/62.72 eprover: CPU time limit exceeded, terminating % 64.60/64.73 eprover: CPU time limit exceeded, terminating % 66.63/66.75 eprover: CPU time limit exceeded, terminating % 68.67/68.76 eprover: CPU time limit exceeded, terminating % 70.67/70.77 eprover: CPU time limit exceeded, terminating % 72.67/72.79 eprover: CPU time limit exceeded, terminating % 74.66/74.80 eprover: CPU time limit exceeded, terminating % 76.71/76.82 eprover: CPU time limit exceeded, terminating % 78.70/78.83 eprover: CPU time limit exceeded, terminating % 80.73/80.84 eprover: CPU time limit exceeded, terminating % 82.78/82.85 eprover: CPU time limit exceeded, terminating % 84.79/84.86 eprover: CPU time limit exceeded, terminating % 86.79/86.87 eprover: CPU time limit exceeded, terminating % 88.80/88.88 eprover: CPU time limit exceeded, terminating % 90.79/90.89 eprover: CPU time limit exceeded, terminating % 92.80/92.90 eprover: CPU time limit exceeded, terminating % 94.78/94.91 eprover: CPU time limit exceeded, terminating % 96.80/96.92 eprover: CPU time limit exceeded, terminating % 98.87/98.94 eprover: CPU time limit exceeded, terminating % 100.90/100.95 eprover: CPU time limit exceeded, terminating % 102.91/102.96 eprover: CPU time limit exceeded, terminating % 104.91/104.97 eprover: CPU time limit exceeded, terminating % 106.93/106.98 eprover: CPU time limit exceeded, terminating % 108.91/108.99 eprover: CPU time limit exceeded, terminating % 110.96/111.00 eprover: CPU time limit exceeded, terminating % 112.92/113.01 eprover: CPU time limit exceeded, terminating % 114.99/115.02 eprover: CPU time limit exceeded, terminating % 117.02/117.03 eprover: CPU time limit exceeded, terminating % 119.03/119.04 eprover: CPU time limit exceeded, terminating % 120.95/121.05 eprover: CPU time limit exceeded, terminating % 123.03/123.06 eprover: CPU time limit exceeded, terminating % 125.04/125.07 eprover: CPU time limit exceeded, terminating % 127.03/127.08 eprover: CPU time limit exceeded, terminating % 129.06/129.10 eprover: CPU time limit exceeded, terminating % 131.12/131.11 eprover: CPU time limit exceeded, terminating % 133.09/133.12 eprover: CPU time limit exceeded, terminating % 135.08/135.13 eprover: CPU time limit exceeded, terminating % 137.16/137.14 eprover: CPU time limit exceeded, terminating % 139.15/139.15 eprover: CPU time limit exceeded, terminating % 141.12/141.16 eprover: CPU time limit exceeded, terminating % 143.19/143.18 eprover: CPU time limit exceeded, terminating % 145.17/145.19 eprover: CPU time limit exceeded, terminating % 147.23/147.20 eprover: CPU time limit exceeded, terminating % 149.23/149.21 eprover: CPU time limit exceeded, terminating % 151.27/151.22 eprover: CPU time limit exceeded, terminating % 153.29/153.23 eprover: CPU time limit exceeded, terminating % 155.25/155.25 eprover: CPU time limit exceeded, terminating % 157.25/157.26 eprover: CPU time limit exceeded, terminating % 159.30/159.27 eprover: CPU time limit exceeded, terminating % 161.33/161.29 eprover: CPU time limit exceeded, terminating % 163.34/163.30 eprover: CPU time limit exceeded, terminating % 165.38/165.31 eprover: CPU time limit exceeded, terminating % 167.35/167.32 eprover: CPU time limit exceeded, terminating % 169.38/169.33 eprover: CPU time limit exceeded, terminating % 171.38/171.35 eprover: CPU time limit exceeded, terminating % 173.41/173.36 eprover: CPU time limit exceeded, terminating % 175.45/175.37 eprover: CPU time limit exceeded, terminating % 177.41/177.38 eprover: CPU time limit exceeded, terminating % 179.48/179.39 eprover: CPU time limit exceeded, terminating % 181.48/181.40 eprover: CPU time limit exceeded, terminating % 183.47/183.42 eprover: CPU time limit exceeded, terminating % 185.53/185.43 eprover: CPU time limit exceeded, terminating % 187.50/187.44 eprover: CPU time limit exceeded, terminating % 189.55/189.45 eprover: CPU time limit exceeded, terminating % 191.52/191.46 eprover: CPU time limit exceeded, terminating % 193.56/193.47 eprover: CPU time limit exceeded, terminating % 195.58/195.49 eprover: CPU time limit exceeded, terminating % 197.55/197.50 eprover: CPU time limit exceeded, terminating % 199.56/199.51 eprover: CPU time limit exceeded, terminating % 201.62/201.52 eprover: CPU time limit exceeded, terminating % 203.63/203.53 eprover: CPU time limit exceeded, terminating % 205.66/205.54 eprover: CPU time limit exceeded, terminating % 207.62/207.55 eprover: CPU time limit exceeded, terminating % 209.70/209.56 eprover: CPU time limit exceeded, terminating % 211.64/211.57 eprover: CPU time limit exceeded, terminating % 213.70/213.58 eprover: CPU time limit exceeded, terminating % 215.72/215.60 eprover: CPU time limit exceeded, terminating % 217.68/217.61 eprover: CPU time limit exceeded, terminating % 219.72/219.62 eprover: CPU time limit exceeded, terminating % 221.78/221.63 eprover: CPU time limit exceeded, terminating % 223.72/223.64 eprover: CPU time limit exceeded, terminating % 225.80/225.65 eprover: CPU time limit exceeded, terminating % 227.73/227.67 eprover: CPU time limit exceeded, terminating % 229.84/229.68 eprover: CPU time limit exceeded, terminating % 231.79/231.69 eprover: CPU time limit exceeded, terminating % 233.88/233.70 eprover: CPU time limit exceeded, terminating % 235.88/235.71 eprover: CPU time limit exceeded, terminating % 237.89/237.72 eprover: CPU time limit exceeded, terminating % 237.89/237.74 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory) % 237.89/237.75 Infinox, version 1.0, 2009-07-20. % 237.89/237.75 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p % 237.89/237.75 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK % 237.89/237.75 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p % 237.89/237.75 InjNotSurj % 237.89/237.75 SurjNotInj % 237.89/237.75 Serial % 237.89/237.75 Trans % 237.89/237.75 Auto %------------------------------------------------------------------------------