%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP042+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n027.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 21:26:35 EDT 2022 % Result : Timeout 287.75s 262.95s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : TOP042+2 : TPTP v8.1.0. Released v3.4.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n027.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Sun May 29 09:05:30 EDT 2022 % 0.12/0.33 % CPUTime : % 9.46/9.45 eprover: CPU time limit exceeded, terminating % 11.69/11.46 eprover: CPU time limit exceeded, terminating % 13.88/13.47 eprover: CPU time limit exceeded, terminating % 16.06/15.48 eprover: CPU time limit exceeded, terminating % 18.31/17.49 eprover: CPU time limit exceeded, terminating % 20.50/19.50 eprover: CPU time limit exceeded, terminating % 22.70/21.51 eprover: CPU time limit exceeded, terminating % 24.89/23.53 eprover: CPU time limit exceeded, terminating % 27.10/25.54 eprover: CPU time limit exceeded, terminating % 29.29/27.55 eprover: CPU time limit exceeded, terminating % 31.51/29.56 eprover: CPU time limit exceeded, terminating % 33.71/31.57 eprover: CPU time limit exceeded, terminating % 35.95/33.57 eprover: CPU time limit exceeded, terminating % 38.15/35.59 eprover: CPU time limit exceeded, terminating % 40.38/37.60 eprover: CPU time limit exceeded, terminating % 42.54/39.61 eprover: CPU time limit exceeded, terminating % 44.78/41.62 eprover: CPU time limit exceeded, terminating % 46.96/43.63 eprover: CPU time limit exceeded, terminating % 49.15/45.64 eprover: CPU time limit exceeded, terminating % 51.38/47.65 eprover: CPU time limit exceeded, terminating % 53.63/49.66 eprover: CPU time limit exceeded, terminating % 55.82/51.68 eprover: CPU time limit exceeded, terminating % 58.02/53.69 eprover: CPU time limit exceeded, terminating % 60.24/55.70 eprover: CPU time limit exceeded, terminating % 62.40/57.71 eprover: CPU time limit exceeded, terminating % 64.62/59.72 eprover: CPU time limit exceeded, terminating % 66.86/61.73 eprover: CPU time limit exceeded, terminating % 69.07/63.75 eprover: CPU time limit exceeded, terminating % 71.24/65.76 eprover: CPU time limit exceeded, terminating % 73.48/67.77 eprover: CPU time limit exceeded, terminating % 75.70/69.78 eprover: CPU time limit exceeded, terminating % 77.90/71.79 eprover: CPU time limit exceeded, terminating % 80.09/73.81 eprover: CPU time limit exceeded, terminating % 82.32/75.82 eprover: CPU time limit exceeded, terminating % 84.48/77.83 eprover: CPU time limit exceeded, terminating % 86.70/79.84 eprover: CPU time limit exceeded, terminating % 88.96/81.85 eprover: CPU time limit exceeded, terminating % 91.15/83.86 eprover: CPU time limit exceeded, terminating % 93.33/85.88 eprover: CPU time limit exceeded, terminating % 95.54/87.89 eprover: CPU time limit exceeded, terminating % 97.72/89.90 eprover: CPU time limit exceeded, terminating % 99.95/91.91 eprover: CPU time limit exceeded, terminating % 102.18/93.92 eprover: CPU time limit exceeded, terminating % 104.39/95.94 eprover: CPU time limit exceeded, terminating % 106.60/97.95 eprover: CPU time limit exceeded, terminating % 108.81/99.96 eprover: CPU time limit exceeded, terminating % 111.01/101.97 eprover: CPU time limit exceeded, terminating % 113.21/103.98 eprover: CPU time limit exceeded, terminating % 115.42/106.00 eprover: CPU time limit exceeded, terminating % 117.63/108.01 eprover: CPU time limit exceeded, terminating % 119.85/110.02 eprover: CPU time limit exceeded, terminating % 122.02/112.03 eprover: CPU time limit exceeded, terminating % 124.20/114.04 eprover: CPU time limit exceeded, terminating % 126.48/116.07 eprover: CPU time limit exceeded, terminating % 128.65/118.08 eprover: CPU time limit exceeded, terminating % 130.86/120.09 eprover: CPU time limit exceeded, terminating % 133.05/122.10 eprover: CPU time limit exceeded, terminating % 135.31/124.11 eprover: CPU time limit exceeded, terminating % 137.53/126.13 eprover: CPU time limit exceeded, terminating % 139.73/128.14 eprover: CPU time limit exceeded, terminating % 141.92/130.15 eprover: CPU time limit exceeded, terminating % 144.16/132.17 eprover: CPU time limit exceeded, terminating % 146.35/134.18 eprover: CPU time limit exceeded, terminating % 148.55/136.19 eprover: CPU time limit exceeded, terminating % 150.72/138.20 eprover: CPU time limit exceeded, terminating % 152.95/140.21 eprover: CPU time limit exceeded, terminating % 155.17/142.23 eprover: CPU time limit exceeded, terminating % 157.38/144.24 eprover: CPU time limit exceeded, terminating % 159.55/146.25 eprover: CPU time limit exceeded, terminating % 161.80/148.26 eprover: CPU time limit exceeded, terminating % 164.01/150.27 eprover: CPU time limit exceeded, terminating % 166.19/152.28 eprover: CPU time limit exceeded, terminating % 168.44/154.30 eprover: CPU time limit exceeded, terminating % 170.58/156.31 eprover: CPU time limit exceeded, terminating % 172.85/158.32 eprover: CPU time limit exceeded, terminating % 175.07/160.33 eprover: CPU time limit exceeded, terminating % 177.20/162.34 eprover: CPU time limit exceeded, terminating % 179.47/164.36 eprover: CPU time limit exceeded, terminating % 181.70/166.37 eprover: CPU time limit exceeded, terminating % 183.89/168.38 eprover: CPU time limit exceeded, terminating % 186.12/170.39 eprover: CPU time limit exceeded, terminating % 188.29/172.40 eprover: CPU time limit exceeded, terminating % 190.48/174.42 eprover: CPU time limit exceeded, terminating % 192.73/176.43 eprover: CPU time limit exceeded, terminating % 194.93/178.44 eprover: CPU time limit exceeded, terminating % 197.15/180.45 eprover: CPU time limit exceeded, terminating % 199.39/182.46 eprover: CPU time limit exceeded, terminating % 201.55/184.48 eprover: CPU time limit exceeded, terminating % 203.77/186.49 eprover: CPU time limit exceeded, terminating % 206.00/188.50 eprover: CPU time limit exceeded, terminating % 208.20/190.51 eprover: CPU time limit exceeded, terminating % 210.42/192.52 eprover: CPU time limit exceeded, terminating % 212.55/194.53 eprover: CPU time limit exceeded, terminating % 214.82/196.55 eprover: CPU time limit exceeded, terminating % 217.04/198.56 eprover: CPU time limit exceeded, terminating % 219.23/200.57 eprover: CPU time limit exceeded, terminating % 221.46/202.58 eprover: CPU time limit exceeded, terminating % 223.65/204.60 eprover: CPU time limit exceeded, terminating % 225.86/206.61 eprover: CPU time limit exceeded, terminating % 228.02/208.62 eprover: CPU time limit exceeded, terminating % 230.31/210.63 eprover: CPU time limit exceeded, terminating % 232.46/212.64 eprover: CPU time limit exceeded, terminating % 234.71/214.66 eprover: CPU time limit exceeded, terminating % 236.93/216.67 eprover: CPU time limit exceeded, terminating % 239.12/218.68 eprover: CPU time limit exceeded, terminating % 241.35/220.69 eprover: CPU time limit exceeded, terminating % 243.53/222.70 eprover: CPU time limit exceeded, terminating % 245.76/224.72 eprover: CPU time limit exceeded, terminating % 247.92/226.73 eprover: CPU time limit exceeded, terminating % 250.12/228.74 eprover: CPU time limit exceeded, terminating % 252.40/230.75 eprover: CPU time limit exceeded, terminating % 254.60/232.76 eprover: CPU time limit exceeded, terminating % 256.80/234.78 eprover: CPU time limit exceeded, terminating % 259.01/236.79 eprover: CPU time limit exceeded, terminating % 261.18/238.80 eprover: CPU time limit exceeded, terminating % 263.37/240.81 eprover: CPU time limit exceeded, terminating % 265.63/242.82 eprover: CPU time limit exceeded, terminating % 267.87/244.84 eprover: CPU time limit exceeded, terminating % 270.06/246.85 eprover: CPU time limit exceeded, terminating % 272.27/248.86 eprover: CPU time limit exceeded, terminating % 274.47/250.87 eprover: CPU time limit exceeded, terminating % 276.67/252.88 eprover: CPU time limit exceeded, terminating % 278.85/254.90 eprover: CPU time limit exceeded, terminating % 281.05/256.91 eprover: CPU time limit exceeded, terminating % 283.33/258.92 eprover: CPU time limit exceeded, terminating % 285.54/260.93 eprover: CPU time limit exceeded, terminating % 287.75/262.95 eprover: CPU time limit exceeded, terminating % 289.94/264.96 eprover: CPU time limit exceeded, terminating % 292.14/266.97 eprover: CPU time limit exceeded, terminating % 294.36/268.98 eprover: CPU time limit exceeded, terminating % 296.54/270.99 eprover: CPU time limit exceeded, terminating % 298.76/273.01 eprover: CPU time limit exceeded, terminating % 300.07/274.08 eprover: CPU time limit exceeded, terminating % 300.07/274.09 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------