%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW470+7 : TPTP v8.1.0. Released v5.3.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 : Thu Jul 21 00:24:52 EDT 2022 % Result : Timeout 286.01s 263.05s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWW470+7 : TPTP v8.1.0. Released v5.3.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 : Sat Jun 4 18:23:44 EDT 2022 % 0.13/0.34 % CPUTime : % 7.35/7.38 eprover: CPU time limit exceeded, terminating % 9.50/9.39 eprover: CPU time limit exceeded, terminating % 11.72/11.40 eprover: CPU time limit exceeded, terminating % 13.87/13.41 eprover: CPU time limit exceeded, terminating % 16.04/15.43 eprover: CPU time limit exceeded, terminating % 18.24/17.44 eprover: CPU time limit exceeded, terminating % 20.42/19.45 eprover: CPU time limit exceeded, terminating % 22.54/21.47 eprover: CPU time limit exceeded, terminating % 24.79/23.48 eprover: CPU time limit exceeded, terminating % 26.95/25.49 eprover: CPU time limit exceeded, terminating % 29.07/27.50 eprover: CPU time limit exceeded, terminating % 31.30/29.52 eprover: CPU time limit exceeded, terminating % 33.47/31.53 eprover: CPU time limit exceeded, terminating % 35.64/33.54 eprover: CPU time limit exceeded, terminating % 37.79/35.56 eprover: CPU time limit exceeded, terminating % 39.98/37.57 eprover: CPU time limit exceeded, terminating % 42.15/39.58 eprover: CPU time limit exceeded, terminating % 44.35/41.60 eprover: CPU time limit exceeded, terminating % 46.52/43.61 eprover: CPU time limit exceeded, terminating % 48.72/45.62 eprover: CPU time limit exceeded, terminating % 50.92/47.63 eprover: CPU time limit exceeded, terminating % 53.08/49.65 eprover: CPU time limit exceeded, terminating % 55.26/51.66 eprover: CPU time limit exceeded, terminating % 57.44/53.67 eprover: CPU time limit exceeded, terminating % 59.64/55.69 eprover: CPU time limit exceeded, terminating % 61.79/57.70 eprover: CPU time limit exceeded, terminating % 64.00/59.71 eprover: CPU time limit exceeded, terminating % 66.15/61.73 eprover: CPU time limit exceeded, terminating % 68.34/63.74 eprover: CPU time limit exceeded, terminating % 70.48/65.75 eprover: CPU time limit exceeded, terminating % 72.71/67.77 eprover: CPU time limit exceeded, terminating % 74.86/69.78 eprover: CPU time limit exceeded, terminating % 77.02/71.79 eprover: CPU time limit exceeded, terminating % 79.27/73.81 eprover: CPU time limit exceeded, terminating % 81.44/75.82 eprover: CPU time limit exceeded, terminating % 83.62/77.83 eprover: CPU time limit exceeded, terminating % 85.77/79.84 eprover: CPU time limit exceeded, terminating % 87.96/81.86 eprover: CPU time limit exceeded, terminating % 90.13/83.87 eprover: CPU time limit exceeded, terminating % 92.28/85.88 eprover: CPU time limit exceeded, terminating % 94.54/87.90 eprover: CPU time limit exceeded, terminating % 96.62/89.91 eprover: CPU time limit exceeded, terminating % 98.89/91.92 eprover: CPU time limit exceeded, terminating % 101.04/93.94 eprover: CPU time limit exceeded, terminating % 103.19/95.95 eprover: CPU time limit exceeded, terminating % 105.39/97.96 eprover: CPU time limit exceeded, terminating % 107.57/99.98 eprover: CPU time limit exceeded, terminating % 109.69/101.99 eprover: CPU time limit exceeded, terminating % 111.99/104.00 eprover: CPU time limit exceeded, terminating % 114.18/106.01 eprover: CPU time limit exceeded, terminating % 116.34/108.03 eprover: CPU time limit exceeded, terminating % 118.47/110.04 eprover: CPU time limit exceeded, terminating % 120.64/112.05 eprover: CPU time limit exceeded, terminating % 122.83/114.07 eprover: CPU time limit exceeded, terminating % 125.07/116.08 eprover: CPU time limit exceeded, terminating % 127.18/118.09 eprover: CPU time limit exceeded, terminating % 129.43/120.11 eprover: CPU time limit exceeded, terminating % 131.57/122.12 eprover: CPU time limit exceeded, terminating % 133.78/124.13 eprover: CPU time limit exceeded, terminating % 135.95/126.15 eprover: CPU time limit exceeded, terminating % 138.09/128.16 eprover: CPU time limit exceeded, terminating % 140.29/130.17 eprover: CPU time limit exceeded, terminating % 142.43/132.18 eprover: CPU time limit exceeded, terminating % 146.54/134.20 eprover: CPU time limit exceeded, terminating % 148.75/136.21 eprover: CPU time limit exceeded, terminating % 150.95/138.22 eprover: CPU time limit exceeded, terminating % 153.08/140.24 eprover: CPU time limit exceeded, terminating % 155.29/142.25 eprover: CPU time limit exceeded, terminating % 157.44/144.26 eprover: CPU time limit exceeded, terminating % 159.64/146.28 eprover: CPU time limit exceeded, terminating % 161.77/148.29 eprover: CPU time limit exceeded, terminating % 164.04/150.30 eprover: CPU time limit exceeded, terminating % 166.19/152.32 eprover: CPU time limit exceeded, terminating % 168.40/154.33 eprover: CPU time limit exceeded, terminating % 170.51/156.34 eprover: CPU time limit exceeded, terminating % 172.72/158.36 eprover: CPU time limit exceeded, terminating % 174.93/160.37 eprover: CPU time limit exceeded, terminating % 177.06/162.38 eprover: CPU time limit exceeded, terminating % 179.30/164.40 eprover: CPU time limit exceeded, terminating % 181.43/166.41 eprover: CPU time limit exceeded, terminating % 183.68/168.43 eprover: CPU time limit exceeded, terminating % 185.82/170.44 eprover: CPU time limit exceeded, terminating % 187.97/172.45 eprover: CPU time limit exceeded, terminating % 190.17/174.47 eprover: CPU time limit exceeded, terminating % 192.34/176.48 eprover: CPU time limit exceeded, terminating % 194.57/178.49 eprover: CPU time limit exceeded, terminating % 196.74/180.51 eprover: CPU time limit exceeded, terminating % 198.93/182.52 eprover: CPU time limit exceeded, terminating % 201.11/184.54 eprover: CPU time limit exceeded, terminating % 203.23/186.55 eprover: CPU time limit exceeded, terminating % 205.42/188.57 eprover: CPU time limit exceeded, terminating % 207.65/190.58 eprover: CPU time limit exceeded, terminating % 209.76/192.59 eprover: CPU time limit exceeded, terminating % 212.01/194.61 eprover: CPU time limit exceeded, terminating % 214.19/196.62 eprover: CPU time limit exceeded, terminating % 216.38/198.64 eprover: CPU time limit exceeded, terminating % 218.51/200.65 eprover: CPU time limit exceeded, terminating % 220.74/202.66 eprover: CPU time limit exceeded, terminating % 222.85/204.68 eprover: CPU time limit exceeded, terminating % 225.09/206.69 eprover: CPU time limit exceeded, terminating % 227.30/208.70 eprover: CPU time limit exceeded, terminating % 229.44/210.72 eprover: CPU time limit exceeded, terminating % 231.64/212.73 eprover: CPU time limit exceeded, terminating % 233.77/214.74 eprover: CPU time limit exceeded, terminating % 235.98/216.76 eprover: CPU time limit exceeded, terminating % 238.12/218.77 eprover: CPU time limit exceeded, terminating % 240.31/220.78 eprover: CPU time limit exceeded, terminating % 242.46/222.80 eprover: CPU time limit exceeded, terminating % 244.68/224.81 eprover: CPU time limit exceeded, terminating % 246.89/226.82 eprover: CPU time limit exceeded, terminating % 249.00/228.84 eprover: CPU time limit exceeded, terminating % 251.22/230.85 eprover: CPU time limit exceeded, terminating % 253.37/232.86 eprover: CPU time limit exceeded, terminating % 255.57/234.88 eprover: CPU time limit exceeded, terminating % 257.71/236.89 eprover: CPU time limit exceeded, terminating % 259.97/238.90 eprover: CPU time limit exceeded, terminating % 262.15/240.92 eprover: CPU time limit exceeded, terminating % 264.29/242.93 eprover: CPU time limit exceeded, terminating % 266.48/244.94 eprover: CPU time limit exceeded, terminating % 268.64/246.96 eprover: CPU time limit exceeded, terminating % 270.83/248.97 eprover: CPU time limit exceeded, terminating % 273.03/250.98 eprover: CPU time limit exceeded, terminating % 275.14/252.99 eprover: CPU time limit exceeded, terminating % 277.36/255.00 eprover: CPU time limit exceeded, terminating % 279.57/257.02 eprover: CPU time limit exceeded, terminating % 281.69/259.03 eprover: CPU time limit exceeded, terminating % 283.91/261.04 eprover: CPU time limit exceeded, terminating % 286.01/263.05 eprover: CPU time limit exceeded, terminating % 288.25/265.07 eprover: CPU time limit exceeded, terminating % 290.38/267.08 eprover: CPU time limit exceeded, terminating % 292.59/269.09 eprover: CPU time limit exceeded, terminating % 294.79/271.10 eprover: CPU time limit exceeded, terminating % 296.89/273.12 eprover: CPU time limit exceeded, terminating % 299.12/275.13 eprover: CPU time limit exceeded, terminating % 300.04/275.90 eprover: CPU time limit exceeded, terminating % 300.04/275.91 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------