%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB026+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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:38 EDT 2022 % Result : Timeout 285.88s 283.34s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : SWB026+1 : TPTP v8.1.0. Released v5.2.0. % 0.08/0.14 % Command : run_infinox %s % 0.13/0.36 % Computer : n021.cluster.edu % 0.13/0.36 % Model : x86_64 x86_64 % 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.36 % Memory : 8042.1875MB % 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.36 % CPULimit : 300 % 0.13/0.36 % WCLimit : 600 % 0.13/0.36 % DateTime : Wed Jun 1 01:40:15 EDT 2022 % 0.13/0.36 % CPUTime : % 2.88/3.07 eprover: CPU time limit exceeded, terminating % 4.92/5.08 eprover: CPU time limit exceeded, terminating % 7.00/7.09 eprover: CPU time limit exceeded, terminating % 9.00/9.10 eprover: CPU time limit exceeded, terminating % 11.00/11.12 eprover: CPU time limit exceeded, terminating % 13.10/13.13 eprover: CPU time limit exceeded, terminating % 15.14/15.14 eprover: CPU time limit exceeded, terminating % 17.15/17.15 eprover: CPU time limit exceeded, terminating % 19.21/19.16 eprover: CPU time limit exceeded, terminating % 21.25/21.17 eprover: CPU time limit exceeded, terminating % 23.29/23.18 eprover: CPU time limit exceeded, terminating % 25.29/25.19 eprover: CPU time limit exceeded, terminating % 27.36/27.20 eprover: CPU time limit exceeded, terminating % 29.37/29.21 eprover: CPU time limit exceeded, terminating % 31.40/31.22 eprover: CPU time limit exceeded, terminating % 33.44/33.23 eprover: CPU time limit exceeded, terminating % 35.45/35.24 eprover: CPU time limit exceeded, terminating % 37.49/37.25 eprover: CPU time limit exceeded, terminating % 39.50/39.26 eprover: CPU time limit exceeded, terminating % 41.50/41.27 eprover: CPU time limit exceeded, terminating % 43.60/43.28 eprover: CPU time limit exceeded, terminating % 45.65/45.30 eprover: CPU time limit exceeded, terminating % 47.69/47.30 eprover: CPU time limit exceeded, terminating % 49.70/49.31 eprover: CPU time limit exceeded, terminating % 51.74/51.32 eprover: CPU time limit exceeded, terminating % 53.75/53.33 eprover: CPU time limit exceeded, terminating % 55.79/55.34 eprover: CPU time limit exceeded, terminating % 57.85/57.35 eprover: CPU time limit exceeded, terminating % 59.84/59.36 eprover: CPU time limit exceeded, terminating % 61.87/61.37 eprover: CPU time limit exceeded, terminating % 63.93/63.38 eprover: CPU time limit exceeded, terminating % 65.99/65.39 eprover: CPU time limit exceeded, terminating % 68.01/67.40 eprover: CPU time limit exceeded, terminating % 69.98/69.41 eprover: CPU time limit exceeded, terminating % 72.08/71.42 eprover: CPU time limit exceeded, terminating % 74.08/73.44 eprover: CPU time limit exceeded, terminating % 76.10/75.45 eprover: CPU time limit exceeded, terminating % 78.16/77.46 eprover: CPU time limit exceeded, terminating % 80.20/79.47 eprover: CPU time limit exceeded, terminating % 82.25/81.48 eprover: CPU time limit exceeded, terminating % 84.24/83.50 eprover: CPU time limit exceeded, terminating % 86.32/85.51 eprover: CPU time limit exceeded, terminating % 88.36/87.52 eprover: CPU time limit exceeded, terminating % 90.39/89.53 eprover: CPU time limit exceeded, terminating % 92.42/91.54 eprover: CPU time limit exceeded, terminating % 94.48/93.56 eprover: CPU time limit exceeded, terminating % 96.46/95.57 eprover: CPU time limit exceeded, terminating % 98.57/97.58 eprover: CPU time limit exceeded, terminating % 100.54/99.59 eprover: CPU time limit exceeded, terminating % 102.57/101.61 eprover: CPU time limit exceeded, terminating % 104.68/103.62 eprover: CPU time limit exceeded, terminating % 106.72/105.63 eprover: CPU time limit exceeded, terminating % 108.76/107.64 eprover: CPU time limit exceeded, terminating % 110.76/109.65 eprover: CPU time limit exceeded, terminating % 112.82/111.67 eprover: CPU time limit exceeded, terminating % 114.80/113.68 eprover: CPU time limit exceeded, terminating % 116.87/115.69 eprover: CPU time limit exceeded, terminating % 118.86/117.70 eprover: CPU time limit exceeded, terminating % 120.97/119.72 eprover: CPU time limit exceeded, terminating % 122.97/121.73 eprover: CPU time limit exceeded, terminating % 125.01/123.74 eprover: CPU time limit exceeded, terminating % 127.01/125.75 eprover: CPU time limit exceeded, terminating % 129.06/127.76 eprover: CPU time limit exceeded, terminating % 131.16/129.77 eprover: CPU time limit exceeded, terminating % 133.12/131.79 eprover: CPU time limit exceeded, terminating % 135.22/133.80 eprover: CPU time limit exceeded, terminating % 137.19/135.81 eprover: CPU time limit exceeded, terminating % 139.29/137.82 eprover: CPU time limit exceeded, terminating % 141.30/139.83 eprover: CPU time limit exceeded, terminating % 143.35/141.84 eprover: CPU time limit exceeded, terminating % 145.38/143.86 eprover: CPU time limit exceeded, terminating % 147.38/145.87 eprover: CPU time limit exceeded, terminating % 149.48/147.88 eprover: CPU time limit exceeded, terminating % 151.42/149.89 eprover: CPU time limit exceeded, terminating % 153.49/151.90 eprover: CPU time limit exceeded, terminating % 155.57/153.91 eprover: CPU time limit exceeded, terminating % 157.57/155.93 eprover: CPU time limit exceeded, terminating % 159.62/157.94 eprover: CPU time limit exceeded, terminating % 161.64/159.95 eprover: CPU time limit exceeded, terminating % 163.67/161.96 eprover: CPU time limit exceeded, terminating % 165.74/163.97 eprover: CPU time limit exceeded, terminating % 167.71/165.98 eprover: CPU time limit exceeded, terminating % 169.85/168.00 eprover: CPU time limit exceeded, terminating % 171.87/170.01 eprover: CPU time limit exceeded, terminating % 173.86/172.02 eprover: CPU time limit exceeded, terminating % 175.93/174.03 eprover: CPU time limit exceeded, terminating % 177.95/176.05 eprover: CPU time limit exceeded, terminating % 180.00/178.06 eprover: CPU time limit exceeded, terminating % 182.01/180.07 eprover: CPU time limit exceeded, terminating % 184.11/182.08 eprover: CPU time limit exceeded, terminating % 186.09/184.13 eprover: CPU time limit exceeded, terminating % 188.16/186.14 eprover: CPU time limit exceeded, terminating % 190.19/188.19 eprover: CPU time limit exceeded, terminating % 192.23/190.21 eprover: CPU time limit exceeded, terminating % 194.25/192.23 eprover: CPU time limit exceeded, terminating % 196.22/194.26 eprover: CPU time limit exceeded, terminating % 198.32/196.27 eprover: CPU time limit exceeded, terminating % 200.36/198.28 eprover: CPU time limit exceeded, terminating % 202.41/200.32 eprover: CPU time limit exceeded, terminating % 204.41/202.36 eprover: CPU time limit exceeded, terminating % 206.47/204.40 eprover: CPU time limit exceeded, terminating % 208.46/206.46 eprover: CPU time limit exceeded, terminating % 210.55/208.52 eprover: CPU time limit exceeded, terminating % 212.55/210.55 eprover: CPU time limit exceeded, terminating % 214.57/212.56 eprover: CPU time limit exceeded, terminating % 216.60/214.60 eprover: CPU time limit exceeded, terminating % 218.68/216.61 eprover: CPU time limit exceeded, terminating % 220.71/218.64 eprover: CPU time limit exceeded, terminating % 222.73/220.65 eprover: CPU time limit exceeded, terminating % 224.78/222.67 eprover: CPU time limit exceeded, terminating % 226.79/224.69 eprover: CPU time limit exceeded, terminating % 228.85/226.75 eprover: CPU time limit exceeded, terminating % 230.90/228.78 eprover: CPU time limit exceeded, terminating % 232.87/230.80 eprover: CPU time limit exceeded, terminating % 234.98/232.82 eprover: CPU time limit exceeded, terminating % 237.02/234.83 eprover: CPU time limit exceeded, terminating % 239.08/236.88 eprover: CPU time limit exceeded, terminating % 241.04/238.89 eprover: CPU time limit exceeded, terminating % 243.13/240.91 eprover: CPU time limit exceeded, terminating % 245.17/242.92 eprover: CPU time limit exceeded, terminating % 247.18/244.94 eprover: CPU time limit exceeded, terminating % 249.22/246.95 eprover: CPU time limit exceeded, terminating % 251.24/249.00 eprover: CPU time limit exceeded, terminating % 253.27/251.02 eprover: CPU time limit exceeded, terminating % 255.34/253.03 eprover: CPU time limit exceeded, terminating % 257.38/255.08 eprover: CPU time limit exceeded, terminating % 259.40/257.10 eprover: CPU time limit exceeded, terminating % 261.41/259.12 eprover: CPU time limit exceeded, terminating % 263.42/261.13 eprover: CPU time limit exceeded, terminating % 265.50/263.16 eprover: CPU time limit exceeded, terminating % 267.55/265.18 eprover: CPU time limit exceeded, terminating % 269.59/267.19 eprover: CPU time limit exceeded, terminating % 271.59/269.21 eprover: CPU time limit exceeded, terminating % 273.67/271.23 eprover: CPU time limit exceeded, terminating % 275.63/273.25 eprover: CPU time limit exceeded, terminating % 277.73/275.27 eprover: CPU time limit exceeded, terminating % 279.74/277.29 eprover: CPU time limit exceeded, terminating % 281.76/279.30 eprover: CPU time limit exceeded, terminating % 283.84/281.33 eprover: CPU time limit exceeded, terminating % 285.88/283.34 eprover: CPU time limit exceeded, terminating % 287.87/285.36 eprover: CPU time limit exceeded, terminating % 289.95/287.38 eprover: CPU time limit exceeded, terminating % 291.97/289.40 eprover: CPU time limit exceeded, terminating % 294.03/291.41 eprover: CPU time limit exceeded, terminating % 296.00/293.43 eprover: CPU time limit exceeded, terminating % 298.06/295.44 eprover: CPU time limit exceeded, terminating % 300.03/297.36 eprover: CPU time limit exceeded, terminating % 300.03/297.38 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------