%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV483+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n008.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 : Wed Jul 20 18:50:14 EDT 2022 % Result : Timeout 286.08s 284.90s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWV483+1 : TPTP v8.1.0. Released v4.0.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n008.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Wed Jun 15 10:58:07 EDT 2022 % 0.13/0.34 % CPUTime : % 3.04/3.25 eprover: CPU time limit exceeded, terminating % 5.03/5.26 eprover: CPU time limit exceeded, terminating % 7.03/7.27 eprover: CPU time limit exceeded, terminating % 9.06/9.28 eprover: CPU time limit exceeded, terminating % 11.07/11.29 eprover: CPU time limit exceeded, terminating % 13.08/13.30 eprover: CPU time limit exceeded, terminating % 15.17/15.31 eprover: CPU time limit exceeded, terminating % 17.21/17.32 eprover: CPU time limit exceeded, terminating % 19.23/19.33 eprover: CPU time limit exceeded, terminating % 21.20/21.34 eprover: CPU time limit exceeded, terminating % 23.26/23.36 eprover: CPU time limit exceeded, terminating % 25.23/25.37 eprover: CPU time limit exceeded, terminating % 27.28/27.38 eprover: CPU time limit exceeded, terminating % 29.33/29.39 eprover: CPU time limit exceeded, terminating % 31.34/31.40 eprover: CPU time limit exceeded, terminating % 33.27/33.41 eprover: CPU time limit exceeded, terminating % 35.40/35.42 eprover: CPU time limit exceeded, terminating % 37.38/37.44 eprover: CPU time limit exceeded, terminating % 39.39/39.45 eprover: CPU time limit exceeded, terminating % 41.44/41.46 eprover: CPU time limit exceeded, terminating % 43.42/43.47 eprover: CPU time limit exceeded, terminating % 45.45/45.48 eprover: CPU time limit exceeded, terminating % 47.46/47.50 eprover: CPU time limit exceeded, terminating % 49.54/49.51 eprover: CPU time limit exceeded, terminating % 51.57/51.52 eprover: CPU time limit exceeded, terminating % 53.56/53.53 eprover: CPU time limit exceeded, terminating % 55.56/55.54 eprover: CPU time limit exceeded, terminating % 57.59/57.56 eprover: CPU time limit exceeded, terminating % 59.60/59.57 eprover: CPU time limit exceeded, terminating % 61.69/61.58 eprover: CPU time limit exceeded, terminating % 63.64/63.59 eprover: CPU time limit exceeded, terminating % 65.66/65.61 eprover: CPU time limit exceeded, terminating % 67.74/67.62 eprover: CPU time limit exceeded, terminating % 69.77/69.63 eprover: CPU time limit exceeded, terminating % 71.77/71.64 eprover: CPU time limit exceeded, terminating % 73.76/73.66 eprover: CPU time limit exceeded, terminating % 75.76/75.67 eprover: CPU time limit exceeded, terminating % 77.81/77.68 eprover: CPU time limit exceeded, terminating % 79.88/79.69 eprover: CPU time limit exceeded, terminating % 81.83/81.70 eprover: CPU time limit exceeded, terminating % 83.90/83.72 eprover: CPU time limit exceeded, terminating % 85.93/85.73 eprover: CPU time limit exceeded, terminating % 87.91/87.74 eprover: CPU time limit exceeded, terminating % 89.98/89.75 eprover: CPU time limit exceeded, terminating % 91.96/91.76 eprover: CPU time limit exceeded, terminating % 94.02/93.78 eprover: CPU time limit exceeded, terminating % 95.98/95.79 eprover: CPU time limit exceeded, terminating % 98.04/97.80 eprover: CPU time limit exceeded, terminating % 100.10/99.81 eprover: CPU time limit exceeded, terminating % 102.05/101.83 eprover: CPU time limit exceeded, terminating % 104.10/103.84 eprover: CPU time limit exceeded, terminating % 106.16/105.85 eprover: CPU time limit exceeded, terminating % 108.18/107.86 eprover: CPU time limit exceeded, terminating % 110.19/109.88 eprover: CPU time limit exceeded, terminating % 112.22/111.89 eprover: CPU time limit exceeded, terminating % 114.20/113.90 eprover: CPU time limit exceeded, terminating % 116.29/115.91 eprover: CPU time limit exceeded, terminating % 118.24/117.93 eprover: CPU time limit exceeded, terminating % 120.31/119.94 eprover: CPU time limit exceeded, terminating % 122.32/121.95 eprover: CPU time limit exceeded, terminating % 124.33/123.96 eprover: CPU time limit exceeded, terminating % 126.36/125.97 eprover: CPU time limit exceeded, terminating % 128.41/127.99 eprover: CPU time limit exceeded, terminating % 130.46/130.00 eprover: CPU time limit exceeded, terminating % 132.41/132.01 eprover: CPU time limit exceeded, terminating % 134.49/134.02 eprover: CPU time limit exceeded, terminating % 136.46/136.03 eprover: CPU time limit exceeded, terminating % 138.47/138.05 eprover: CPU time limit exceeded, terminating % 140.51/140.06 eprover: CPU time limit exceeded, terminating % 142.57/142.07 eprover: CPU time limit exceeded, terminating % 144.55/144.08 eprover: CPU time limit exceeded, terminating % 146.55/146.10 eprover: CPU time limit exceeded, terminating % 148.64/148.11 eprover: CPU time limit exceeded, terminating % 150.59/150.12 eprover: CPU time limit exceeded, terminating % 152.67/152.13 eprover: CPU time limit exceeded, terminating % 154.71/154.14 eprover: CPU time limit exceeded, terminating % 156.70/156.16 eprover: CPU time limit exceeded, terminating % 158.74/158.17 eprover: CPU time limit exceeded, terminating % 160.72/160.18 eprover: CPU time limit exceeded, terminating % 162.79/162.19 eprover: CPU time limit exceeded, terminating % 164.76/164.20 eprover: CPU time limit exceeded, terminating % 166.77/166.22 eprover: CPU time limit exceeded, terminating % 168.82/168.23 eprover: CPU time limit exceeded, terminating % 170.88/170.24 eprover: CPU time limit exceeded, terminating % 172.86/172.25 eprover: CPU time limit exceeded, terminating % 174.88/174.27 eprover: CPU time limit exceeded, terminating % 176.91/176.28 eprover: CPU time limit exceeded, terminating % 178.99/178.29 eprover: CPU time limit exceeded, terminating % 180.98/180.30 eprover: CPU time limit exceeded, terminating % 183.02/182.31 eprover: CPU time limit exceeded, terminating % 185.05/184.33 eprover: CPU time limit exceeded, terminating % 187.06/186.34 eprover: CPU time limit exceeded, terminating % 189.05/188.35 eprover: CPU time limit exceeded, terminating % 191.03/190.36 eprover: CPU time limit exceeded, terminating % 193.05/192.38 eprover: CPU time limit exceeded, terminating % 195.16/194.39 eprover: CPU time limit exceeded, terminating % 197.18/196.40 eprover: CPU time limit exceeded, terminating % 199.19/198.41 eprover: CPU time limit exceeded, terminating % 201.24/200.42 eprover: CPU time limit exceeded, terminating % 203.22/202.44 eprover: CPU time limit exceeded, terminating % 205.21/204.45 eprover: CPU time limit exceeded, terminating % 207.23/206.46 eprover: CPU time limit exceeded, terminating % 209.27/208.47 eprover: CPU time limit exceeded, terminating % 211.27/210.48 eprover: CPU time limit exceeded, terminating % 213.29/212.49 eprover: CPU time limit exceeded, terminating % 215.36/214.51 eprover: CPU time limit exceeded, terminating % 217.38/216.52 eprover: CPU time limit exceeded, terminating % 219.39/218.53 eprover: CPU time limit exceeded, terminating % 221.38/220.54 eprover: CPU time limit exceeded, terminating % 223.41/222.55 eprover: CPU time limit exceeded, terminating % 225.43/224.56 eprover: CPU time limit exceeded, terminating % 227.44/226.57 eprover: CPU time limit exceeded, terminating % 229.44/228.58 eprover: CPU time limit exceeded, terminating % 231.54/230.60 eprover: CPU time limit exceeded, terminating % 233.57/232.61 eprover: CPU time limit exceeded, terminating % 235.59/234.62 eprover: CPU time limit exceeded, terminating % 237.59/236.63 eprover: CPU time limit exceeded, terminating % 239.62/238.64 eprover: CPU time limit exceeded, terminating % 241.62/240.65 eprover: CPU time limit exceeded, terminating % 243.60/242.66 eprover: CPU time limit exceeded, terminating % 245.62/244.68 eprover: CPU time limit exceeded, terminating % 247.65/246.69 eprover: CPU time limit exceeded, terminating % 249.72/248.70 eprover: CPU time limit exceeded, terminating % 251.67/250.71 eprover: CPU time limit exceeded, terminating % 253.78/252.72 eprover: CPU time limit exceeded, terminating % 255.77/254.73 eprover: CPU time limit exceeded, terminating % 257.80/256.74 eprover: CPU time limit exceeded, terminating % 259.79/258.75 eprover: CPU time limit exceeded, terminating % 261.79/260.77 eprover: CPU time limit exceeded, terminating % 263.87/262.78 eprover: CPU time limit exceeded, terminating % 265.82/264.79 eprover: CPU time limit exceeded, terminating % 267.91/266.80 eprover: CPU time limit exceeded, terminating % 269.84/268.81 eprover: CPU time limit exceeded, terminating % 271.96/270.82 eprover: CPU time limit exceeded, terminating % 273.96/272.83 eprover: CPU time limit exceeded, terminating % 275.98/274.84 eprover: CPU time limit exceeded, terminating % 278.00/276.85 eprover: CPU time limit exceeded, terminating % 279.99/278.86 eprover: CPU time limit exceeded, terminating % 282.06/280.88 eprover: CPU time limit exceeded, terminating % 284.02/282.89 eprover: CPU time limit exceeded, terminating % 286.08/284.90 eprover: CPU time limit exceeded, terminating % 288.11/286.91 eprover: CPU time limit exceeded, terminating % 290.14/288.92 eprover: CPU time limit exceeded, terminating % 292.12/290.95 eprover: CPU time limit exceeded, terminating % 294.14/292.96 eprover: CPU time limit exceeded, terminating % 296.17/294.97 eprover: CPU time limit exceeded, terminating % 298.17/296.98 eprover: CPU time limit exceeded, terminating % 300.07/298.82 eprover: CPU time limit exceeded, terminating % 300.07/298.83 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------