%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : MSC024-1 : TPTP v8.1.0. Bugfixed v5.5.1. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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 : Sun Jul 17 22:45:22 EDT 2022 % Result : Timeout 286.97s 275.11s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : MSC024-1 : TPTP v8.1.0. Bugfixed v5.5.1. % 0.03/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n017.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 : Fri Jul 1 15:18:54 EDT 2022 % 0.12/0.34 % CPUTime : % 3.27/3.44 eprover: CPU time limit exceeded, terminating % 5.67/5.70 eprover: CPU time limit exceeded, terminating % 7.71/7.71 eprover: CPU time limit exceeded, terminating % 9.85/9.72 eprover: CPU time limit exceeded, terminating % 11.97/11.73 eprover: CPU time limit exceeded, terminating % 14.07/13.74 eprover: CPU time limit exceeded, terminating % 16.15/15.75 eprover: CPU time limit exceeded, terminating % 18.24/17.76 eprover: CPU time limit exceeded, terminating % 20.36/19.78 eprover: CPU time limit exceeded, terminating % 22.46/21.79 eprover: CPU time limit exceeded, terminating % 24.56/23.80 eprover: CPU time limit exceeded, terminating % 26.65/25.81 eprover: CPU time limit exceeded, terminating % 28.77/27.82 eprover: CPU time limit exceeded, terminating % 30.86/29.83 eprover: CPU time limit exceeded, terminating % 32.95/31.84 eprover: CPU time limit exceeded, terminating % 35.02/33.85 eprover: CPU time limit exceeded, terminating % 37.15/35.86 eprover: CPU time limit exceeded, terminating % 39.26/37.87 eprover: CPU time limit exceeded, terminating % 41.34/39.88 eprover: CPU time limit exceeded, terminating % 43.45/41.89 eprover: CPU time limit exceeded, terminating % 45.53/43.90 eprover: CPU time limit exceeded, terminating % 47.63/45.91 eprover: CPU time limit exceeded, terminating % 49.72/47.92 eprover: CPU time limit exceeded, terminating % 51.85/49.93 eprover: CPU time limit exceeded, terminating % 53.97/51.94 eprover: CPU time limit exceeded, terminating % 56.02/53.95 eprover: CPU time limit exceeded, terminating % 58.17/55.97 eprover: CPU time limit exceeded, terminating % 60.28/57.98 eprover: CPU time limit exceeded, terminating % 62.39/59.99 eprover: CPU time limit exceeded, terminating % 64.48/62.00 eprover: CPU time limit exceeded, terminating % 66.54/64.01 eprover: CPU time limit exceeded, terminating % 68.65/66.02 eprover: CPU time limit exceeded, terminating % 70.76/68.03 eprover: CPU time limit exceeded, terminating % 72.90/70.04 eprover: CPU time limit exceeded, terminating % 74.96/72.05 eprover: CPU time limit exceeded, terminating % 77.09/74.06 eprover: CPU time limit exceeded, terminating % 79.18/76.07 eprover: CPU time limit exceeded, terminating % 81.27/78.09 eprover: CPU time limit exceeded, terminating % 83.38/80.10 eprover: CPU time limit exceeded, terminating % 85.46/82.11 eprover: CPU time limit exceeded, terminating % 87.59/84.12 eprover: CPU time limit exceeded, terminating % 89.70/86.13 eprover: CPU time limit exceeded, terminating % 91.72/88.14 eprover: CPU time limit exceeded, terminating % 93.89/90.15 eprover: CPU time limit exceeded, terminating % 95.99/92.16 eprover: CPU time limit exceeded, terminating % 98.08/94.17 eprover: CPU time limit exceeded, terminating % 100.20/96.18 eprover: CPU time limit exceeded, terminating % 102.24/98.19 eprover: CPU time limit exceeded, terminating % 104.40/100.20 eprover: CPU time limit exceeded, terminating % 106.48/102.21 eprover: CPU time limit exceeded, terminating % 108.59/104.22 eprover: CPU time limit exceeded, terminating % 110.71/106.24 eprover: CPU time limit exceeded, terminating % 112.72/108.25 eprover: CPU time limit exceeded, terminating % 114.89/110.26 eprover: CPU time limit exceeded, terminating % 117.00/112.27 eprover: CPU time limit exceeded, terminating % 119.07/114.28 eprover: CPU time limit exceeded, terminating % 121.17/116.29 eprover: CPU time limit exceeded, terminating % 123.26/118.30 eprover: CPU time limit exceeded, terminating % 125.35/120.31 eprover: CPU time limit exceeded, terminating % 127.48/122.32 eprover: CPU time limit exceeded, terminating % 129.58/124.33 eprover: CPU time limit exceeded, terminating % 131.63/126.34 eprover: CPU time limit exceeded, terminating % 133.76/128.35 eprover: CPU time limit exceeded, terminating % 135.90/130.36 eprover: CPU time limit exceeded, terminating % 137.98/132.37 eprover: CPU time limit exceeded, terminating % 140.08/134.38 eprover: CPU time limit exceeded, terminating % 142.14/136.39 eprover: CPU time limit exceeded, terminating % 144.29/138.40 eprover: CPU time limit exceeded, terminating % 146.37/140.41 eprover: CPU time limit exceeded, terminating % 148.48/142.42 eprover: CPU time limit exceeded, terminating % 150.55/144.43 eprover: CPU time limit exceeded, terminating % 152.62/146.44 eprover: CPU time limit exceeded, terminating % 154.79/148.45 eprover: CPU time limit exceeded, terminating % 156.85/150.46 eprover: CPU time limit exceeded, terminating % 158.96/152.47 eprover: CPU time limit exceeded, terminating % 161.08/154.48 eprover: CPU time limit exceeded, terminating % 163.13/156.49 eprover: CPU time limit exceeded, terminating % 165.25/158.50 eprover: CPU time limit exceeded, terminating % 167.34/160.51 eprover: CPU time limit exceeded, terminating % 169.40/162.52 eprover: CPU time limit exceeded, terminating % 171.53/164.53 eprover: CPU time limit exceeded, terminating % 173.68/166.54 eprover: CPU time limit exceeded, terminating % 175.77/168.55 eprover: CPU time limit exceeded, terminating % 177.85/170.56 eprover: CPU time limit exceeded, terminating % 179.95/172.57 eprover: CPU time limit exceeded, terminating % 182.04/174.58 eprover: CPU time limit exceeded, terminating % 184.15/176.59 eprover: CPU time limit exceeded, terminating % 186.24/178.60 eprover: CPU time limit exceeded, terminating % 188.34/180.61 eprover: CPU time limit exceeded, terminating % 190.42/182.62 eprover: CPU time limit exceeded, terminating % 192.58/184.63 eprover: CPU time limit exceeded, terminating % 194.66/186.65 eprover: CPU time limit exceeded, terminating % 196.75/188.66 eprover: CPU time limit exceeded, terminating % 198.83/190.67 eprover: CPU time limit exceeded, terminating % 200.96/192.68 eprover: CPU time limit exceeded, terminating % 203.08/194.69 eprover: CPU time limit exceeded, terminating % 205.14/196.70 eprover: CPU time limit exceeded, terminating % 207.24/198.71 eprover: CPU time limit exceeded, terminating % 209.36/200.72 eprover: CPU time limit exceeded, terminating % 211.41/202.73 eprover: CPU time limit exceeded, terminating % 213.57/204.74 eprover: CPU time limit exceeded, terminating % 215.67/206.75 eprover: CPU time limit exceeded, terminating % 217.73/208.77 eprover: CPU time limit exceeded, terminating % 219.86/210.78 eprover: CPU time limit exceeded, terminating % 221.98/212.79 eprover: CPU time limit exceeded, terminating % 224.00/214.80 eprover: CPU time limit exceeded, terminating % 226.13/216.81 eprover: CPU time limit exceeded, terminating % 228.27/218.82 eprover: CPU time limit exceeded, terminating % 230.31/220.83 eprover: CPU time limit exceeded, terminating % 232.47/222.84 eprover: CPU time limit exceeded, terminating % 234.54/224.85 eprover: CPU time limit exceeded, terminating % 236.66/226.86 eprover: CPU time limit exceeded, terminating % 238.74/228.87 eprover: CPU time limit exceeded, terminating % 240.82/230.88 eprover: CPU time limit exceeded, terminating % 242.97/232.89 eprover: CPU time limit exceeded, terminating % 245.00/234.90 eprover: CPU time limit exceeded, terminating % 247.12/236.91 eprover: CPU time limit exceeded, terminating % 249.24/238.92 eprover: CPU time limit exceeded, terminating % 251.35/240.93 eprover: CPU time limit exceeded, terminating % 253.47/242.94 eprover: CPU time limit exceeded, terminating % 255.49/244.95 eprover: CPU time limit exceeded, terminating % 257.63/246.96 eprover: CPU time limit exceeded, terminating % 259.71/248.97 eprover: CPU time limit exceeded, terminating % 261.84/250.98 eprover: CPU time limit exceeded, terminating % 263.98/253.00 eprover: CPU time limit exceeded, terminating % 266.06/255.01 eprover: CPU time limit exceeded, terminating % 268.12/257.02 eprover: CPU time limit exceeded, terminating % 270.23/259.03 eprover: CPU time limit exceeded, terminating % 272.32/261.04 eprover: CPU time limit exceeded, terminating % 274.46/263.05 eprover: CPU time limit exceeded, terminating % 276.51/265.06 eprover: CPU time limit exceeded, terminating % 278.64/267.07 eprover: CPU time limit exceeded, terminating % 280.70/269.08 eprover: CPU time limit exceeded, terminating % 282.81/271.09 eprover: CPU time limit exceeded, terminating % 284.95/273.10 eprover: CPU time limit exceeded, terminating % 286.97/275.11 eprover: CPU time limit exceeded, terminating % 289.11/277.12 eprover: CPU time limit exceeded, terminating % 291.24/279.13 eprover: CPU time limit exceeded, terminating % 293.30/281.14 eprover: CPU time limit exceeded, terminating % 295.43/283.15 eprover: CPU time limit exceeded, terminating % 297.50/285.16 eprover: CPU time limit exceeded, terminating % 299.62/287.17 eprover: CPU time limit exceeded, terminating % 300.03/287.52 eprover: CPU time limit exceeded, terminating % 300.03/287.54 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------