%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV130+1 : TPTP v8.1.0. Bugfixed v3.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:48:44 EDT 2022 % Result : Timeout 287.67s 262.24s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : SWV130+1 : TPTP v8.1.0. Bugfixed v3.3.0. % 0.10/0.13 % Command : run_infinox %s % 0.12/0.33 % Computer : n004.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 : Wed Jun 15 04:05:24 EDT 2022 % 0.12/0.34 % CPUTime : % 4.69/4.73 eprover: CPU time limit exceeded, terminating % 6.91/6.74 eprover: CPU time limit exceeded, terminating % 9.10/8.75 eprover: CPU time limit exceeded, terminating % 11.30/10.76 eprover: CPU time limit exceeded, terminating % 13.50/12.77 eprover: CPU time limit exceeded, terminating % 15.78/14.78 eprover: CPU time limit exceeded, terminating % 18.00/16.79 eprover: CPU time limit exceeded, terminating % 20.19/18.81 eprover: CPU time limit exceeded, terminating % 22.43/20.82 eprover: CPU time limit exceeded, terminating % 24.58/22.83 eprover: CPU time limit exceeded, terminating % 26.84/24.84 eprover: CPU time limit exceeded, terminating % 29.07/26.85 eprover: CPU time limit exceeded, terminating % 31.24/28.86 eprover: CPU time limit exceeded, terminating % 33.45/30.87 eprover: CPU time limit exceeded, terminating % 35.64/32.88 eprover: CPU time limit exceeded, terminating % 37.87/34.89 eprover: CPU time limit exceeded, terminating % 40.14/36.91 eprover: CPU time limit exceeded, terminating % 42.34/38.92 eprover: CPU time limit exceeded, terminating % 44.57/40.93 eprover: CPU time limit exceeded, terminating % 46.77/42.94 eprover: CPU time limit exceeded, terminating % 48.98/44.95 eprover: CPU time limit exceeded, terminating % 51.18/46.96 eprover: CPU time limit exceeded, terminating % 53.35/48.97 eprover: CPU time limit exceeded, terminating % 55.65/50.99 eprover: CPU time limit exceeded, terminating % 57.78/53.00 eprover: CPU time limit exceeded, terminating % 60.06/55.01 eprover: CPU time limit exceeded, terminating % 62.26/57.02 eprover: CPU time limit exceeded, terminating % 64.47/59.03 eprover: CPU time limit exceeded, terminating % 66.70/61.04 eprover: CPU time limit exceeded, terminating % 68.87/63.06 eprover: CPU time limit exceeded, terminating % 71.10/65.07 eprover: CPU time limit exceeded, terminating % 73.26/67.08 eprover: CPU time limit exceeded, terminating % 75.55/69.09 eprover: CPU time limit exceeded, terminating % 77.79/71.11 eprover: CPU time limit exceeded, terminating % 79.98/73.12 eprover: CPU time limit exceeded, terminating % 82.19/75.13 eprover: CPU time limit exceeded, terminating % 84.39/77.14 eprover: CPU time limit exceeded, terminating % 86.55/79.15 eprover: CPU time limit exceeded, terminating % 88.77/81.16 eprover: CPU time limit exceeded, terminating % 90.99/83.17 eprover: CPU time limit exceeded, terminating % 93.13/85.19 eprover: CPU time limit exceeded, terminating % 95.44/87.20 eprover: CPU time limit exceeded, terminating % 97.57/89.21 eprover: CPU time limit exceeded, terminating % 99.86/91.22 eprover: CPU time limit exceeded, terminating % 102.03/93.23 eprover: CPU time limit exceeded, terminating % 104.27/95.25 eprover: CPU time limit exceeded, terminating % 106.46/97.26 eprover: CPU time limit exceeded, terminating % 108.64/99.27 eprover: CPU time limit exceeded, terminating % 110.86/101.28 eprover: CPU time limit exceeded, terminating % 113.07/103.29 eprover: CPU time limit exceeded, terminating % 115.36/105.31 eprover: CPU time limit exceeded, terminating % 117.55/107.32 eprover: CPU time limit exceeded, terminating % 119.76/109.33 eprover: CPU time limit exceeded, terminating % 121.96/111.34 eprover: CPU time limit exceeded, terminating % 124.14/113.36 eprover: CPU time limit exceeded, terminating % 126.35/115.37 eprover: CPU time limit exceeded, terminating % 128.62/117.38 eprover: CPU time limit exceeded, terminating % 130.83/119.39 eprover: CPU time limit exceeded, terminating % 133.05/121.41 eprover: CPU time limit exceeded, terminating % 135.24/123.43 eprover: CPU time limit exceeded, terminating % 137.44/125.44 eprover: CPU time limit exceeded, terminating % 139.63/127.45 eprover: CPU time limit exceeded, terminating % 141.83/129.46 eprover: CPU time limit exceeded, terminating % 144.03/131.47 eprover: CPU time limit exceeded, terminating % 146.30/133.49 eprover: CPU time limit exceeded, terminating % 148.52/135.50 eprover: CPU time limit exceeded, terminating % 150.72/137.51 eprover: CPU time limit exceeded, terminating % 152.95/139.52 eprover: CPU time limit exceeded, terminating % 155.12/141.53 eprover: CPU time limit exceeded, terminating % 157.30/143.54 eprover: CPU time limit exceeded, terminating % 159.54/145.55 eprover: CPU time limit exceeded, terminating % 161.72/147.56 eprover: CPU time limit exceeded, terminating % 163.92/149.58 eprover: CPU time limit exceeded, terminating % 166.12/151.59 eprover: CPU time limit exceeded, terminating % 168.33/153.60 eprover: CPU time limit exceeded, terminating % 170.61/155.61 eprover: CPU time limit exceeded, terminating % 172.81/157.62 eprover: CPU time limit exceeded, terminating % 175.01/159.64 eprover: CPU time limit exceeded, terminating % 177.23/161.65 eprover: CPU time limit exceeded, terminating % 179.42/163.66 eprover: CPU time limit exceeded, terminating % 181.63/165.67 eprover: CPU time limit exceeded, terminating % 183.82/167.68 eprover: CPU time limit exceeded, terminating % 186.11/169.69 eprover: CPU time limit exceeded, terminating % 188.23/171.71 eprover: CPU time limit exceeded, terminating % 190.53/173.72 eprover: CPU time limit exceeded, terminating % 192.73/175.73 eprover: CPU time limit exceeded, terminating % 194.91/177.74 eprover: CPU time limit exceeded, terminating % 197.11/179.75 eprover: CPU time limit exceeded, terminating % 199.34/181.76 eprover: CPU time limit exceeded, terminating % 201.50/183.78 eprover: CPU time limit exceeded, terminating % 203.73/185.79 eprover: CPU time limit exceeded, terminating % 205.94/187.80 eprover: CPU time limit exceeded, terminating % 208.23/189.81 eprover: CPU time limit exceeded, terminating % 210.41/191.82 eprover: CPU time limit exceeded, terminating % 212.61/193.84 eprover: CPU time limit exceeded, terminating % 214.81/195.85 eprover: CPU time limit exceeded, terminating % 217.00/197.86 eprover: CPU time limit exceeded, terminating % 219.17/199.87 eprover: CPU time limit exceeded, terminating % 221.40/201.88 eprover: CPU time limit exceeded, terminating % 223.63/203.89 eprover: CPU time limit exceeded, terminating % 225.89/205.90 eprover: CPU time limit exceeded, terminating % 228.10/207.92 eprover: CPU time limit exceeded, terminating % 230.31/209.93 eprover: CPU time limit exceeded, terminating % 232.47/211.94 eprover: CPU time limit exceeded, terminating % 234.69/213.95 eprover: CPU time limit exceeded, terminating % 236.88/215.97 eprover: CPU time limit exceeded, terminating % 239.14/217.98 eprover: CPU time limit exceeded, terminating % 241.35/219.99 eprover: CPU time limit exceeded, terminating % 243.47/222.00 eprover: CPU time limit exceeded, terminating % 245.75/224.01 eprover: CPU time limit exceeded, terminating % 247.94/226.03 eprover: CPU time limit exceeded, terminating % 250.15/228.04 eprover: CPU time limit exceeded, terminating % 252.34/230.05 eprover: CPU time limit exceeded, terminating % 254.52/232.06 eprover: CPU time limit exceeded, terminating % 256.72/234.07 eprover: CPU time limit exceeded, terminating % 258.93/236.09 eprover: CPU time limit exceeded, terminating % 261.13/238.10 eprover: CPU time limit exceeded, terminating % 263.43/240.11 eprover: CPU time limit exceeded, terminating % 265.60/242.12 eprover: CPU time limit exceeded, terminating % 267.82/244.13 eprover: CPU time limit exceeded, terminating % 270.02/246.14 eprover: CPU time limit exceeded, terminating % 272.20/248.16 eprover: CPU time limit exceeded, terminating % 274.40/250.17 eprover: CPU time limit exceeded, terminating % 276.60/252.18 eprover: CPU time limit exceeded, terminating % 278.88/254.20 eprover: CPU time limit exceeded, terminating % 281.10/256.21 eprover: CPU time limit exceeded, terminating % 283.31/258.22 eprover: CPU time limit exceeded, terminating % 285.51/260.23 eprover: CPU time limit exceeded, terminating % 287.67/262.24 eprover: CPU time limit exceeded, terminating % 289.89/264.26 eprover: CPU time limit exceeded, terminating % 292.09/266.27 eprover: CPU time limit exceeded, terminating % 294.27/268.28 eprover: CPU time limit exceeded, terminating % 296.50/270.29 eprover: CPU time limit exceeded, terminating % 298.76/272.30 eprover: CPU time limit exceeded, terminating % 300.07/273.41 eprover: CPU time limit exceeded, terminating % 300.07/273.42 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------