%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB042+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:41 EDT 2022 % Result : Timeout 287.61s 285.03s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.12 % Problem : SWB042+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n021.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 1 14:31:00 EDT 2022 % 0.12/0.34 % CPUTime : % 2.93/3.13 eprover: CPU time limit exceeded, terminating % 4.96/5.15 eprover: CPU time limit exceeded, terminating % 6.97/7.16 eprover: CPU time limit exceeded, terminating % 9.05/9.18 eprover: CPU time limit exceeded, terminating % 11.00/11.20 eprover: CPU time limit exceeded, terminating % 13.12/13.21 eprover: CPU time limit exceeded, terminating % 15.14/15.23 eprover: CPU time limit exceeded, terminating % 17.13/17.24 eprover: CPU time limit exceeded, terminating % 19.15/19.26 eprover: CPU time limit exceeded, terminating % 21.19/21.27 eprover: CPU time limit exceeded, terminating % 23.23/23.28 eprover: CPU time limit exceeded, terminating % 25.32/25.29 eprover: CPU time limit exceeded, terminating % 27.34/27.30 eprover: CPU time limit exceeded, terminating % 29.38/29.32 eprover: CPU time limit exceeded, terminating % 31.41/31.33 eprover: CPU time limit exceeded, terminating % 33.42/33.34 eprover: CPU time limit exceeded, terminating % 35.43/35.36 eprover: CPU time limit exceeded, terminating % 37.47/37.38 eprover: CPU time limit exceeded, terminating % 39.47/39.39 eprover: CPU time limit exceeded, terminating % 41.51/41.40 eprover: CPU time limit exceeded, terminating % 43.61/43.41 eprover: CPU time limit exceeded, terminating % 45.60/45.43 eprover: CPU time limit exceeded, terminating % 47.63/47.44 eprover: CPU time limit exceeded, terminating % 49.69/49.45 eprover: CPU time limit exceeded, terminating % 51.67/51.46 eprover: CPU time limit exceeded, terminating % 53.70/53.47 eprover: CPU time limit exceeded, terminating % 55.75/55.49 eprover: CPU time limit exceeded, terminating % 57.74/57.50 eprover: CPU time limit exceeded, terminating % 59.86/59.51 eprover: CPU time limit exceeded, terminating % 61.91/61.53 eprover: CPU time limit exceeded, terminating % 63.92/63.54 eprover: CPU time limit exceeded, terminating % 65.94/65.55 eprover: CPU time limit exceeded, terminating % 67.96/67.57 eprover: CPU time limit exceeded, terminating % 70.06/69.59 eprover: CPU time limit exceeded, terminating % 72.09/71.60 eprover: CPU time limit exceeded, terminating % 74.12/73.62 eprover: CPU time limit exceeded, terminating % 76.13/75.63 eprover: CPU time limit exceeded, terminating % 78.13/77.65 eprover: CPU time limit exceeded, terminating % 80.14/79.66 eprover: CPU time limit exceeded, terminating % 82.26/81.68 eprover: CPU time limit exceeded, terminating % 84.21/83.69 eprover: CPU time limit exceeded, terminating % 86.31/85.71 eprover: CPU time limit exceeded, terminating % 88.35/87.73 eprover: CPU time limit exceeded, terminating % 90.38/89.74 eprover: CPU time limit exceeded, terminating % 92.41/91.75 eprover: CPU time limit exceeded, terminating % 94.42/93.77 eprover: CPU time limit exceeded, terminating % 96.46/95.78 eprover: CPU time limit exceeded, terminating % 98.53/97.80 eprover: CPU time limit exceeded, terminating % 100.57/99.81 eprover: CPU time limit exceeded, terminating % 102.58/101.82 eprover: CPU time limit exceeded, terminating % 104.62/103.83 eprover: CPU time limit exceeded, terminating % 106.60/105.85 eprover: CPU time limit exceeded, terminating % 108.66/107.86 eprover: CPU time limit exceeded, terminating % 110.74/109.87 eprover: CPU time limit exceeded, terminating % 112.72/111.89 eprover: CPU time limit exceeded, terminating % 114.80/113.90 eprover: CPU time limit exceeded, terminating % 116.82/115.91 eprover: CPU time limit exceeded, terminating % 118.86/117.92 eprover: CPU time limit exceeded, terminating % 120.88/119.94 eprover: CPU time limit exceeded, terminating % 122.89/121.95 eprover: CPU time limit exceeded, terminating % 124.95/123.97 eprover: CPU time limit exceeded, terminating % 127.00/125.98 eprover: CPU time limit exceeded, terminating % 128.97/128.00 eprover: CPU time limit exceeded, terminating % 131.04/130.01 eprover: CPU time limit exceeded, terminating % 133.09/132.02 eprover: CPU time limit exceeded, terminating % 135.10/134.04 eprover: CPU time limit exceeded, terminating % 137.13/136.05 eprover: CPU time limit exceeded, terminating % 139.16/138.06 eprover: CPU time limit exceeded, terminating % 141.20/140.07 eprover: CPU time limit exceeded, terminating % 143.18/142.08 eprover: CPU time limit exceeded, terminating % 145.30/144.09 eprover: CPU time limit exceeded, terminating % 147.25/146.11 eprover: CPU time limit exceeded, terminating % 149.36/148.12 eprover: CPU time limit exceeded, terminating % 151.36/150.13 eprover: CPU time limit exceeded, terminating % 153.40/152.14 eprover: CPU time limit exceeded, terminating % 155.39/154.17 eprover: CPU time limit exceeded, terminating % 157.44/156.18 eprover: CPU time limit exceeded, terminating % 159.52/158.19 eprover: CPU time limit exceeded, terminating % 161.48/160.20 eprover: CPU time limit exceeded, terminating % 163.56/162.21 eprover: CPU time limit exceeded, terminating % 165.59/164.22 eprover: CPU time limit exceeded, terminating % 167.58/166.23 eprover: CPU time limit exceeded, terminating % 169.64/168.24 eprover: CPU time limit exceeded, terminating % 171.64/170.26 eprover: CPU time limit exceeded, terminating % 173.70/172.27 eprover: CPU time limit exceeded, terminating % 175.77/174.28 eprover: CPU time limit exceeded, terminating % 177.76/176.29 eprover: CPU time limit exceeded, terminating % 179.82/178.31 eprover: CPU time limit exceeded, terminating % 181.85/180.32 eprover: CPU time limit exceeded, terminating % 183.86/182.33 eprover: CPU time limit exceeded, terminating % 185.90/184.34 eprover: CPU time limit exceeded, terminating % 187.89/186.36 eprover: CPU time limit exceeded, terminating % 189.95/188.37 eprover: CPU time limit exceeded, terminating % 192.02/190.39 eprover: CPU time limit exceeded, terminating % 194.06/192.41 eprover: CPU time limit exceeded, terminating % 196.11/194.42 eprover: CPU time limit exceeded, terminating % 198.10/196.43 eprover: CPU time limit exceeded, terminating % 200.12/198.45 eprover: CPU time limit exceeded, terminating % 202.16/200.47 eprover: CPU time limit exceeded, terminating % 204.18/202.48 eprover: CPU time limit exceeded, terminating % 206.26/204.49 eprover: CPU time limit exceeded, terminating % 208.21/206.50 eprover: CPU time limit exceeded, terminating % 210.27/208.52 eprover: CPU time limit exceeded, terminating % 212.36/210.53 eprover: CPU time limit exceeded, terminating % 214.40/212.54 eprover: CPU time limit exceeded, terminating % 216.40/214.56 eprover: CPU time limit exceeded, terminating % 218.43/216.57 eprover: CPU time limit exceeded, terminating % 220.45/218.59 eprover: CPU time limit exceeded, terminating % 222.55/220.60 eprover: CPU time limit exceeded, terminating % 224.55/222.62 eprover: CPU time limit exceeded, terminating % 226.59/224.63 eprover: CPU time limit exceeded, terminating % 228.62/226.64 eprover: CPU time limit exceeded, terminating % 230.63/228.66 eprover: CPU time limit exceeded, terminating % 232.62/230.67 eprover: CPU time limit exceeded, terminating % 234.64/232.68 eprover: CPU time limit exceeded, terminating % 236.77/234.70 eprover: CPU time limit exceeded, terminating % 238.80/236.71 eprover: CPU time limit exceeded, terminating % 240.84/238.72 eprover: CPU time limit exceeded, terminating % 242.81/240.74 eprover: CPU time limit exceeded, terminating % 244.88/242.75 eprover: CPU time limit exceeded, terminating % 246.92/244.77 eprover: CPU time limit exceeded, terminating % 248.90/246.78 eprover: CPU time limit exceeded, terminating % 250.98/248.79 eprover: CPU time limit exceeded, terminating % 253.03/250.82 eprover: CPU time limit exceeded, terminating % 254.98/252.83 eprover: CPU time limit exceeded, terminating % 257.05/254.84 eprover: CPU time limit exceeded, terminating % 259.11/256.85 eprover: CPU time limit exceeded, terminating % 261.11/258.87 eprover: CPU time limit exceeded, terminating % 263.13/260.88 eprover: CPU time limit exceeded, terminating % 265.24/262.90 eprover: CPU time limit exceeded, terminating % 267.27/264.91 eprover: CPU time limit exceeded, terminating % 269.30/266.92 eprover: CPU time limit exceeded, terminating % 271.32/268.93 eprover: CPU time limit exceeded, terminating % 273.36/270.94 eprover: CPU time limit exceeded, terminating % 275.36/272.96 eprover: CPU time limit exceeded, terminating % 277.41/274.97 eprover: CPU time limit exceeded, terminating % 279.49/276.98 eprover: CPU time limit exceeded, terminating % 281.50/279.00 eprover: CPU time limit exceeded, terminating % 283.54/281.01 eprover: CPU time limit exceeded, terminating % 285.55/283.02 eprover: CPU time limit exceeded, terminating % 287.61/285.03 eprover: CPU time limit exceeded, terminating % 289.62/287.04 eprover: CPU time limit exceeded, terminating % 291.66/289.05 eprover: CPU time limit exceeded, terminating % 293.65/291.06 eprover: CPU time limit exceeded, terminating % 295.67/293.08 eprover: CPU time limit exceeded, terminating % 299.67/295.10 eprover: CPU time limit exceeded, terminating % 300.01/295.42 eprover: CPU time limit exceeded, terminating % 300.01/295.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------