%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB076+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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:43 EDT 2022 % Result : Timeout 287.51s 284.74s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWB076+1 : TPTP v8.1.0. Released v5.2.0. % 0.06/0.13 % Command : run_infinox %s % 0.13/0.32 % Computer : n023.cluster.edu % 0.13/0.32 % Model : x86_64 x86_64 % 0.13/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.32 % Memory : 8042.1875MB % 0.13/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.32 % CPULimit : 300 % 0.13/0.32 % WCLimit : 600 % 0.13/0.32 % DateTime : Wed Jun 1 14:15:11 EDT 2022 % 0.13/0.33 % CPUTime : % 2.91/3.10 eprover: CPU time limit exceeded, terminating % 4.93/5.11 eprover: CPU time limit exceeded, terminating % 6.99/7.12 eprover: CPU time limit exceeded, terminating % 9.01/9.13 eprover: CPU time limit exceeded, terminating % 11.05/11.15 eprover: CPU time limit exceeded, terminating % 13.08/13.16 eprover: CPU time limit exceeded, terminating % 15.11/15.17 eprover: CPU time limit exceeded, terminating % 17.13/17.18 eprover: CPU time limit exceeded, terminating % 19.16/19.19 eprover: CPU time limit exceeded, terminating % 21.20/21.20 eprover: CPU time limit exceeded, terminating % 23.27/23.21 eprover: CPU time limit exceeded, terminating % 25.25/25.22 eprover: CPU time limit exceeded, terminating % 27.31/27.24 eprover: CPU time limit exceeded, terminating % 29.30/29.25 eprover: CPU time limit exceeded, terminating % 31.39/31.26 eprover: CPU time limit exceeded, terminating % 33.40/33.28 eprover: CPU time limit exceeded, terminating % 35.41/35.30 eprover: CPU time limit exceeded, terminating % 37.42/37.31 eprover: CPU time limit exceeded, terminating % 39.52/39.32 eprover: CPU time limit exceeded, terminating % 41.51/41.33 eprover: CPU time limit exceeded, terminating % 43.55/43.34 eprover: CPU time limit exceeded, terminating % 45.64/45.35 eprover: CPU time limit exceeded, terminating % 47.64/47.37 eprover: CPU time limit exceeded, terminating % 49.66/49.38 eprover: CPU time limit exceeded, terminating % 51.74/51.39 eprover: CPU time limit exceeded, terminating % 53.70/53.41 eprover: CPU time limit exceeded, terminating % 55.78/55.42 eprover: CPU time limit exceeded, terminating % 57.83/57.44 eprover: CPU time limit exceeded, terminating % 59.84/59.45 eprover: CPU time limit exceeded, terminating % 61.88/61.45 eprover: CPU time limit exceeded, terminating % 63.92/63.47 eprover: CPU time limit exceeded, terminating % 65.93/65.48 eprover: CPU time limit exceeded, terminating % 67.99/67.49 eprover: CPU time limit exceeded, terminating % 70.05/69.50 eprover: CPU time limit exceeded, terminating % 72.04/71.51 eprover: CPU time limit exceeded, terminating % 74.10/73.53 eprover: CPU time limit exceeded, terminating % 76.09/75.54 eprover: CPU time limit exceeded, terminating % 78.17/77.55 eprover: CPU time limit exceeded, terminating % 80.16/79.56 eprover: CPU time limit exceeded, terminating % 82.18/81.57 eprover: CPU time limit exceeded, terminating % 84.26/83.58 eprover: CPU time limit exceeded, terminating % 86.22/85.59 eprover: CPU time limit exceeded, terminating % 88.30/87.60 eprover: CPU time limit exceeded, terminating % 90.37/89.62 eprover: CPU time limit exceeded, terminating % 92.36/91.63 eprover: CPU time limit exceeded, terminating % 94.43/93.64 eprover: CPU time limit exceeded, terminating % 96.41/95.65 eprover: CPU time limit exceeded, terminating % 98.48/97.67 eprover: CPU time limit exceeded, terminating % 100.48/99.68 eprover: CPU time limit exceeded, terminating % 102.51/101.69 eprover: CPU time limit exceeded, terminating % 104.57/103.70 eprover: CPU time limit exceeded, terminating % 106.56/105.71 eprover: CPU time limit exceeded, terminating % 108.59/107.72 eprover: CPU time limit exceeded, terminating % 110.68/109.73 eprover: CPU time limit exceeded, terminating % 112.69/111.75 eprover: CPU time limit exceeded, terminating % 114.76/113.76 eprover: CPU time limit exceeded, terminating % 116.74/115.77 eprover: CPU time limit exceeded, terminating % 118.80/117.78 eprover: CPU time limit exceeded, terminating % 120.86/119.80 eprover: CPU time limit exceeded, terminating % 122.86/121.81 eprover: CPU time limit exceeded, terminating % 124.89/123.83 eprover: CPU time limit exceeded, terminating % 126.92/125.84 eprover: CPU time limit exceeded, terminating % 128.95/127.85 eprover: CPU time limit exceeded, terminating % 130.97/129.87 eprover: CPU time limit exceeded, terminating % 133.05/131.88 eprover: CPU time limit exceeded, terminating % 135.06/133.89 eprover: CPU time limit exceeded, terminating % 137.08/135.90 eprover: CPU time limit exceeded, terminating % 139.15/137.91 eprover: CPU time limit exceeded, terminating % 141.14/139.93 eprover: CPU time limit exceeded, terminating % 143.20/141.94 eprover: CPU time limit exceeded, terminating % 145.20/143.95 eprover: CPU time limit exceeded, terminating % 147.26/145.96 eprover: CPU time limit exceeded, terminating % 149.30/147.98 eprover: CPU time limit exceeded, terminating % 151.29/149.99 eprover: CPU time limit exceeded, terminating % 153.33/152.00 eprover: CPU time limit exceeded, terminating % 155.37/154.02 eprover: CPU time limit exceeded, terminating % 157.44/156.03 eprover: CPU time limit exceeded, terminating % 159.47/158.04 eprover: CPU time limit exceeded, terminating % 161.45/160.06 eprover: CPU time limit exceeded, terminating % 163.45/162.07 eprover: CPU time limit exceeded, terminating % 165.51/164.08 eprover: CPU time limit exceeded, terminating % 167.61/166.09 eprover: CPU time limit exceeded, terminating % 169.57/168.10 eprover: CPU time limit exceeded, terminating % 171.67/170.10 eprover: CPU time limit exceeded, terminating % 173.69/172.12 eprover: CPU time limit exceeded, terminating % 175.74/174.14 eprover: CPU time limit exceeded, terminating % 177.78/176.15 eprover: CPU time limit exceeded, terminating % 179.75/178.17 eprover: CPU time limit exceeded, terminating % 181.81/180.18 eprover: CPU time limit exceeded, terminating % 183.87/182.20 eprover: CPU time limit exceeded, terminating % 185.92/184.21 eprover: CPU time limit exceeded, terminating % 187.91/186.22 eprover: CPU time limit exceeded, terminating % 189.98/188.23 eprover: CPU time limit exceeded, terminating % 191.97/190.24 eprover: CPU time limit exceeded, terminating % 194.01/192.25 eprover: CPU time limit exceeded, terminating % 195.99/194.27 eprover: CPU time limit exceeded, terminating % 198.09/196.28 eprover: CPU time limit exceeded, terminating % 200.06/198.29 eprover: CPU time limit exceeded, terminating % 202.14/200.31 eprover: CPU time limit exceeded, terminating % 204.18/202.32 eprover: CPU time limit exceeded, terminating % 206.21/204.33 eprover: CPU time limit exceeded, terminating % 208.22/206.34 eprover: CPU time limit exceeded, terminating % 210.26/208.36 eprover: CPU time limit exceeded, terminating % 212.26/210.37 eprover: CPU time limit exceeded, terminating % 214.31/212.38 eprover: CPU time limit exceeded, terminating % 216.29/214.39 eprover: CPU time limit exceeded, terminating % 218.40/216.40 eprover: CPU time limit exceeded, terminating % 220.44/218.42 eprover: CPU time limit exceeded, terminating % 222.46/220.43 eprover: CPU time limit exceeded, terminating % 224.45/222.44 eprover: CPU time limit exceeded, terminating % 226.49/224.45 eprover: CPU time limit exceeded, terminating % 228.54/226.46 eprover: CPU time limit exceeded, terminating % 230.53/228.47 eprover: CPU time limit exceeded, terminating % 232.63/230.48 eprover: CPU time limit exceeded, terminating % 234.59/232.49 eprover: CPU time limit exceeded, terminating % 236.61/234.49 eprover: CPU time limit exceeded, terminating % 238.66/236.50 eprover: CPU time limit exceeded, terminating % 240.77/238.51 eprover: CPU time limit exceeded, terminating % 242.79/240.52 eprover: CPU time limit exceeded, terminating % 244.81/242.53 eprover: CPU time limit exceeded, terminating % 246.86/244.54 eprover: CPU time limit exceeded, terminating % 248.86/246.55 eprover: CPU time limit exceeded, terminating % 250.87/248.56 eprover: CPU time limit exceeded, terminating % 252.90/250.57 eprover: CPU time limit exceeded, terminating % 254.95/252.58 eprover: CPU time limit exceeded, terminating % 256.93/254.59 eprover: CPU time limit exceeded, terminating % 259.04/256.60 eprover: CPU time limit exceeded, terminating % 261.09/258.61 eprover: CPU time limit exceeded, terminating % 263.12/260.62 eprover: CPU time limit exceeded, terminating % 265.13/262.63 eprover: CPU time limit exceeded, terminating % 267.17/264.64 eprover: CPU time limit exceeded, terminating % 269.20/266.65 eprover: CPU time limit exceeded, terminating % 271.20/268.66 eprover: CPU time limit exceeded, terminating % 273.25/270.67 eprover: CPU time limit exceeded, terminating % 275.24/272.68 eprover: CPU time limit exceeded, terminating % 277.35/274.69 eprover: CPU time limit exceeded, terminating % 279.38/276.70 eprover: CPU time limit exceeded, terminating % 281.43/278.71 eprover: CPU time limit exceeded, terminating % 283.45/280.72 eprover: CPU time limit exceeded, terminating % 285.47/282.73 eprover: CPU time limit exceeded, terminating % 287.51/284.74 eprover: CPU time limit exceeded, terminating % 289.52/286.75 eprover: CPU time limit exceeded, terminating % 291.52/288.76 eprover: CPU time limit exceeded, terminating % 293.58/290.77 eprover: CPU time limit exceeded, terminating % 295.61/292.78 eprover: CPU time limit exceeded, terminating % 297.71/294.79 eprover: CPU time limit exceeded, terminating % 299.72/296.80 eprover: CPU time limit exceeded, terminating % 300.36/297.41 eprover: CPU time limit exceeded, terminating % 300.36/297.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------