%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB066+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:42 EDT 2022 % Result : Timeout 287.36s 285.58s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWB066+1 : TPTP v8.1.0. Released v5.2.0. % 0.06/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n029.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Wed Jun 1 13:34:15 EDT 2022 % 0.12/0.34 % CPUTime : % 3.07/3.33 eprover: CPU time limit exceeded, terminating % 5.09/5.34 eprover: CPU time limit exceeded, terminating % 7.19/7.37 eprover: CPU time limit exceeded, terminating % 9.23/9.39 eprover: CPU time limit exceeded, terminating % 11.27/11.40 eprover: CPU time limit exceeded, terminating % 13.33/13.41 eprover: CPU time limit exceeded, terminating % 15.35/15.42 eprover: CPU time limit exceeded, terminating % 17.35/17.43 eprover: CPU time limit exceeded, terminating % 19.44/19.45 eprover: CPU time limit exceeded, terminating % 21.47/21.46 eprover: CPU time limit exceeded, terminating % 23.45/23.47 eprover: CPU time limit exceeded, terminating % 25.52/25.48 eprover: CPU time limit exceeded, terminating % 27.51/27.49 eprover: CPU time limit exceeded, terminating % 29.61/29.50 eprover: CPU time limit exceeded, terminating % 31.58/31.51 eprover: CPU time limit exceeded, terminating % 33.65/33.53 eprover: CPU time limit exceeded, terminating % 35.70/35.53 eprover: CPU time limit exceeded, terminating % 37.67/37.54 eprover: CPU time limit exceeded, terminating % 39.79/39.56 eprover: CPU time limit exceeded, terminating % 41.80/41.56 eprover: CPU time limit exceeded, terminating % 43.82/43.57 eprover: CPU time limit exceeded, terminating % 45.87/45.58 eprover: CPU time limit exceeded, terminating % 47.86/47.59 eprover: CPU time limit exceeded, terminating % 49.92/49.60 eprover: CPU time limit exceeded, terminating % 51.92/51.61 eprover: CPU time limit exceeded, terminating % 53.98/53.62 eprover: CPU time limit exceeded, terminating % 56.03/55.63 eprover: CPU time limit exceeded, terminating % 58.05/57.64 eprover: CPU time limit exceeded, terminating % 60.10/59.66 eprover: CPU time limit exceeded, terminating % 62.10/61.67 eprover: CPU time limit exceeded, terminating % 64.14/63.68 eprover: CPU time limit exceeded, terminating % 66.15/65.69 eprover: CPU time limit exceeded, terminating % 68.19/67.70 eprover: CPU time limit exceeded, terminating % 70.22/69.71 eprover: CPU time limit exceeded, terminating % 72.21/71.72 eprover: CPU time limit exceeded, terminating % 74.30/73.73 eprover: CPU time limit exceeded, terminating % 76.34/75.74 eprover: CPU time limit exceeded, terminating % 78.35/77.76 eprover: CPU time limit exceeded, terminating % 80.37/79.78 eprover: CPU time limit exceeded, terminating % 82.40/81.99 eprover: CPU time limit exceeded, terminating % 84.47/84.13 eprover: CPU time limit exceeded, terminating % 86.49/86.26 eprover: CPU time limit exceeded, terminating % 88.53/88.37 eprover: CPU time limit exceeded, terminating % 90.53/90.49 eprover: CPU time limit exceeded, terminating % 92.56/92.69 eprover: CPU time limit exceeded, terminating % 94.59/94.70 eprover: CPU time limit exceeded, terminating % 96.61/96.71 eprover: CPU time limit exceeded, terminating % 98.66/98.71 eprover: CPU time limit exceeded, terminating % 100.69/100.72 eprover: CPU time limit exceeded, terminating % 102.67/102.73 eprover: CPU time limit exceeded, terminating % 104.78/104.74 eprover: CPU time limit exceeded, terminating % 106.82/106.75 eprover: CPU time limit exceeded, terminating % 108.87/108.76 eprover: CPU time limit exceeded, terminating % 110.86/110.77 eprover: CPU time limit exceeded, terminating % 112.88/112.78 eprover: CPU time limit exceeded, terminating % 114.95/114.79 eprover: CPU time limit exceeded, terminating % 116.94/116.80 eprover: CPU time limit exceeded, terminating % 119.00/118.80 eprover: CPU time limit exceeded, terminating % 121.00/120.81 eprover: CPU time limit exceeded, terminating % 123.06/122.82 eprover: CPU time limit exceeded, terminating % 125.11/124.83 eprover: CPU time limit exceeded, terminating % 127.09/126.84 eprover: CPU time limit exceeded, terminating % 129.18/128.85 eprover: CPU time limit exceeded, terminating % 131.21/130.86 eprover: CPU time limit exceeded, terminating % 133.23/132.87 eprover: CPU time limit exceeded, terminating % 135.28/134.88 eprover: CPU time limit exceeded, terminating % 137.27/136.88 eprover: CPU time limit exceeded, terminating % 139.32/138.89 eprover: CPU time limit exceeded, terminating % 141.34/140.90 eprover: CPU time limit exceeded, terminating % 143.34/142.91 eprover: CPU time limit exceeded, terminating % 145.35/144.92 eprover: CPU time limit exceeded, terminating % 147.38/146.93 eprover: CPU time limit exceeded, terminating % 149.45/148.94 eprover: CPU time limit exceeded, terminating % 151.47/150.95 eprover: CPU time limit exceeded, terminating % 153.52/152.96 eprover: CPU time limit exceeded, terminating % 155.53/154.97 eprover: CPU time limit exceeded, terminating % 157.54/156.98 eprover: CPU time limit exceeded, terminating % 159.60/158.99 eprover: CPU time limit exceeded, terminating % 161.59/161.00 eprover: CPU time limit exceeded, terminating % 163.65/163.01 eprover: CPU time limit exceeded, terminating % 165.63/165.02 eprover: CPU time limit exceeded, terminating % 167.66/167.03 eprover: CPU time limit exceeded, terminating % 169.71/169.04 eprover: CPU time limit exceeded, terminating % 171.75/171.04 eprover: CPU time limit exceeded, terminating % 173.77/173.05 eprover: CPU time limit exceeded, terminating % 175.79/175.06 eprover: CPU time limit exceeded, terminating % 177.83/177.07 eprover: CPU time limit exceeded, terminating % 179.82/179.08 eprover: CPU time limit exceeded, terminating % 181.87/181.09 eprover: CPU time limit exceeded, terminating % 183.89/183.10 eprover: CPU time limit exceeded, terminating % 185.91/185.11 eprover: CPU time limit exceeded, terminating % 187.93/187.12 eprover: CPU time limit exceeded, terminating % 189.97/189.13 eprover: CPU time limit exceeded, terminating % 192.02/191.14 eprover: CPU time limit exceeded, terminating % 194.06/193.15 eprover: CPU time limit exceeded, terminating % 196.08/195.16 eprover: CPU time limit exceeded, terminating % 198.10/197.17 eprover: CPU time limit exceeded, terminating % 200.10/199.18 eprover: CPU time limit exceeded, terminating % 202.14/201.19 eprover: CPU time limit exceeded, terminating % 204.15/203.20 eprover: CPU time limit exceeded, terminating % 206.22/205.21 eprover: CPU time limit exceeded, terminating % 208.21/207.21 eprover: CPU time limit exceeded, terminating % 210.27/209.22 eprover: CPU time limit exceeded, terminating % 212.26/211.23 eprover: CPU time limit exceeded, terminating % 214.26/213.24 eprover: CPU time limit exceeded, terminating % 216.36/215.25 eprover: CPU time limit exceeded, terminating % 218.37/217.26 eprover: CPU time limit exceeded, terminating % 220.39/219.27 eprover: CPU time limit exceeded, terminating % 222.41/221.28 eprover: CPU time limit exceeded, terminating % 224.44/223.29 eprover: CPU time limit exceeded, terminating % 226.48/225.30 eprover: CPU time limit exceeded, terminating % 228.47/227.30 eprover: CPU time limit exceeded, terminating % 230.49/229.32 eprover: CPU time limit exceeded, terminating % 232.52/231.33 eprover: CPU time limit exceeded, terminating % 234.60/233.33 eprover: CPU time limit exceeded, terminating % 236.61/235.34 eprover: CPU time limit exceeded, terminating % 238.64/237.35 eprover: CPU time limit exceeded, terminating % 240.67/239.36 eprover: CPU time limit exceeded, terminating % 242.69/241.37 eprover: CPU time limit exceeded, terminating % 244.73/243.38 eprover: CPU time limit exceeded, terminating % 246.76/245.39 eprover: CPU time limit exceeded, terminating % 248.76/247.40 eprover: CPU time limit exceeded, terminating % 250.76/249.41 eprover: CPU time limit exceeded, terminating % 252.81/251.42 eprover: CPU time limit exceeded, terminating % 254.87/253.43 eprover: CPU time limit exceeded, terminating % 256.88/255.44 eprover: CPU time limit exceeded, terminating % 258.87/257.45 eprover: CPU time limit exceeded, terminating % 260.97/259.46 eprover: CPU time limit exceeded, terminating % 262.97/261.47 eprover: CPU time limit exceeded, terminating % 264.98/263.47 eprover: CPU time limit exceeded, terminating % 267.04/265.48 eprover: CPU time limit exceeded, terminating % 269.02/267.49 eprover: CPU time limit exceeded, terminating % 271.07/269.50 eprover: CPU time limit exceeded, terminating % 273.11/271.51 eprover: CPU time limit exceeded, terminating % 275.17/273.52 eprover: CPU time limit exceeded, terminating % 277.20/275.53 eprover: CPU time limit exceeded, terminating % 279.16/277.54 eprover: CPU time limit exceeded, terminating % 281.25/279.55 eprover: CPU time limit exceeded, terminating % 283.30/281.56 eprover: CPU time limit exceeded, terminating % 285.30/283.57 eprover: CPU time limit exceeded, terminating % 287.36/285.58 eprover: CPU time limit exceeded, terminating % 289.39/287.59 eprover: CPU time limit exceeded, terminating % 291.42/289.60 eprover: CPU time limit exceeded, terminating % 293.45/291.61 eprover: CPU time limit exceeded, terminating % 295.46/293.61 eprover: CPU time limit exceeded, terminating % 297.46/295.62 eprover: CPU time limit exceeded, terminating % 299.53/297.63 eprover: CPU time limit exceeded, terminating % 300.02/298.07 eprover: CPU time limit exceeded, terminating % 300.02/298.09 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------