%------------------------------------------------------------------------------ % 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 : n012.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.84s 282.93s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.11 % Problem : MSC024+1 : TPTP v8.1.0. Bugfixed v5.5.1. % 0.07/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n012.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 : Fri Jul 1 15:42:02 EDT 2022 % 0.12/0.33 % CPUTime : % 33.74/33.89 eprover: CPU time limit exceeded, terminating % 35.82/35.90 eprover: CPU time limit exceeded, terminating % 37.87/37.91 eprover: CPU time limit exceeded, terminating % 39.88/39.92 eprover: CPU time limit exceeded, terminating % 41.93/41.93 eprover: CPU time limit exceeded, terminating % 43.96/43.93 eprover: CPU time limit exceeded, terminating % 46.01/45.94 eprover: CPU time limit exceeded, terminating % 48.05/47.95 eprover: CPU time limit exceeded, terminating % 50.10/49.96 eprover: CPU time limit exceeded, terminating % 52.14/51.97 eprover: CPU time limit exceeded, terminating % 54.17/53.98 eprover: CPU time limit exceeded, terminating % 56.24/55.99 eprover: CPU time limit exceeded, terminating % 58.23/57.99 eprover: CPU time limit exceeded, terminating % 60.27/60.00 eprover: CPU time limit exceeded, terminating % 62.35/62.01 eprover: CPU time limit exceeded, terminating % 64.40/64.02 eprover: CPU time limit exceeded, terminating % 66.40/66.03 eprover: CPU time limit exceeded, terminating % 68.47/68.04 eprover: CPU time limit exceeded, terminating % 70.52/70.05 eprover: CPU time limit exceeded, terminating % 72.49/72.06 eprover: CPU time limit exceeded, terminating % 74.58/74.06 eprover: CPU time limit exceeded, terminating % 76.61/76.07 eprover: CPU time limit exceeded, terminating % 78.67/78.08 eprover: CPU time limit exceeded, terminating % 80.73/80.09 eprover: CPU time limit exceeded, terminating % 82.78/82.10 eprover: CPU time limit exceeded, terminating % 84.81/84.11 eprover: CPU time limit exceeded, terminating % 86.84/86.12 eprover: CPU time limit exceeded, terminating % 88.88/88.12 eprover: CPU time limit exceeded, terminating % 90.95/90.13 eprover: CPU time limit exceeded, terminating % 92.98/92.14 eprover: CPU time limit exceeded, terminating % 95.00/94.15 eprover: CPU time limit exceeded, terminating % 97.03/96.16 eprover: CPU time limit exceeded, terminating % 99.09/98.17 eprover: CPU time limit exceeded, terminating % 101.10/100.17 eprover: CPU time limit exceeded, terminating % 103.13/102.18 eprover: CPU time limit exceeded, terminating % 105.22/104.19 eprover: CPU time limit exceeded, terminating % 107.27/106.20 eprover: CPU time limit exceeded, terminating % 109.30/108.21 eprover: CPU time limit exceeded, terminating % 111.32/110.21 eprover: CPU time limit exceeded, terminating % 113.33/112.22 eprover: CPU time limit exceeded, terminating % 115.39/114.23 eprover: CPU time limit exceeded, terminating % 117.45/116.24 eprover: CPU time limit exceeded, terminating % 119.51/118.25 eprover: CPU time limit exceeded, terminating % 121.57/120.26 eprover: CPU time limit exceeded, terminating % 123.55/122.27 eprover: CPU time limit exceeded, terminating % 125.61/124.27 eprover: CPU time limit exceeded, terminating % 127.69/126.28 eprover: CPU time limit exceeded, terminating % 129.70/128.29 eprover: CPU time limit exceeded, terminating % 131.71/130.30 eprover: CPU time limit exceeded, terminating % 133.79/132.31 eprover: CPU time limit exceeded, terminating % 135.81/134.32 eprover: CPU time limit exceeded, terminating % 137.88/136.32 eprover: CPU time limit exceeded, terminating % 139.88/138.33 eprover: CPU time limit exceeded, terminating % 141.92/140.34 eprover: CPU time limit exceeded, terminating % 143.95/142.35 eprover: CPU time limit exceeded, terminating % 146.05/144.36 eprover: CPU time limit exceeded, terminating % 148.02/146.36 eprover: CPU time limit exceeded, terminating % 150.12/148.37 eprover: CPU time limit exceeded, terminating % 152.15/150.38 eprover: CPU time limit exceeded, terminating % 154.19/152.39 eprover: CPU time limit exceeded, terminating % 156.22/154.40 eprover: CPU time limit exceeded, terminating % 158.23/156.41 eprover: CPU time limit exceeded, terminating % 160.31/158.41 eprover: CPU time limit exceeded, terminating % 162.33/160.42 eprover: CPU time limit exceeded, terminating % 164.36/162.43 eprover: CPU time limit exceeded, terminating % 166.40/164.44 eprover: CPU time limit exceeded, terminating % 168.45/166.45 eprover: CPU time limit exceeded, terminating % 170.53/168.45 eprover: CPU time limit exceeded, terminating % 172.50/170.46 eprover: CPU time limit exceeded, terminating % 174.59/172.47 eprover: CPU time limit exceeded, terminating % 176.63/174.48 eprover: CPU time limit exceeded, terminating % 178.65/176.49 eprover: CPU time limit exceeded, terminating % 180.74/178.50 eprover: CPU time limit exceeded, terminating % 182.70/180.51 eprover: CPU time limit exceeded, terminating % 184.83/182.51 eprover: CPU time limit exceeded, terminating % 186.87/184.52 eprover: CPU time limit exceeded, terminating % 188.91/186.53 eprover: CPU time limit exceeded, terminating % 190.94/188.54 eprover: CPU time limit exceeded, terminating % 192.97/190.55 eprover: CPU time limit exceeded, terminating % 195.04/192.56 eprover: CPU time limit exceeded, terminating % 197.04/194.56 eprover: CPU time limit exceeded, terminating % 199.11/196.57 eprover: CPU time limit exceeded, terminating % 201.15/198.58 eprover: CPU time limit exceeded, terminating % 203.14/200.59 eprover: CPU time limit exceeded, terminating % 205.20/202.60 eprover: CPU time limit exceeded, terminating % 207.26/204.60 eprover: CPU time limit exceeded, terminating % 209.29/206.61 eprover: CPU time limit exceeded, terminating % 211.33/208.62 eprover: CPU time limit exceeded, terminating % 213.35/210.63 eprover: CPU time limit exceeded, terminating % 215.37/212.64 eprover: CPU time limit exceeded, terminating % 217.44/214.65 eprover: CPU time limit exceeded, terminating % 219.52/216.65 eprover: CPU time limit exceeded, terminating % 221.48/218.66 eprover: CPU time limit exceeded, terminating % 223.60/220.67 eprover: CPU time limit exceeded, terminating % 225.62/222.68 eprover: CPU time limit exceeded, terminating % 227.66/224.69 eprover: CPU time limit exceeded, terminating % 229.69/226.69 eprover: CPU time limit exceeded, terminating % 231.78/228.70 eprover: CPU time limit exceeded, terminating % 233.81/230.71 eprover: CPU time limit exceeded, terminating % 235.81/232.72 eprover: CPU time limit exceeded, terminating % 237.88/234.73 eprover: CPU time limit exceeded, terminating % 239.93/236.74 eprover: CPU time limit exceeded, terminating % 241.90/238.75 eprover: CPU time limit exceeded, terminating % 244.02/240.75 eprover: CPU time limit exceeded, terminating % 246.02/242.76 eprover: CPU time limit exceeded, terminating % 248.09/244.77 eprover: CPU time limit exceeded, terminating % 250.14/246.78 eprover: CPU time limit exceeded, terminating % 252.17/248.79 eprover: CPU time limit exceeded, terminating % 254.19/250.79 eprover: CPU time limit exceeded, terminating % 256.25/252.80 eprover: CPU time limit exceeded, terminating % 258.28/254.81 eprover: CPU time limit exceeded, terminating % 260.28/256.82 eprover: CPU time limit exceeded, terminating % 262.39/258.83 eprover: CPU time limit exceeded, terminating % 264.37/260.83 eprover: CPU time limit exceeded, terminating % 266.44/262.84 eprover: CPU time limit exceeded, terminating % 268.51/264.85 eprover: CPU time limit exceeded, terminating % 270.54/266.86 eprover: CPU time limit exceeded, terminating % 272.59/268.87 eprover: CPU time limit exceeded, terminating % 274.64/270.87 eprover: CPU time limit exceeded, terminating % 276.63/272.88 eprover: CPU time limit exceeded, terminating % 278.71/274.89 eprover: CPU time limit exceeded, terminating % 280.75/276.90 eprover: CPU time limit exceeded, terminating % 282.80/278.91 eprover: CPU time limit exceeded, terminating % 284.80/280.92 eprover: CPU time limit exceeded, terminating % 286.84/282.93 eprover: CPU time limit exceeded, terminating % 288.90/284.93 eprover: CPU time limit exceeded, terminating % 290.95/286.94 eprover: CPU time limit exceeded, terminating % 292.94/288.95 eprover: CPU time limit exceeded, terminating % 295.02/290.96 eprover: CPU time limit exceeded, terminating % 297.05/292.97 eprover: CPU time limit exceeded, terminating % 299.11/294.98 eprover: CPU time limit exceeded, terminating % 300.08/295.88 eprover: CPU time limit exceeded, terminating % 300.08/295.89 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------