%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW470+5 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:51 EDT 2022 % Result : Timeout 286.47s 281.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : SWW470+5 : TPTP v8.1.0. Released v5.3.0. % 0.04/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n024.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Sat Jun 4 14:10:50 EDT 2022 % 0.14/0.36 % CPUTime : % 2.89/3.07 eprover: CPU time limit exceeded, terminating % 4.92/5.08 eprover: CPU time limit exceeded, terminating % 6.93/7.10 eprover: CPU time limit exceeded, terminating % 9.04/9.11 eprover: CPU time limit exceeded, terminating % 11.07/11.13 eprover: CPU time limit exceeded, terminating % 13.08/13.14 eprover: CPU time limit exceeded, terminating % 15.16/15.15 eprover: CPU time limit exceeded, terminating % 17.19/17.17 eprover: CPU time limit exceeded, terminating % 19.19/19.18 eprover: CPU time limit exceeded, terminating % 21.24/21.20 eprover: CPU time limit exceeded, terminating % 23.30/23.21 eprover: CPU time limit exceeded, terminating % 25.29/25.22 eprover: CPU time limit exceeded, terminating % 27.37/27.24 eprover: CPU time limit exceeded, terminating % 29.38/29.25 eprover: CPU time limit exceeded, terminating % 31.45/31.26 eprover: CPU time limit exceeded, terminating % 33.49/33.28 eprover: CPU time limit exceeded, terminating % 35.52/35.29 eprover: CPU time limit exceeded, terminating % 37.53/37.31 eprover: CPU time limit exceeded, terminating % 39.53/39.32 eprover: CPU time limit exceeded, terminating % 41.64/41.34 eprover: CPU time limit exceeded, terminating % 43.70/43.35 eprover: CPU time limit exceeded, terminating % 45.73/45.36 eprover: CPU time limit exceeded, terminating % 47.76/47.38 eprover: CPU time limit exceeded, terminating % 49.80/49.40 eprover: CPU time limit exceeded, terminating % 51.83/51.41 eprover: CPU time limit exceeded, terminating % 53.85/53.42 eprover: CPU time limit exceeded, terminating % 55.87/55.43 eprover: CPU time limit exceeded, terminating % 57.96/57.46 eprover: CPU time limit exceeded, terminating % 59.98/59.47 eprover: CPU time limit exceeded, terminating % 61.99/61.48 eprover: CPU time limit exceeded, terminating % 64.05/63.50 eprover: CPU time limit exceeded, terminating % 66.04/65.51 eprover: CPU time limit exceeded, terminating % 68.16/67.53 eprover: CPU time limit exceeded, terminating % 70.21/69.54 eprover: CPU time limit exceeded, terminating % 72.19/71.56 eprover: CPU time limit exceeded, terminating % 74.22/73.57 eprover: CPU time limit exceeded, terminating % 76.32/75.59 eprover: CPU time limit exceeded, terminating % 78.37/77.60 eprover: CPU time limit exceeded, terminating % 80.31/79.61 eprover: CPU time limit exceeded, terminating % 82.43/81.63 eprover: CPU time limit exceeded, terminating % 84.46/83.64 eprover: CPU time limit exceeded, terminating % 86.47/85.66 eprover: CPU time limit exceeded, terminating % 88.48/87.68 eprover: CPU time limit exceeded, terminating % 90.55/89.69 eprover: CPU time limit exceeded, terminating % 92.64/91.71 eprover: CPU time limit exceeded, terminating % 94.67/93.72 eprover: CPU time limit exceeded, terminating % 96.73/95.74 eprover: CPU time limit exceeded, terminating % 98.73/97.75 eprover: CPU time limit exceeded, terminating % 100.79/99.77 eprover: CPU time limit exceeded, terminating % 102.84/101.78 eprover: CPU time limit exceeded, terminating % 104.90/103.80 eprover: CPU time limit exceeded, terminating % 106.94/105.82 eprover: CPU time limit exceeded, terminating % 108.96/107.84 eprover: CPU time limit exceeded, terminating % 111.01/109.86 eprover: CPU time limit exceeded, terminating % 113.03/111.87 eprover: CPU time limit exceeded, terminating % 115.09/113.90 eprover: CPU time limit exceeded, terminating % 117.15/115.92 eprover: CPU time limit exceeded, terminating % 119.15/117.94 eprover: CPU time limit exceeded, terminating % 121.22/119.96 eprover: CPU time limit exceeded, terminating % 123.22/121.98 eprover: CPU time limit exceeded, terminating % 125.28/124.00 eprover: CPU time limit exceeded, terminating % 127.36/126.02 eprover: CPU time limit exceeded, terminating % 129.34/128.04 eprover: CPU time limit exceeded, terminating % 131.38/130.06 eprover: CPU time limit exceeded, terminating % 133.47/132.08 eprover: CPU time limit exceeded, terminating % 135.49/134.10 eprover: CPU time limit exceeded, terminating % 137.53/136.12 eprover: CPU time limit exceeded, terminating % 139.58/138.14 eprover: CPU time limit exceeded, terminating % 141.63/140.16 eprover: CPU time limit exceeded, terminating % 143.68/142.18 eprover: CPU time limit exceeded, terminating % 145.67/144.19 eprover: CPU time limit exceeded, terminating % 147.74/146.21 eprover: CPU time limit exceeded, terminating % 149.72/148.22 eprover: CPU time limit exceeded, terminating % 151.82/150.24 eprover: CPU time limit exceeded, terminating % 153.87/152.25 eprover: CPU time limit exceeded, terminating % 155.91/154.27 eprover: CPU time limit exceeded, terminating % 157.93/156.28 eprover: CPU time limit exceeded, terminating % 160.00/158.30 eprover: CPU time limit exceeded, terminating % 162.03/160.31 eprover: CPU time limit exceeded, terminating % 164.04/162.33 eprover: CPU time limit exceeded, terminating % 166.08/164.35 eprover: CPU time limit exceeded, terminating % 168.18/166.37 eprover: CPU time limit exceeded, terminating % 170.21/168.39 eprover: CPU time limit exceeded, terminating % 172.21/170.41 eprover: CPU time limit exceeded, terminating % 174.25/172.42 eprover: CPU time limit exceeded, terminating % 176.31/174.44 eprover: CPU time limit exceeded, terminating % 178.37/176.46 eprover: CPU time limit exceeded, terminating % 180.42/178.48 eprover: CPU time limit exceeded, terminating % 182.44/180.50 eprover: CPU time limit exceeded, terminating % 184.45/182.52 eprover: CPU time limit exceeded, terminating % 186.55/184.53 eprover: CPU time limit exceeded, terminating % 188.47/186.55 eprover: CPU time limit exceeded, terminating % 190.58/188.58 eprover: CPU time limit exceeded, terminating % 192.60/190.60 eprover: CPU time limit exceeded, terminating % 194.69/192.62 eprover: CPU time limit exceeded, terminating % 196.74/194.64 eprover: CPU time limit exceeded, terminating % 198.77/196.66 eprover: CPU time limit exceeded, terminating % 200.80/198.67 eprover: CPU time limit exceeded, terminating % 202.81/200.69 eprover: CPU time limit exceeded, terminating % 204.90/202.71 eprover: CPU time limit exceeded, terminating % 206.94/204.73 eprover: CPU time limit exceeded, terminating % 208.98/206.75 eprover: CPU time limit exceeded, terminating % 211.01/208.77 eprover: CPU time limit exceeded, terminating % 213.01/210.78 eprover: CPU time limit exceeded, terminating % 215.08/212.80 eprover: CPU time limit exceeded, terminating % 217.15/214.82 eprover: CPU time limit exceeded, terminating % 219.19/216.84 eprover: CPU time limit exceeded, terminating % 221.22/218.86 eprover: CPU time limit exceeded, terminating % 223.27/220.88 eprover: CPU time limit exceeded, terminating % 225.28/222.90 eprover: CPU time limit exceeded, terminating % 227.35/224.91 eprover: CPU time limit exceeded, terminating % 229.37/226.93 eprover: CPU time limit exceeded, terminating % 231.38/228.95 eprover: CPU time limit exceeded, terminating % 233.43/230.97 eprover: CPU time limit exceeded, terminating % 235.50/232.99 eprover: CPU time limit exceeded, terminating % 237.53/235.01 eprover: CPU time limit exceeded, terminating % 239.53/237.03 eprover: CPU time limit exceeded, terminating % 241.57/239.04 eprover: CPU time limit exceeded, terminating % 243.68/241.06 eprover: CPU time limit exceeded, terminating % 245.71/243.08 eprover: CPU time limit exceeded, terminating % 247.76/245.09 eprover: CPU time limit exceeded, terminating % 249.77/247.11 eprover: CPU time limit exceeded, terminating % 253.77/249.12 eprover: CPU time limit exceeded, terminating % 255.78/251.14 eprover: CPU time limit exceeded, terminating % 257.82/253.15 eprover: CPU time limit exceeded, terminating % 259.88/255.17 eprover: CPU time limit exceeded, terminating % 261.99/257.18 eprover: CPU time limit exceeded, terminating % 264.00/259.20 eprover: CPU time limit exceeded, terminating % 266.03/261.21 eprover: CPU time limit exceeded, terminating % 268.06/263.23 eprover: CPU time limit exceeded, terminating % 270.16/265.24 eprover: CPU time limit exceeded, terminating % 272.18/267.26 eprover: CPU time limit exceeded, terminating % 274.21/269.27 eprover: CPU time limit exceeded, terminating % 276.23/271.29 eprover: CPU time limit exceeded, terminating % 278.28/273.30 eprover: CPU time limit exceeded, terminating % 280.36/275.32 eprover: CPU time limit exceeded, terminating % 282.41/277.33 eprover: CPU time limit exceeded, terminating % 284.39/279.35 eprover: CPU time limit exceeded, terminating % 286.47/281.36 eprover: CPU time limit exceeded, terminating % 288.52/283.38 eprover: CPU time limit exceeded, terminating % 290.55/285.40 eprover: CPU time limit exceeded, terminating % 292.59/287.41 eprover: CPU time limit exceeded, terminating % 294.58/289.43 eprover: CPU time limit exceeded, terminating % 296.69/291.44 eprover: CPU time limit exceeded, terminating % 298.73/293.46 eprover: CPU time limit exceeded, terminating % 300.05/294.74 eprover: CPU time limit exceeded, terminating % 300.05/294.75 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------