%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW194+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n025.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 : Thu Jul 21 00:24:25 EDT 2022 % Result : Timeout 286.74s 275.37s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWW194+1 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n025.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 : Sat Jun 4 07:36:16 EDT 2022 % 0.12/0.34 % CPUTime : % 3.47/3.61 eprover: CPU time limit exceeded, terminating % 5.57/5.62 eprover: CPU time limit exceeded, terminating % 7.59/7.64 eprover: CPU time limit exceeded, terminating % 9.73/9.65 eprover: CPU time limit exceeded, terminating % 11.82/11.66 eprover: CPU time limit exceeded, terminating % 13.88/13.67 eprover: CPU time limit exceeded, terminating % 15.98/15.68 eprover: CPU time limit exceeded, terminating % 18.03/17.70 eprover: CPU time limit exceeded, terminating % 20.13/19.71 eprover: CPU time limit exceeded, terminating % 22.24/21.72 eprover: CPU time limit exceeded, terminating % 24.25/23.74 eprover: CPU time limit exceeded, terminating % 26.37/25.75 eprover: CPU time limit exceeded, terminating % 28.48/27.76 eprover: CPU time limit exceeded, terminating % 30.53/29.77 eprover: CPU time limit exceeded, terminating % 32.66/31.79 eprover: CPU time limit exceeded, terminating % 34.70/33.80 eprover: CPU time limit exceeded, terminating % 36.81/35.82 eprover: CPU time limit exceeded, terminating % 38.88/37.83 eprover: CPU time limit exceeded, terminating % 40.95/39.84 eprover: CPU time limit exceeded, terminating % 43.06/41.85 eprover: CPU time limit exceeded, terminating % 45.14/43.87 eprover: CPU time limit exceeded, terminating % 47.19/45.88 eprover: CPU time limit exceeded, terminating % 49.32/47.89 eprover: CPU time limit exceeded, terminating % 51.36/49.90 eprover: CPU time limit exceeded, terminating % 53.49/51.92 eprover: CPU time limit exceeded, terminating % 55.60/53.93 eprover: CPU time limit exceeded, terminating % 57.66/55.94 eprover: CPU time limit exceeded, terminating % 59.77/57.95 eprover: CPU time limit exceeded, terminating % 61.75/59.97 eprover: CPU time limit exceeded, terminating % 63.88/61.98 eprover: CPU time limit exceeded, terminating % 65.99/63.99 eprover: CPU time limit exceeded, terminating % 68.09/66.01 eprover: CPU time limit exceeded, terminating % 70.15/68.02 eprover: CPU time limit exceeded, terminating % 72.24/70.03 eprover: CPU time limit exceeded, terminating % 74.34/72.04 eprover: CPU time limit exceeded, terminating % 76.39/74.06 eprover: CPU time limit exceeded, terminating % 78.46/76.07 eprover: CPU time limit exceeded, terminating % 80.59/78.08 eprover: CPU time limit exceeded, terminating % 82.67/80.09 eprover: CPU time limit exceeded, terminating % 84.71/82.11 eprover: CPU time limit exceeded, terminating % 86.84/84.12 eprover: CPU time limit exceeded, terminating % 88.91/86.13 eprover: CPU time limit exceeded, terminating % 91.01/88.14 eprover: CPU time limit exceeded, terminating % 93.05/90.16 eprover: CPU time limit exceeded, terminating % 95.17/92.17 eprover: CPU time limit exceeded, terminating % 97.21/94.18 eprover: CPU time limit exceeded, terminating % 99.30/96.19 eprover: CPU time limit exceeded, terminating % 101.38/98.21 eprover: CPU time limit exceeded, terminating % 103.48/100.22 eprover: CPU time limit exceeded, terminating % 105.58/102.23 eprover: CPU time limit exceeded, terminating % 107.67/104.25 eprover: CPU time limit exceeded, terminating % 109.69/106.26 eprover: CPU time limit exceeded, terminating % 111.82/108.27 eprover: CPU time limit exceeded, terminating % 115.83/110.28 eprover: CPU time limit exceeded, terminating % 117.96/112.30 eprover: CPU time limit exceeded, terminating % 120.05/114.31 eprover: CPU time limit exceeded, terminating % 122.13/116.32 eprover: CPU time limit exceeded, terminating % 124.22/118.34 eprover: CPU time limit exceeded, terminating % 126.26/120.35 eprover: CPU time limit exceeded, terminating % 128.38/122.36 eprover: CPU time limit exceeded, terminating % 130.46/124.38 eprover: CPU time limit exceeded, terminating % 132.55/126.39 eprover: CPU time limit exceeded, terminating % 134.62/128.40 eprover: CPU time limit exceeded, terminating % 136.67/130.42 eprover: CPU time limit exceeded, terminating % 138.78/132.43 eprover: CPU time limit exceeded, terminating % 140.91/134.44 eprover: CPU time limit exceeded, terminating % 142.95/136.45 eprover: CPU time limit exceeded, terminating % 145.05/138.47 eprover: CPU time limit exceeded, terminating % 147.14/140.48 eprover: CPU time limit exceeded, terminating % 149.18/142.49 eprover: CPU time limit exceeded, terminating % 151.29/144.51 eprover: CPU time limit exceeded, terminating % 153.40/146.52 eprover: CPU time limit exceeded, terminating % 155.48/148.53 eprover: CPU time limit exceeded, terminating % 157.53/150.55 eprover: CPU time limit exceeded, terminating % 159.65/152.56 eprover: CPU time limit exceeded, terminating % 161.73/154.57 eprover: CPU time limit exceeded, terminating % 163.78/156.58 eprover: CPU time limit exceeded, terminating % 165.88/158.60 eprover: CPU time limit exceeded, terminating % 168.00/160.61 eprover: CPU time limit exceeded, terminating % 170.05/162.62 eprover: CPU time limit exceeded, terminating % 172.15/164.64 eprover: CPU time limit exceeded, terminating % 174.21/166.66 eprover: CPU time limit exceeded, terminating % 176.30/168.67 eprover: CPU time limit exceeded, terminating % 178.41/170.68 eprover: CPU time limit exceeded, terminating % 180.49/172.70 eprover: CPU time limit exceeded, terminating % 182.55/174.72 eprover: CPU time limit exceeded, terminating % 184.68/176.73 eprover: CPU time limit exceeded, terminating % 186.69/178.74 eprover: CPU time limit exceeded, terminating % 188.79/180.75 eprover: CPU time limit exceeded, terminating % 190.87/182.77 eprover: CPU time limit exceeded, terminating % 192.96/184.78 eprover: CPU time limit exceeded, terminating % 195.09/186.79 eprover: CPU time limit exceeded, terminating % 197.10/188.81 eprover: CPU time limit exceeded, terminating % 199.23/190.82 eprover: CPU time limit exceeded, terminating % 201.34/192.83 eprover: CPU time limit exceeded, terminating % 203.36/194.85 eprover: CPU time limit exceeded, terminating % 205.45/196.86 eprover: CPU time limit exceeded, terminating % 207.60/198.87 eprover: CPU time limit exceeded, terminating % 209.68/200.89 eprover: CPU time limit exceeded, terminating % 211.76/202.90 eprover: CPU time limit exceeded, terminating % 213.83/204.91 eprover: CPU time limit exceeded, terminating % 215.92/206.92 eprover: CPU time limit exceeded, terminating % 218.03/208.94 eprover: CPU time limit exceeded, terminating % 220.08/210.95 eprover: CPU time limit exceeded, terminating % 222.17/212.97 eprover: CPU time limit exceeded, terminating % 224.28/214.98 eprover: CPU time limit exceeded, terminating % 226.30/216.99 eprover: CPU time limit exceeded, terminating % 228.39/219.01 eprover: CPU time limit exceeded, terminating % 230.51/221.02 eprover: CPU time limit exceeded, terminating % 232.57/223.03 eprover: CPU time limit exceeded, terminating % 234.69/225.04 eprover: CPU time limit exceeded, terminating % 236.72/227.06 eprover: CPU time limit exceeded, terminating % 238.84/229.07 eprover: CPU time limit exceeded, terminating % 240.87/231.08 eprover: CPU time limit exceeded, terminating % 242.97/233.10 eprover: CPU time limit exceeded, terminating % 245.10/235.11 eprover: CPU time limit exceeded, terminating % 247.17/237.12 eprover: CPU time limit exceeded, terminating % 249.23/239.13 eprover: CPU time limit exceeded, terminating % 251.33/241.15 eprover: CPU time limit exceeded, terminating % 253.46/243.16 eprover: CPU time limit exceeded, terminating % 255.47/245.17 eprover: CPU time limit exceeded, terminating % 257.63/247.19 eprover: CPU time limit exceeded, terminating % 259.63/249.20 eprover: CPU time limit exceeded, terminating % 261.77/251.21 eprover: CPU time limit exceeded, terminating % 263.86/253.23 eprover: CPU time limit exceeded, terminating % 265.94/255.24 eprover: CPU time limit exceeded, terminating % 267.95/257.25 eprover: CPU time limit exceeded, terminating % 270.09/259.26 eprover: CPU time limit exceeded, terminating % 272.21/261.28 eprover: CPU time limit exceeded, terminating % 274.26/263.29 eprover: CPU time limit exceeded, terminating % 276.36/265.30 eprover: CPU time limit exceeded, terminating % 278.39/267.32 eprover: CPU time limit exceeded, terminating % 280.53/269.33 eprover: CPU time limit exceeded, terminating % 282.56/271.34 eprover: CPU time limit exceeded, terminating % 284.68/273.35 eprover: CPU time limit exceeded, terminating % 286.74/275.37 eprover: CPU time limit exceeded, terminating % 288.85/277.38 eprover: CPU time limit exceeded, terminating % 290.96/279.39 eprover: CPU time limit exceeded, terminating % 293.04/281.40 eprover: CPU time limit exceeded, terminating % 295.11/283.42 eprover: CPU time limit exceeded, terminating % 297.20/285.43 eprover: CPU time limit exceeded, terminating % 299.23/287.44 eprover: CPU time limit exceeded, terminating % 300.05/288.15 eprover: CPU time limit exceeded, terminating % 300.05/288.16 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------