%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM684+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n013.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:33 EDT 2022 % Result : Timeout 287.41s 283.08s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : NUM684+4 : TPTP v8.1.0. Released v7.3.0. % 0.06/0.13 % Command : run_infinox %s % 0.13/0.33 % Computer : n013.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % 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 12:21:59 EDT 2022 % 0.13/0.34 % CPUTime : % 3.08/3.23 eprover: CPU time limit exceeded, terminating % 5.10/5.24 eprover: CPU time limit exceeded, terminating % 7.10/7.25 eprover: CPU time limit exceeded, terminating % 9.18/9.27 eprover: CPU time limit exceeded, terminating % 11.27/11.28 eprover: CPU time limit exceeded, terminating % 13.29/13.30 eprover: CPU time limit exceeded, terminating % 15.30/15.31 eprover: CPU time limit exceeded, terminating % 17.36/17.32 eprover: CPU time limit exceeded, terminating % 19.44/19.34 eprover: CPU time limit exceeded, terminating % 21.39/21.35 eprover: CPU time limit exceeded, terminating % 23.50/23.36 eprover: CPU time limit exceeded, terminating % 25.55/25.38 eprover: CPU time limit exceeded, terminating % 27.57/27.39 eprover: CPU time limit exceeded, terminating % 29.63/29.40 eprover: CPU time limit exceeded, terminating % 31.69/31.42 eprover: CPU time limit exceeded, terminating % 33.74/33.44 eprover: CPU time limit exceeded, terminating % 35.79/35.45 eprover: CPU time limit exceeded, terminating % 37.84/37.47 eprover: CPU time limit exceeded, terminating % 39.89/39.48 eprover: CPU time limit exceeded, terminating % 41.92/41.50 eprover: CPU time limit exceeded, terminating % 43.95/43.51 eprover: CPU time limit exceeded, terminating % 46.01/45.53 eprover: CPU time limit exceeded, terminating % 48.03/47.54 eprover: CPU time limit exceeded, terminating % 50.09/49.56 eprover: CPU time limit exceeded, terminating % 52.13/51.57 eprover: CPU time limit exceeded, terminating % 54.18/53.58 eprover: CPU time limit exceeded, terminating % 56.20/55.60 eprover: CPU time limit exceeded, terminating % 58.29/57.61 eprover: CPU time limit exceeded, terminating % 60.33/59.63 eprover: CPU time limit exceeded, terminating % 62.37/61.64 eprover: CPU time limit exceeded, terminating % 64.43/63.65 eprover: CPU time limit exceeded, terminating % 66.39/65.66 eprover: CPU time limit exceeded, terminating % 68.48/67.67 eprover: CPU time limit exceeded, terminating % 70.53/69.68 eprover: CPU time limit exceeded, terminating % 72.59/71.70 eprover: CPU time limit exceeded, terminating % 74.61/73.71 eprover: CPU time limit exceeded, terminating % 76.69/75.72 eprover: CPU time limit exceeded, terminating % 78.69/77.74 eprover: CPU time limit exceeded, terminating % 80.78/79.75 eprover: CPU time limit exceeded, terminating % 82.84/81.77 eprover: CPU time limit exceeded, terminating % 84.86/83.78 eprover: CPU time limit exceeded, terminating % 86.91/85.80 eprover: CPU time limit exceeded, terminating % 88.93/87.81 eprover: CPU time limit exceeded, terminating % 90.98/89.82 eprover: CPU time limit exceeded, terminating % 92.98/91.84 eprover: CPU time limit exceeded, terminating % 95.08/93.85 eprover: CPU time limit exceeded, terminating % 97.10/95.87 eprover: CPU time limit exceeded, terminating % 99.16/97.88 eprover: CPU time limit exceeded, terminating % 101.21/99.90 eprover: CPU time limit exceeded, terminating % 103.26/101.91 eprover: CPU time limit exceeded, terminating % 105.27/103.92 eprover: CPU time limit exceeded, terminating % 107.32/105.93 eprover: CPU time limit exceeded, terminating % 109.40/107.95 eprover: CPU time limit exceeded, terminating % 111.39/109.96 eprover: CPU time limit exceeded, terminating % 113.46/111.98 eprover: CPU time limit exceeded, terminating % 115.54/113.99 eprover: CPU time limit exceeded, terminating % 117.60/116.00 eprover: CPU time limit exceeded, terminating % 119.61/118.02 eprover: CPU time limit exceeded, terminating % 121.70/120.03 eprover: CPU time limit exceeded, terminating % 123.68/122.04 eprover: CPU time limit exceeded, terminating % 125.79/124.06 eprover: CPU time limit exceeded, terminating % 127.84/126.07 eprover: CPU time limit exceeded, terminating % 129.90/128.08 eprover: CPU time limit exceeded, terminating % 131.90/130.10 eprover: CPU time limit exceeded, terminating % 133.96/132.12 eprover: CPU time limit exceeded, terminating % 136.04/134.13 eprover: CPU time limit exceeded, terminating % 138.02/136.14 eprover: CPU time limit exceeded, terminating % 140.12/138.16 eprover: CPU time limit exceeded, terminating % 142.13/140.17 eprover: CPU time limit exceeded, terminating % 144.21/142.19 eprover: CPU time limit exceeded, terminating % 146.19/144.20 eprover: CPU time limit exceeded, terminating % 148.30/146.21 eprover: CPU time limit exceeded, terminating % 150.35/148.23 eprover: CPU time limit exceeded, terminating % 152.38/150.24 eprover: CPU time limit exceeded, terminating % 154.45/152.26 eprover: CPU time limit exceeded, terminating % 156.46/154.27 eprover: CPU time limit exceeded, terminating % 158.51/156.28 eprover: CPU time limit exceeded, terminating % 160.56/158.30 eprover: CPU time limit exceeded, terminating % 162.62/160.31 eprover: CPU time limit exceeded, terminating % 164.62/162.33 eprover: CPU time limit exceeded, terminating % 166.68/164.34 eprover: CPU time limit exceeded, terminating % 168.71/166.35 eprover: CPU time limit exceeded, terminating % 170.80/168.36 eprover: CPU time limit exceeded, terminating % 172.84/170.38 eprover: CPU time limit exceeded, terminating % 174.88/172.39 eprover: CPU time limit exceeded, terminating % 176.91/174.40 eprover: CPU time limit exceeded, terminating % 178.91/176.43 eprover: CPU time limit exceeded, terminating % 181.05/178.44 eprover: CPU time limit exceeded, terminating % 183.05/180.46 eprover: CPU time limit exceeded, terminating % 185.10/182.48 eprover: CPU time limit exceeded, terminating % 187.16/184.49 eprover: CPU time limit exceeded, terminating % 189.18/186.52 eprover: CPU time limit exceeded, terminating % 191.26/188.55 eprover: CPU time limit exceeded, terminating % 193.33/190.56 eprover: CPU time limit exceeded, terminating % 195.36/192.57 eprover: CPU time limit exceeded, terminating % 197.40/194.58 eprover: CPU time limit exceeded, terminating % 199.46/196.60 eprover: CPU time limit exceeded, terminating % 201.46/198.61 eprover: CPU time limit exceeded, terminating % 203.52/200.62 eprover: CPU time limit exceeded, terminating % 205.58/202.63 eprover: CPU time limit exceeded, terminating % 207.65/204.64 eprover: CPU time limit exceeded, terminating % 209.65/206.65 eprover: CPU time limit exceeded, terminating % 211.73/208.66 eprover: CPU time limit exceeded, terminating % 213.74/210.67 eprover: CPU time limit exceeded, terminating % 215.79/212.68 eprover: CPU time limit exceeded, terminating % 217.84/214.69 eprover: CPU time limit exceeded, terminating % 219.85/216.70 eprover: CPU time limit exceeded, terminating % 221.89/218.71 eprover: CPU time limit exceeded, terminating % 223.93/220.72 eprover: CPU time limit exceeded, terminating % 226.01/222.73 eprover: CPU time limit exceeded, terminating % 228.08/224.74 eprover: CPU time limit exceeded, terminating % 230.13/226.75 eprover: CPU time limit exceeded, terminating % 232.17/228.76 eprover: CPU time limit exceeded, terminating % 234.21/230.77 eprover: CPU time limit exceeded, terminating % 236.23/232.78 eprover: CPU time limit exceeded, terminating % 238.30/234.79 eprover: CPU time limit exceeded, terminating % 240.32/236.80 eprover: CPU time limit exceeded, terminating % 242.40/238.81 eprover: CPU time limit exceeded, terminating % 244.39/240.83 eprover: CPU time limit exceeded, terminating % 246.44/242.84 eprover: CPU time limit exceeded, terminating % 248.52/244.85 eprover: CPU time limit exceeded, terminating % 250.58/246.86 eprover: CPU time limit exceeded, terminating % 252.63/248.87 eprover: CPU time limit exceeded, terminating % 254.70/250.88 eprover: CPU time limit exceeded, terminating % 256.67/252.89 eprover: CPU time limit exceeded, terminating % 258.77/254.90 eprover: CPU time limit exceeded, terminating % 260.80/256.92 eprover: CPU time limit exceeded, terminating % 262.85/258.93 eprover: CPU time limit exceeded, terminating % 264.92/260.94 eprover: CPU time limit exceeded, terminating % 266.91/262.95 eprover: CPU time limit exceeded, terminating % 269.01/264.96 eprover: CPU time limit exceeded, terminating % 271.04/266.98 eprover: CPU time limit exceeded, terminating % 273.12/268.99 eprover: CPU time limit exceeded, terminating % 275.12/271.00 eprover: CPU time limit exceeded, terminating % 277.14/273.01 eprover: CPU time limit exceeded, terminating % 279.23/275.03 eprover: CPU time limit exceeded, terminating % 281.29/277.04 eprover: CPU time limit exceeded, terminating % 283.32/279.05 eprover: CPU time limit exceeded, terminating % 285.40/281.07 eprover: CPU time limit exceeded, terminating % 287.41/283.08 eprover: CPU time limit exceeded, terminating % 289.48/285.09 eprover: CPU time limit exceeded, terminating % 291.49/287.10 eprover: CPU time limit exceeded, terminating % 293.58/289.12 eprover: CPU time limit exceeded, terminating % 295.58/291.13 eprover: CPU time limit exceeded, terminating % 297.70/293.14 eprover: CPU time limit exceeded, terminating % 299.71/295.16 eprover: CPU time limit exceeded, terminating % 300.06/295.46 eprover: CPU time limit exceeded, terminating % 300.06/295.48 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------