%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW367+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n022.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 21 00:24:41 EDT 2022 % Result : Timeout 286.04s 244.24s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.13 % Problem : SWW367+1 : TPTP v8.1.0. Released v5.2.0. % 0.04/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n022.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Sat Jun 4 10:18:36 EDT 2022 % 0.13/0.35 % CPUTime : % 54.88/54.64 eprover: CPU time limit exceeded, terminating % 57.39/56.65 eprover: CPU time limit exceeded, terminating % 59.84/58.67 eprover: CPU time limit exceeded, terminating % 62.27/60.69 eprover: CPU time limit exceeded, terminating % 64.70/62.71 eprover: CPU time limit exceeded, terminating % 67.20/64.72 eprover: CPU time limit exceeded, terminating % 69.67/66.74 eprover: CPU time limit exceeded, terminating % 72.16/68.76 eprover: CPU time limit exceeded, terminating % 74.64/70.78 eprover: CPU time limit exceeded, terminating % 77.12/72.79 eprover: CPU time limit exceeded, terminating % 79.55/74.81 eprover: CPU time limit exceeded, terminating % 82.08/76.83 eprover: CPU time limit exceeded, terminating % 84.56/78.85 eprover: CPU time limit exceeded, terminating % 86.99/80.87 eprover: CPU time limit exceeded, terminating % 89.45/82.88 eprover: CPU time limit exceeded, terminating % 91.93/84.90 eprover: CPU time limit exceeded, terminating % 94.39/86.92 eprover: CPU time limit exceeded, terminating % 96.84/88.94 eprover: CPU time limit exceeded, terminating % 99.21/90.96 eprover: CPU time limit exceeded, terminating % 101.75/92.97 eprover: CPU time limit exceeded, terminating % 104.18/94.99 eprover: CPU time limit exceeded, terminating % 106.66/97.01 eprover: CPU time limit exceeded, terminating % 109.08/99.02 eprover: CPU time limit exceeded, terminating % 111.59/101.04 eprover: CPU time limit exceeded, terminating % 114.05/103.06 eprover: CPU time limit exceeded, terminating % 116.49/105.08 eprover: CPU time limit exceeded, terminating % 118.97/107.09 eprover: CPU time limit exceeded, terminating % 121.37/109.11 eprover: CPU time limit exceeded, terminating % 123.81/111.13 eprover: CPU time limit exceeded, terminating % 126.36/113.15 eprover: CPU time limit exceeded, terminating % 128.82/115.17 eprover: CPU time limit exceeded, terminating % 131.24/117.18 eprover: CPU time limit exceeded, terminating % 133.73/119.20 eprover: CPU time limit exceeded, terminating % 136.19/121.22 eprover: CPU time limit exceeded, terminating % 138.65/123.23 eprover: CPU time limit exceeded, terminating % 141.09/125.25 eprover: CPU time limit exceeded, terminating % 143.57/127.27 eprover: CPU time limit exceeded, terminating % 145.96/129.28 eprover: CPU time limit exceeded, terminating % 148.44/131.30 eprover: CPU time limit exceeded, terminating % 150.86/133.32 eprover: CPU time limit exceeded, terminating % 153.39/135.34 eprover: CPU time limit exceeded, terminating % 155.83/137.36 eprover: CPU time limit exceeded, terminating % 158.29/139.38 eprover: CPU time limit exceeded, terminating % 160.73/141.39 eprover: CPU time limit exceeded, terminating % 163.17/143.41 eprover: CPU time limit exceeded, terminating % 165.67/145.43 eprover: CPU time limit exceeded, terminating % 168.09/147.44 eprover: CPU time limit exceeded, terminating % 170.53/149.46 eprover: CPU time limit exceeded, terminating % 173.02/151.48 eprover: CPU time limit exceeded, terminating % 175.45/153.50 eprover: CPU time limit exceeded, terminating % 177.97/155.52 eprover: CPU time limit exceeded, terminating % 180.38/157.53 eprover: CPU time limit exceeded, terminating % 182.86/159.55 eprover: CPU time limit exceeded, terminating % 185.29/161.57 eprover: CPU time limit exceeded, terminating % 187.72/163.58 eprover: CPU time limit exceeded, terminating % 190.12/165.59 eprover: CPU time limit exceeded, terminating % 192.67/167.61 eprover: CPU time limit exceeded, terminating % 195.07/169.62 eprover: CPU time limit exceeded, terminating % 197.58/171.64 eprover: CPU time limit exceeded, terminating % 200.00/173.65 eprover: CPU time limit exceeded, terminating % 202.45/175.67 eprover: CPU time limit exceeded, terminating % 204.87/177.69 eprover: CPU time limit exceeded, terminating % 207.29/179.70 eprover: CPU time limit exceeded, terminating % 209.75/181.71 eprover: CPU time limit exceeded, terminating % 212.25/183.73 eprover: CPU time limit exceeded, terminating % 214.74/185.75 eprover: CPU time limit exceeded, terminating % 217.21/187.76 eprover: CPU time limit exceeded, terminating % 219.65/189.78 eprover: CPU time limit exceeded, terminating % 222.13/191.80 eprover: CPU time limit exceeded, terminating % 224.58/193.82 eprover: CPU time limit exceeded, terminating % 227.02/195.83 eprover: CPU time limit exceeded, terminating % 229.49/197.85 eprover: CPU time limit exceeded, terminating % 232.01/199.87 eprover: CPU time limit exceeded, terminating % 234.44/201.89 eprover: CPU time limit exceeded, terminating % 236.86/203.90 eprover: CPU time limit exceeded, terminating % 239.33/205.92 eprover: CPU time limit exceeded, terminating % 241.85/207.94 eprover: CPU time limit exceeded, terminating % 244.28/209.95 eprover: CPU time limit exceeded, terminating % 246.76/211.97 eprover: CPU time limit exceeded, terminating % 249.23/213.99 eprover: CPU time limit exceeded, terminating % 251.67/216.01 eprover: CPU time limit exceeded, terminating % 254.12/218.03 eprover: CPU time limit exceeded, terminating % 256.61/220.04 eprover: CPU time limit exceeded, terminating % 259.08/222.06 eprover: CPU time limit exceeded, terminating % 261.53/224.07 eprover: CPU time limit exceeded, terminating % 263.98/226.09 eprover: CPU time limit exceeded, terminating % 266.41/228.10 eprover: CPU time limit exceeded, terminating % 268.85/230.12 eprover: CPU time limit exceeded, terminating % 271.30/232.14 eprover: CPU time limit exceeded, terminating % 273.81/234.15 eprover: CPU time limit exceeded, terminating % 276.25/236.17 eprover: CPU time limit exceeded, terminating % 278.69/238.19 eprover: CPU time limit exceeded, terminating % 281.17/240.20 eprover: CPU time limit exceeded, terminating % 283.62/242.22 eprover: CPU time limit exceeded, terminating % 286.04/244.24 eprover: CPU time limit exceeded, terminating % 288.53/246.25 eprover: CPU time limit exceeded, terminating % 290.98/248.27 eprover: CPU time limit exceeded, terminating % 293.44/250.29 eprover: CPU time limit exceeded, terminating % 295.89/252.31 eprover: CPU time limit exceeded, terminating % 298.32/254.32 eprover: CPU time limit exceeded, terminating % 300.07/255.56 eprover: CPU time limit exceeded, terminating % 300.07/255.58 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------