%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM699+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n018.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 : Mon Jul 18 10:39:47 EDT 2022 % Result : Timeout 287.57s 283.20s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.12 % Problem : NUM699+4 : TPTP v8.1.0. Released v7.3.0. % 0.04/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n018.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Thu Jul 7 15:19:54 EDT 2022 % 0.13/0.34 % CPUTime : % 3.10/3.32 eprover: CPU time limit exceeded, terminating % 5.20/5.34 eprover: CPU time limit exceeded, terminating % 7.23/7.35 eprover: CPU time limit exceeded, terminating % 9.30/9.37 eprover: CPU time limit exceeded, terminating % 11.29/11.40 eprover: CPU time limit exceeded, terminating % 13.33/13.41 eprover: CPU time limit exceeded, terminating % 15.44/15.42 eprover: CPU time limit exceeded, terminating % 17.50/17.43 eprover: CPU time limit exceeded, terminating % 19.47/19.44 eprover: CPU time limit exceeded, terminating % 21.53/21.46 eprover: CPU time limit exceeded, terminating % 23.62/23.47 eprover: CPU time limit exceeded, terminating % 25.67/25.48 eprover: CPU time limit exceeded, terminating % 27.69/27.49 eprover: CPU time limit exceeded, terminating % 29.73/29.51 eprover: CPU time limit exceeded, terminating % 31.80/31.53 eprover: CPU time limit exceeded, terminating % 33.78/33.54 eprover: CPU time limit exceeded, terminating % 35.85/35.55 eprover: CPU time limit exceeded, terminating % 37.93/37.57 eprover: CPU time limit exceeded, terminating % 39.95/39.58 eprover: CPU time limit exceeded, terminating % 42.02/41.59 eprover: CPU time limit exceeded, terminating % 44.05/43.60 eprover: CPU time limit exceeded, terminating % 46.11/45.63 eprover: CPU time limit exceeded, terminating % 48.11/47.64 eprover: CPU time limit exceeded, terminating % 50.21/49.65 eprover: CPU time limit exceeded, terminating % 52.25/51.66 eprover: CPU time limit exceeded, terminating % 54.25/53.67 eprover: CPU time limit exceeded, terminating % 56.36/55.69 eprover: CPU time limit exceeded, terminating % 58.41/57.70 eprover: CPU time limit exceeded, terminating % 60.43/59.71 eprover: CPU time limit exceeded, terminating % 62.45/61.73 eprover: CPU time limit exceeded, terminating % 64.54/63.74 eprover: CPU time limit exceeded, terminating % 66.53/65.75 eprover: CPU time limit exceeded, terminating % 68.60/67.77 eprover: CPU time limit exceeded, terminating % 70.69/69.80 eprover: CPU time limit exceeded, terminating % 72.73/71.81 eprover: CPU time limit exceeded, terminating % 74.77/73.82 eprover: CPU time limit exceeded, terminating % 76.81/75.84 eprover: CPU time limit exceeded, terminating % 78.85/77.85 eprover: CPU time limit exceeded, terminating % 80.85/79.86 eprover: CPU time limit exceeded, terminating % 82.92/81.87 eprover: CPU time limit exceeded, terminating % 84.96/83.89 eprover: CPU time limit exceeded, terminating % 87.07/85.90 eprover: CPU time limit exceeded, terminating % 89.10/87.91 eprover: CPU time limit exceeded, terminating % 91.13/89.92 eprover: CPU time limit exceeded, terminating % 93.15/91.95 eprover: CPU time limit exceeded, terminating % 95.19/93.96 eprover: CPU time limit exceeded, terminating % 97.25/95.98 eprover: CPU time limit exceeded, terminating % 99.26/97.99 eprover: CPU time limit exceeded, terminating % 101.38/100.00 eprover: CPU time limit exceeded, terminating % 103.43/102.02 eprover: CPU time limit exceeded, terminating % 105.43/104.05 eprover: CPU time limit exceeded, terminating % 107.46/106.06 eprover: CPU time limit exceeded, terminating % 109.51/108.08 eprover: CPU time limit exceeded, terminating % 111.60/110.09 eprover: CPU time limit exceeded, terminating % 113.57/112.10 eprover: CPU time limit exceeded, terminating % 115.66/114.11 eprover: CPU time limit exceeded, terminating % 117.74/116.13 eprover: CPU time limit exceeded, terminating % 119.74/118.14 eprover: CPU time limit exceeded, terminating % 121.78/120.16 eprover: CPU time limit exceeded, terminating % 123.81/122.18 eprover: CPU time limit exceeded, terminating % 125.83/124.20 eprover: CPU time limit exceeded, terminating % 127.94/126.21 eprover: CPU time limit exceeded, terminating % 130.01/128.22 eprover: CPU time limit exceeded, terminating % 132.02/130.24 eprover: CPU time limit exceeded, terminating % 134.11/132.25 eprover: CPU time limit exceeded, terminating % 136.10/134.26 eprover: CPU time limit exceeded, terminating % 138.15/136.28 eprover: CPU time limit exceeded, terminating % 140.25/138.31 eprover: CPU time limit exceeded, terminating % 142.27/140.33 eprover: CPU time limit exceeded, terminating % 144.32/142.34 eprover: CPU time limit exceeded, terminating % 146.34/144.35 eprover: CPU time limit exceeded, terminating % 148.41/146.36 eprover: CPU time limit exceeded, terminating % 150.43/148.38 eprover: CPU time limit exceeded, terminating % 152.52/150.39 eprover: CPU time limit exceeded, terminating % 154.50/152.40 eprover: CPU time limit exceeded, terminating % 156.62/154.41 eprover: CPU time limit exceeded, terminating % 158.63/156.43 eprover: CPU time limit exceeded, terminating % 160.67/158.44 eprover: CPU time limit exceeded, terminating % 162.70/160.47 eprover: CPU time limit exceeded, terminating % 164.73/162.48 eprover: CPU time limit exceeded, terminating % 166.84/164.50 eprover: CPU time limit exceeded, terminating % 168.87/166.52 eprover: CPU time limit exceeded, terminating % 170.92/168.53 eprover: CPU time limit exceeded, terminating % 172.95/170.55 eprover: CPU time limit exceeded, terminating % 174.97/172.56 eprover: CPU time limit exceeded, terminating % 177.02/174.57 eprover: CPU time limit exceeded, terminating % 179.06/176.58 eprover: CPU time limit exceeded, terminating % 181.17/178.60 eprover: CPU time limit exceeded, terminating % 183.18/180.61 eprover: CPU time limit exceeded, terminating % 185.24/182.64 eprover: CPU time limit exceeded, terminating % 187.24/184.65 eprover: CPU time limit exceeded, terminating % 189.31/186.67 eprover: CPU time limit exceeded, terminating % 191.39/188.68 eprover: CPU time limit exceeded, terminating % 193.43/190.69 eprover: CPU time limit exceeded, terminating % 195.39/192.71 eprover: CPU time limit exceeded, terminating % 197.50/194.73 eprover: CPU time limit exceeded, terminating % 199.54/196.74 eprover: CPU time limit exceeded, terminating % 201.60/198.76 eprover: CPU time limit exceeded, terminating % 203.60/200.77 eprover: CPU time limit exceeded, terminating % 205.72/202.78 eprover: CPU time limit exceeded, terminating % 207.76/204.79 eprover: CPU time limit exceeded, terminating % 209.80/206.80 eprover: CPU time limit exceeded, terminating % 211.81/208.81 eprover: CPU time limit exceeded, terminating % 213.91/210.82 eprover: CPU time limit exceeded, terminating % 215.95/212.83 eprover: CPU time limit exceeded, terminating % 217.97/214.84 eprover: CPU time limit exceeded, terminating % 220.03/216.85 eprover: CPU time limit exceeded, terminating % 222.05/218.87 eprover: CPU time limit exceeded, terminating % 224.15/220.88 eprover: CPU time limit exceeded, terminating % 226.19/222.89 eprover: CPU time limit exceeded, terminating % 228.16/224.90 eprover: CPU time limit exceeded, terminating % 230.28/226.91 eprover: CPU time limit exceeded, terminating % 232.33/228.92 eprover: CPU time limit exceeded, terminating % 234.36/230.93 eprover: CPU time limit exceeded, terminating % 236.38/232.94 eprover: CPU time limit exceeded, terminating % 238.44/234.95 eprover: CPU time limit exceeded, terminating % 240.45/236.96 eprover: CPU time limit exceeded, terminating % 242.50/238.97 eprover: CPU time limit exceeded, terminating % 244.55/240.98 eprover: CPU time limit exceeded, terminating % 246.56/242.99 eprover: CPU time limit exceeded, terminating % 248.68/245.00 eprover: CPU time limit exceeded, terminating % 250.73/247.01 eprover: CPU time limit exceeded, terminating % 252.78/249.02 eprover: CPU time limit exceeded, terminating % 254.83/251.03 eprover: CPU time limit exceeded, terminating % 256.82/253.04 eprover: CPU time limit exceeded, terminating % 258.85/255.06 eprover: CPU time limit exceeded, terminating % 260.91/257.07 eprover: CPU time limit exceeded, terminating % 263.01/259.08 eprover: CPU time limit exceeded, terminating % 265.06/261.09 eprover: CPU time limit exceeded, terminating % 267.03/263.10 eprover: CPU time limit exceeded, terminating % 269.17/265.11 eprover: CPU time limit exceeded, terminating % 271.18/267.12 eprover: CPU time limit exceeded, terminating % 273.24/269.13 eprover: CPU time limit exceeded, terminating % 275.30/271.14 eprover: CPU time limit exceeded, terminating % 277.32/273.16 eprover: CPU time limit exceeded, terminating % 279.35/275.17 eprover: CPU time limit exceeded, terminating % 281.39/277.18 eprover: CPU time limit exceeded, terminating % 283.42/279.18 eprover: CPU time limit exceeded, terminating % 285.51/281.19 eprover: CPU time limit exceeded, terminating % 287.57/283.20 eprover: CPU time limit exceeded, terminating % 289.61/285.21 eprover: CPU time limit exceeded, terminating % 291.66/287.23 eprover: CPU time limit exceeded, terminating % 293.71/289.24 eprover: CPU time limit exceeded, terminating % 295.76/291.25 eprover: CPU time limit exceeded, terminating % 297.72/293.26 eprover: CPU time limit exceeded, terminating % 299.82/295.27 eprover: CPU time limit exceeded, terminating % 300.31/295.70 eprover: CPU time limit exceeded, terminating % 300.31/295.71 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------