%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC344-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n010.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 20:47:52 EDT 2022 % Result : Timeout 287.12s 285.94s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWC344-1 : TPTP v8.1.0. Released v2.4.0. % 0.07/0.13 % Command : run_infinox %s % 0.14/0.34 % Computer : n010.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % WCLimit : 600 % 0.14/0.34 % DateTime : Sat Jun 11 20:02:40 EDT 2022 % 0.14/0.34 % CPUTime : % 2.39/2.56 eprover: CPU time limit exceeded, terminating % 4.40/4.57 eprover: CPU time limit exceeded, terminating % 6.38/6.58 eprover: CPU time limit exceeded, terminating % 8.45/8.58 eprover: CPU time limit exceeded, terminating % 10.40/10.59 eprover: CPU time limit exceeded, terminating % 12.47/12.60 eprover: CPU time limit exceeded, terminating % 14.44/14.61 eprover: CPU time limit exceeded, terminating % 16.49/16.62 eprover: CPU time limit exceeded, terminating % 18.55/18.63 eprover: CPU time limit exceeded, terminating % 20.57/20.64 eprover: CPU time limit exceeded, terminating % 22.60/22.65 eprover: CPU time limit exceeded, terminating % 24.54/24.66 eprover: CPU time limit exceeded, terminating % 26.60/26.67 eprover: CPU time limit exceeded, terminating % 28.63/28.68 eprover: CPU time limit exceeded, terminating % 30.61/30.69 eprover: CPU time limit exceeded, terminating % 32.69/32.70 eprover: CPU time limit exceeded, terminating % 34.64/34.71 eprover: CPU time limit exceeded, terminating % 36.72/36.72 eprover: CPU time limit exceeded, terminating % 38.76/38.73 eprover: CPU time limit exceeded, terminating % 40.77/40.74 eprover: CPU time limit exceeded, terminating % 42.77/42.75 eprover: CPU time limit exceeded, terminating % 44.74/44.76 eprover: CPU time limit exceeded, terminating % 46.83/46.77 eprover: CPU time limit exceeded, terminating % 48.85/48.78 eprover: CPU time limit exceeded, terminating % 50.84/50.79 eprover: CPU time limit exceeded, terminating % 52.88/52.80 eprover: CPU time limit exceeded, terminating % 54.86/54.80 eprover: CPU time limit exceeded, terminating % 56.91/56.81 eprover: CPU time limit exceeded, terminating % 58.87/58.82 eprover: CPU time limit exceeded, terminating % 60.96/60.83 eprover: CPU time limit exceeded, terminating % 62.99/62.84 eprover: CPU time limit exceeded, terminating % 65.00/64.85 eprover: CPU time limit exceeded, terminating % 67.03/66.86 eprover: CPU time limit exceeded, terminating % 69.06/68.87 eprover: CPU time limit exceeded, terminating % 71.06/70.88 eprover: CPU time limit exceeded, terminating % 73.11/72.89 eprover: CPU time limit exceeded, terminating % 75.12/74.90 eprover: CPU time limit exceeded, terminating % 77.13/76.91 eprover: CPU time limit exceeded, terminating % 79.16/78.92 eprover: CPU time limit exceeded, terminating % 81.16/80.93 eprover: CPU time limit exceeded, terminating % 83.20/82.94 eprover: CPU time limit exceeded, terminating % 85.21/84.96 eprover: CPU time limit exceeded, terminating % 87.25/86.97 eprover: CPU time limit exceeded, terminating % 89.25/88.98 eprover: CPU time limit exceeded, terminating % 91.26/90.99 eprover: CPU time limit exceeded, terminating % 93.28/93.00 eprover: CPU time limit exceeded, terminating % 95.32/95.01 eprover: CPU time limit exceeded, terminating % 97.32/97.02 eprover: CPU time limit exceeded, terminating % 99.36/99.02 eprover: CPU time limit exceeded, terminating % 101.34/101.03 eprover: CPU time limit exceeded, terminating % 103.39/103.04 eprover: CPU time limit exceeded, terminating % 105.43/105.05 eprover: CPU time limit exceeded, terminating % 107.44/107.06 eprover: CPU time limit exceeded, terminating % 109.43/109.07 eprover: CPU time limit exceeded, terminating % 111.47/111.08 eprover: CPU time limit exceeded, terminating % 113.50/113.09 eprover: CPU time limit exceeded, terminating % 115.52/115.10 eprover: CPU time limit exceeded, terminating % 117.54/117.11 eprover: CPU time limit exceeded, terminating % 119.55/119.12 eprover: CPU time limit exceeded, terminating % 121.56/121.13 eprover: CPU time limit exceeded, terminating % 123.58/123.14 eprover: CPU time limit exceeded, terminating % 125.63/125.15 eprover: CPU time limit exceeded, terminating % 127.61/127.16 eprover: CPU time limit exceeded, terminating % 129.65/129.17 eprover: CPU time limit exceeded, terminating % 131.70/131.18 eprover: CPU time limit exceeded, terminating % 133.71/133.19 eprover: CPU time limit exceeded, terminating % 135.71/135.20 eprover: CPU time limit exceeded, terminating % 137.75/137.21 eprover: CPU time limit exceeded, terminating % 139.77/139.22 eprover: CPU time limit exceeded, terminating % 141.78/141.23 eprover: CPU time limit exceeded, terminating % 143.79/143.24 eprover: CPU time limit exceeded, terminating % 145.84/145.25 eprover: CPU time limit exceeded, terminating % 147.83/147.26 eprover: CPU time limit exceeded, terminating % 149.85/149.27 eprover: CPU time limit exceeded, terminating % 151.90/151.28 eprover: CPU time limit exceeded, terminating % 153.87/153.29 eprover: CPU time limit exceeded, terminating % 155.92/155.30 eprover: CPU time limit exceeded, terminating % 157.96/157.31 eprover: CPU time limit exceeded, terminating % 159.96/159.32 eprover: CPU time limit exceeded, terminating % 161.98/161.33 eprover: CPU time limit exceeded, terminating % 163.97/163.34 eprover: CPU time limit exceeded, terminating % 166.04/165.35 eprover: CPU time limit exceeded, terminating % 168.00/167.35 eprover: CPU time limit exceeded, terminating % 170.05/169.36 eprover: CPU time limit exceeded, terminating % 172.10/171.37 eprover: CPU time limit exceeded, terminating % 174.05/173.38 eprover: CPU time limit exceeded, terminating % 176.14/175.39 eprover: CPU time limit exceeded, terminating % 178.15/177.40 eprover: CPU time limit exceeded, terminating % 180.16/179.41 eprover: CPU time limit exceeded, terminating % 182.20/181.42 eprover: CPU time limit exceeded, terminating % 184.18/183.43 eprover: CPU time limit exceeded, terminating % 186.25/185.44 eprover: CPU time limit exceeded, terminating % 188.23/187.45 eprover: CPU time limit exceeded, terminating % 190.28/189.46 eprover: CPU time limit exceeded, terminating % 192.30/191.47 eprover: CPU time limit exceeded, terminating % 194.26/193.48 eprover: CPU time limit exceeded, terminating % 196.36/195.49 eprover: CPU time limit exceeded, terminating % 198.30/197.50 eprover: CPU time limit exceeded, terminating % 200.37/199.51 eprover: CPU time limit exceeded, terminating % 202.40/201.52 eprover: CPU time limit exceeded, terminating % 204.43/203.53 eprover: CPU time limit exceeded, terminating % 206.40/205.55 eprover: CPU time limit exceeded, terminating % 208.39/207.56 eprover: CPU time limit exceeded, terminating % 210.42/209.57 eprover: CPU time limit exceeded, terminating % 212.50/211.58 eprover: CPU time limit exceeded, terminating % 214.46/213.58 eprover: CPU time limit exceeded, terminating % 216.48/215.59 eprover: CPU time limit exceeded, terminating % 218.48/217.60 eprover: CPU time limit exceeded, terminating % 220.53/219.60 eprover: CPU time limit exceeded, terminating % 222.57/221.61 eprover: CPU time limit exceeded, terminating % 224.56/223.63 eprover: CPU time limit exceeded, terminating % 226.60/225.63 eprover: CPU time limit exceeded, terminating % 228.58/227.64 eprover: CPU time limit exceeded, terminating % 230.61/229.65 eprover: CPU time limit exceeded, terminating % 232.59/231.66 eprover: CPU time limit exceeded, terminating % 234.65/233.67 eprover: CPU time limit exceeded, terminating % 236.61/235.68 eprover: CPU time limit exceeded, terminating % 238.65/237.69 eprover: CPU time limit exceeded, terminating % 240.65/239.70 eprover: CPU time limit exceeded, terminating % 242.74/241.70 eprover: CPU time limit exceeded, terminating % 244.77/243.71 eprover: CPU time limit exceeded, terminating % 246.75/245.72 eprover: CPU time limit exceeded, terminating % 248.74/247.73 eprover: CPU time limit exceeded, terminating % 250.76/249.74 eprover: CPU time limit exceeded, terminating % 252.78/251.75 eprover: CPU time limit exceeded, terminating % 254.78/253.76 eprover: CPU time limit exceeded, terminating % 256.78/255.77 eprover: CPU time limit exceeded, terminating % 258.88/257.78 eprover: CPU time limit exceeded, terminating % 260.90/259.79 eprover: CPU time limit exceeded, terminating % 262.90/261.80 eprover: CPU time limit exceeded, terminating % 264.91/263.81 eprover: CPU time limit exceeded, terminating % 266.95/265.82 eprover: CPU time limit exceeded, terminating % 268.96/267.83 eprover: CPU time limit exceeded, terminating % 270.97/269.84 eprover: CPU time limit exceeded, terminating % 272.98/271.85 eprover: CPU time limit exceeded, terminating % 275.01/273.86 eprover: CPU time limit exceeded, terminating % 276.99/275.88 eprover: CPU time limit exceeded, terminating % 279.08/277.89 eprover: CPU time limit exceeded, terminating % 281.10/279.90 eprover: CPU time limit exceeded, terminating % 283.11/281.91 eprover: CPU time limit exceeded, terminating % 285.11/283.92 eprover: CPU time limit exceeded, terminating % 287.12/285.94 eprover: CPU time limit exceeded, terminating % 289.13/287.95 eprover: CPU time limit exceeded, terminating % 291.13/289.96 eprover: CPU time limit exceeded, terminating % 293.16/291.97 eprover: CPU time limit exceeded, terminating % 295.14/293.98 eprover: CPU time limit exceeded, terminating % 297.21/295.99 eprover: CPU time limit exceeded, terminating % 299.26/298.00 eprover: CPU time limit exceeded, terminating % 300.03/298.73 eprover: CPU time limit exceeded, terminating % 300.03/298.74 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------