%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB105+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:44 EDT 2022 % Result : Timeout 285.77s 280.70s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : SWB105+1 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n024.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Wed Jun 1 01:32:51 EDT 2022 % 0.14/0.35 % CPUTime : % 2.83/3.03 eprover: CPU time limit exceeded, terminating % 4.88/5.04 eprover: CPU time limit exceeded, terminating % 6.93/7.05 eprover: CPU time limit exceeded, terminating % 8.94/9.06 eprover: CPU time limit exceeded, terminating % 10.97/11.08 eprover: CPU time limit exceeded, terminating % 13.00/13.09 eprover: CPU time limit exceeded, terminating % 15.04/15.10 eprover: CPU time limit exceeded, terminating % 17.04/17.11 eprover: CPU time limit exceeded, terminating % 19.09/19.13 eprover: CPU time limit exceeded, terminating % 21.10/21.14 eprover: CPU time limit exceeded, terminating % 23.22/23.15 eprover: CPU time limit exceeded, terminating % 25.24/25.16 eprover: CPU time limit exceeded, terminating % 27.29/27.17 eprover: CPU time limit exceeded, terminating % 29.32/29.18 eprover: CPU time limit exceeded, terminating % 31.38/31.20 eprover: CPU time limit exceeded, terminating % 33.38/33.21 eprover: CPU time limit exceeded, terminating % 35.45/35.22 eprover: CPU time limit exceeded, terminating % 37.42/37.23 eprover: CPU time limit exceeded, terminating % 39.52/39.25 eprover: CPU time limit exceeded, terminating % 41.52/41.26 eprover: CPU time limit exceeded, terminating % 43.58/43.27 eprover: CPU time limit exceeded, terminating % 45.59/45.28 eprover: CPU time limit exceeded, terminating % 47.61/47.30 eprover: CPU time limit exceeded, terminating % 49.68/49.31 eprover: CPU time limit exceeded, terminating % 51.73/51.32 eprover: CPU time limit exceeded, terminating % 53.74/53.33 eprover: CPU time limit exceeded, terminating % 55.83/55.34 eprover: CPU time limit exceeded, terminating % 57.79/57.36 eprover: CPU time limit exceeded, terminating % 59.89/59.37 eprover: CPU time limit exceeded, terminating % 61.93/61.38 eprover: CPU time limit exceeded, terminating % 63.94/63.39 eprover: CPU time limit exceeded, terminating % 65.96/65.40 eprover: CPU time limit exceeded, terminating % 67.98/67.42 eprover: CPU time limit exceeded, terminating % 70.03/69.43 eprover: CPU time limit exceeded, terminating % 72.12/71.44 eprover: CPU time limit exceeded, terminating % 74.15/73.45 eprover: CPU time limit exceeded, terminating % 76.20/75.46 eprover: CPU time limit exceeded, terminating % 78.24/77.48 eprover: CPU time limit exceeded, terminating % 80.25/79.49 eprover: CPU time limit exceeded, terminating % 82.30/81.50 eprover: CPU time limit exceeded, terminating % 84.30/83.51 eprover: CPU time limit exceeded, terminating % 86.34/85.52 eprover: CPU time limit exceeded, terminating % 88.42/87.54 eprover: CPU time limit exceeded, terminating % 90.46/89.55 eprover: CPU time limit exceeded, terminating % 92.50/91.56 eprover: CPU time limit exceeded, terminating % 94.50/93.58 eprover: CPU time limit exceeded, terminating % 96.55/95.59 eprover: CPU time limit exceeded, terminating % 98.61/97.60 eprover: CPU time limit exceeded, terminating % 100.57/99.62 eprover: CPU time limit exceeded, terminating % 102.68/101.63 eprover: CPU time limit exceeded, terminating % 104.66/103.64 eprover: CPU time limit exceeded, terminating % 106.76/105.66 eprover: CPU time limit exceeded, terminating % 108.80/107.67 eprover: CPU time limit exceeded, terminating % 110.80/109.68 eprover: CPU time limit exceeded, terminating % 112.86/111.70 eprover: CPU time limit exceeded, terminating % 114.89/113.71 eprover: CPU time limit exceeded, terminating % 116.92/115.72 eprover: CPU time limit exceeded, terminating % 118.96/117.73 eprover: CPU time limit exceeded, terminating % 121.02/119.75 eprover: CPU time limit exceeded, terminating % 123.00/121.76 eprover: CPU time limit exceeded, terminating % 125.09/123.77 eprover: CPU time limit exceeded, terminating % 127.13/125.79 eprover: CPU time limit exceeded, terminating % 129.15/127.80 eprover: CPU time limit exceeded, terminating % 131.17/129.81 eprover: CPU time limit exceeded, terminating % 133.23/131.83 eprover: CPU time limit exceeded, terminating % 135.28/133.84 eprover: CPU time limit exceeded, terminating % 137.29/135.85 eprover: CPU time limit exceeded, terminating % 139.34/137.86 eprover: CPU time limit exceeded, terminating % 141.35/139.88 eprover: CPU time limit exceeded, terminating % 143.42/141.89 eprover: CPU time limit exceeded, terminating % 145.47/143.90 eprover: CPU time limit exceeded, terminating % 147.51/145.91 eprover: CPU time limit exceeded, terminating % 149.54/147.92 eprover: CPU time limit exceeded, terminating % 151.54/149.94 eprover: CPU time limit exceeded, terminating % 153.55/151.95 eprover: CPU time limit exceeded, terminating % 155.59/153.96 eprover: CPU time limit exceeded, terminating % 157.63/155.97 eprover: CPU time limit exceeded, terminating % 159.67/157.98 eprover: CPU time limit exceeded, terminating % 161.77/159.99 eprover: CPU time limit exceeded, terminating % 163.72/162.01 eprover: CPU time limit exceeded, terminating % 165.81/164.02 eprover: CPU time limit exceeded, terminating % 167.88/166.03 eprover: CPU time limit exceeded, terminating % 169.88/168.04 eprover: CPU time limit exceeded, terminating % 171.89/170.06 eprover: CPU time limit exceeded, terminating % 173.90/172.07 eprover: CPU time limit exceeded, terminating % 175.95/174.08 eprover: CPU time limit exceeded, terminating % 178.05/176.09 eprover: CPU time limit exceeded, terminating % 180.08/178.11 eprover: CPU time limit exceeded, terminating % 182.13/180.12 eprover: CPU time limit exceeded, terminating % 184.14/182.13 eprover: CPU time limit exceeded, terminating % 186.19/184.14 eprover: CPU time limit exceeded, terminating % 188.23/186.16 eprover: CPU time limit exceeded, terminating % 190.19/188.17 eprover: CPU time limit exceeded, terminating % 192.28/190.18 eprover: CPU time limit exceeded, terminating % 194.34/192.19 eprover: CPU time limit exceeded, terminating % 196.36/194.20 eprover: CPU time limit exceeded, terminating % 198.40/196.21 eprover: CPU time limit exceeded, terminating % 200.42/198.23 eprover: CPU time limit exceeded, terminating % 202.47/200.24 eprover: CPU time limit exceeded, terminating % 204.49/202.25 eprover: CPU time limit exceeded, terminating % 206.57/204.27 eprover: CPU time limit exceeded, terminating % 208.59/206.28 eprover: CPU time limit exceeded, terminating % 210.60/208.29 eprover: CPU time limit exceeded, terminating % 212.67/210.30 eprover: CPU time limit exceeded, terminating % 214.64/212.31 eprover: CPU time limit exceeded, terminating % 216.70/214.32 eprover: CPU time limit exceeded, terminating % 220.69/216.34 eprover: CPU time limit exceeded, terminating % 222.73/218.34 eprover: CPU time limit exceeded, terminating % 224.80/220.35 eprover: CPU time limit exceeded, terminating % 226.75/222.36 eprover: CPU time limit exceeded, terminating % 228.80/224.37 eprover: CPU time limit exceeded, terminating % 230.84/226.38 eprover: CPU time limit exceeded, terminating % 232.88/228.39 eprover: CPU time limit exceeded, terminating % 234.88/230.40 eprover: CPU time limit exceeded, terminating % 236.96/232.41 eprover: CPU time limit exceeded, terminating % 238.95/234.42 eprover: CPU time limit exceeded, terminating % 241.01/236.43 eprover: CPU time limit exceeded, terminating % 243.05/238.44 eprover: CPU time limit exceeded, terminating % 245.08/240.45 eprover: CPU time limit exceeded, terminating % 247.11/242.47 eprover: CPU time limit exceeded, terminating % 249.16/244.48 eprover: CPU time limit exceeded, terminating % 251.20/246.49 eprover: CPU time limit exceeded, terminating % 253.23/248.50 eprover: CPU time limit exceeded, terminating % 255.27/250.52 eprover: CPU time limit exceeded, terminating % 257.28/252.53 eprover: CPU time limit exceeded, terminating % 259.31/254.54 eprover: CPU time limit exceeded, terminating % 261.35/256.55 eprover: CPU time limit exceeded, terminating % 263.41/258.56 eprover: CPU time limit exceeded, terminating % 265.46/260.57 eprover: CPU time limit exceeded, terminating % 267.45/262.59 eprover: CPU time limit exceeded, terminating % 269.51/264.60 eprover: CPU time limit exceeded, terminating % 271.49/266.61 eprover: CPU time limit exceeded, terminating % 273.56/268.62 eprover: CPU time limit exceeded, terminating % 275.61/270.63 eprover: CPU time limit exceeded, terminating % 277.58/272.64 eprover: CPU time limit exceeded, terminating % 279.63/274.65 eprover: CPU time limit exceeded, terminating % 281.62/276.67 eprover: CPU time limit exceeded, terminating % 283.69/278.68 eprover: CPU time limit exceeded, terminating % 285.77/280.70 eprover: CPU time limit exceeded, terminating % 287.75/282.71 eprover: CPU time limit exceeded, terminating % 289.81/284.72 eprover: CPU time limit exceeded, terminating % 291.81/286.73 eprover: CPU time limit exceeded, terminating % 293.89/288.74 eprover: CPU time limit exceeded, terminating % 295.92/290.75 eprover: CPU time limit exceeded, terminating % 297.93/292.76 eprover: CPU time limit exceeded, terminating % 299.96/294.77 eprover: CPU time limit exceeded, terminating % 300.05/294.80 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------