%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB020+1 : TPTP v8.1.0. Released v5.2.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 : Tue Jul 19 19:04:36 EDT 2022 % Result : Timeout 286.77s 285.16s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWB020+1 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n026.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 1 12:45:26 EDT 2022 % 0.13/0.34 % CPUTime : % 2.78/3.03 eprover: CPU time limit exceeded, terminating % 4.88/5.04 eprover: CPU time limit exceeded, terminating % 6.88/7.05 eprover: CPU time limit exceeded, terminating % 8.87/9.09 eprover: CPU time limit exceeded, terminating % 10.93/11.11 eprover: CPU time limit exceeded, terminating % 12.97/13.13 eprover: CPU time limit exceeded, terminating % 15.01/15.14 eprover: CPU time limit exceeded, terminating % 17.04/17.16 eprover: CPU time limit exceeded, terminating % 19.03/19.19 eprover: CPU time limit exceeded, terminating % 21.09/21.21 eprover: CPU time limit exceeded, terminating % 23.13/23.22 eprover: CPU time limit exceeded, terminating % 25.14/25.23 eprover: CPU time limit exceeded, terminating % 27.16/27.24 eprover: CPU time limit exceeded, terminating % 29.19/29.26 eprover: CPU time limit exceeded, terminating % 31.24/31.27 eprover: CPU time limit exceeded, terminating % 33.29/33.29 eprover: CPU time limit exceeded, terminating % 35.27/35.30 eprover: CPU time limit exceeded, terminating % 37.33/37.31 eprover: CPU time limit exceeded, terminating % 39.40/39.32 eprover: CPU time limit exceeded, terminating % 41.35/41.34 eprover: CPU time limit exceeded, terminating % 43.43/43.35 eprover: CPU time limit exceeded, terminating % 45.51/45.36 eprover: CPU time limit exceeded, terminating % 47.51/47.39 eprover: CPU time limit exceeded, terminating % 49.55/49.41 eprover: CPU time limit exceeded, terminating % 51.58/51.43 eprover: CPU time limit exceeded, terminating % 53.57/53.43 eprover: CPU time limit exceeded, terminating % 55.63/55.44 eprover: CPU time limit exceeded, terminating % 57.67/57.45 eprover: CPU time limit exceeded, terminating % 59.71/59.46 eprover: CPU time limit exceeded, terminating % 61.72/61.47 eprover: CPU time limit exceeded, terminating % 63.78/63.48 eprover: CPU time limit exceeded, terminating % 65.79/65.49 eprover: CPU time limit exceeded, terminating % 67.84/67.50 eprover: CPU time limit exceeded, terminating % 69.82/69.51 eprover: CPU time limit exceeded, terminating % 71.87/71.52 eprover: CPU time limit exceeded, terminating % 73.95/73.53 eprover: CPU time limit exceeded, terminating % 75.94/75.54 eprover: CPU time limit exceeded, terminating % 77.99/77.55 eprover: CPU time limit exceeded, terminating % 80.02/79.56 eprover: CPU time limit exceeded, terminating % 82.03/81.57 eprover: CPU time limit exceeded, terminating % 84.02/83.60 eprover: CPU time limit exceeded, terminating % 86.10/85.62 eprover: CPU time limit exceeded, terminating % 88.11/87.63 eprover: CPU time limit exceeded, terminating % 90.16/89.64 eprover: CPU time limit exceeded, terminating % 92.20/91.66 eprover: CPU time limit exceeded, terminating % 94.22/93.67 eprover: CPU time limit exceeded, terminating % 96.27/95.68 eprover: CPU time limit exceeded, terminating % 98.25/97.69 eprover: CPU time limit exceeded, terminating % 100.34/99.70 eprover: CPU time limit exceeded, terminating % 102.38/101.71 eprover: CPU time limit exceeded, terminating % 104.39/103.74 eprover: CPU time limit exceeded, terminating % 106.39/105.75 eprover: CPU time limit exceeded, terminating % 108.44/107.76 eprover: CPU time limit exceeded, terminating % 110.50/109.78 eprover: CPU time limit exceeded, terminating % 112.46/111.80 eprover: CPU time limit exceeded, terminating % 114.56/113.81 eprover: CPU time limit exceeded, terminating % 116.56/115.82 eprover: CPU time limit exceeded, terminating % 118.58/117.84 eprover: CPU time limit exceeded, terminating % 120.61/119.85 eprover: CPU time limit exceeded, terminating % 122.69/121.87 eprover: CPU time limit exceeded, terminating % 124.66/123.89 eprover: CPU time limit exceeded, terminating % 126.71/125.90 eprover: CPU time limit exceeded, terminating % 128.76/127.92 eprover: CPU time limit exceeded, terminating % 130.80/129.93 eprover: CPU time limit exceeded, terminating % 132.78/131.94 eprover: CPU time limit exceeded, terminating % 134.81/133.95 eprover: CPU time limit exceeded, terminating % 136.87/135.97 eprover: CPU time limit exceeded, terminating % 138.89/137.99 eprover: CPU time limit exceeded, terminating % 140.88/140.00 eprover: CPU time limit exceeded, terminating % 142.94/142.04 eprover: CPU time limit exceeded, terminating % 144.98/144.08 eprover: CPU time limit exceeded, terminating % 147.00/146.10 eprover: CPU time limit exceeded, terminating % 149.00/148.11 eprover: CPU time limit exceeded, terminating % 151.06/150.12 eprover: CPU time limit exceeded, terminating % 153.08/152.15 eprover: CPU time limit exceeded, terminating % 155.11/154.17 eprover: CPU time limit exceeded, terminating % 157.13/156.18 eprover: CPU time limit exceeded, terminating % 159.14/158.19 eprover: CPU time limit exceeded, terminating % 161.12/160.20 eprover: CPU time limit exceeded, terminating % 163.19/162.22 eprover: CPU time limit exceeded, terminating % 165.22/164.24 eprover: CPU time limit exceeded, terminating % 167.27/166.25 eprover: CPU time limit exceeded, terminating % 169.25/168.26 eprover: CPU time limit exceeded, terminating % 171.32/170.28 eprover: CPU time limit exceeded, terminating % 173.27/172.29 eprover: CPU time limit exceeded, terminating % 175.37/174.31 eprover: CPU time limit exceeded, terminating % 177.39/176.34 eprover: CPU time limit exceeded, terminating % 179.41/178.35 eprover: CPU time limit exceeded, terminating % 181.39/180.37 eprover: CPU time limit exceeded, terminating % 183.46/182.39 eprover: CPU time limit exceeded, terminating % 185.45/184.41 eprover: CPU time limit exceeded, terminating % 187.51/186.42 eprover: CPU time limit exceeded, terminating % 189.55/188.43 eprover: CPU time limit exceeded, terminating % 191.55/190.45 eprover: CPU time limit exceeded, terminating % 193.60/192.46 eprover: CPU time limit exceeded, terminating % 195.59/194.47 eprover: CPU time limit exceeded, terminating % 197.61/196.49 eprover: CPU time limit exceeded, terminating % 199.67/198.51 eprover: CPU time limit exceeded, terminating % 201.71/200.52 eprover: CPU time limit exceeded, terminating % 203.70/202.53 eprover: CPU time limit exceeded, terminating % 205.77/204.55 eprover: CPU time limit exceeded, terminating % 207.76/206.56 eprover: CPU time limit exceeded, terminating % 209.83/208.58 eprover: CPU time limit exceeded, terminating % 211.79/210.59 eprover: CPU time limit exceeded, terminating % 213.88/212.61 eprover: CPU time limit exceeded, terminating % 215.90/214.62 eprover: CPU time limit exceeded, terminating % 217.93/216.64 eprover: CPU time limit exceeded, terminating % 219.94/218.65 eprover: CPU time limit exceeded, terminating % 221.97/220.66 eprover: CPU time limit exceeded, terminating % 224.03/222.67 eprover: CPU time limit exceeded, terminating % 225.98/224.69 eprover: CPU time limit exceeded, terminating % 228.06/226.72 eprover: CPU time limit exceeded, terminating % 230.07/228.73 eprover: CPU time limit exceeded, terminating % 232.09/230.75 eprover: CPU time limit exceeded, terminating % 234.12/232.76 eprover: CPU time limit exceeded, terminating % 236.15/234.76 eprover: CPU time limit exceeded, terminating % 238.21/236.78 eprover: CPU time limit exceeded, terminating % 240.16/238.81 eprover: CPU time limit exceeded, terminating % 242.29/240.82 eprover: CPU time limit exceeded, terminating % 244.24/242.84 eprover: CPU time limit exceeded, terminating % 246.28/244.85 eprover: CPU time limit exceeded, terminating % 248.35/246.86 eprover: CPU time limit exceeded, terminating % 250.39/248.87 eprover: CPU time limit exceeded, terminating % 252.37/250.88 eprover: CPU time limit exceeded, terminating % 254.37/252.91 eprover: CPU time limit exceeded, terminating % 256.42/254.92 eprover: CPU time limit exceeded, terminating % 258.48/256.93 eprover: CPU time limit exceeded, terminating % 260.49/258.95 eprover: CPU time limit exceeded, terminating % 262.53/260.96 eprover: CPU time limit exceeded, terminating % 264.53/262.98 eprover: CPU time limit exceeded, terminating % 266.58/265.00 eprover: CPU time limit exceeded, terminating % 268.55/267.01 eprover: CPU time limit exceeded, terminating % 270.64/269.02 eprover: CPU time limit exceeded, terminating % 272.61/271.04 eprover: CPU time limit exceeded, terminating % 274.66/273.06 eprover: CPU time limit exceeded, terminating % 276.67/275.07 eprover: CPU time limit exceeded, terminating % 278.74/277.09 eprover: CPU time limit exceeded, terminating % 280.70/279.11 eprover: CPU time limit exceeded, terminating % 282.76/281.12 eprover: CPU time limit exceeded, terminating % 284.82/283.14 eprover: CPU time limit exceeded, terminating % 286.77/285.16 eprover: CPU time limit exceeded, terminating % 288.78/287.17 eprover: CPU time limit exceeded, terminating % 290.84/289.18 eprover: CPU time limit exceeded, terminating % 292.87/291.19 eprover: CPU time limit exceeded, terminating % 294.95/293.20 eprover: CPU time limit exceeded, terminating % 296.97/295.22 eprover: CPU time limit exceeded, terminating % 298.98/297.23 eprover: CPU time limit exceeded, terminating % 300.03/298.24 eprover: CPU time limit exceeded, terminating % 300.03/298.26 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------