%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW362+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n022.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:40 EDT 2022 % Result : Timeout 287.98s 245.68s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW362+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.13 % Command : run_infinox %s % 0.12/0.33 % Computer : n022.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 18:45:06 EDT 2022 % 0.12/0.34 % CPUTime : % 52.31/52.02 eprover: CPU time limit exceeded, terminating % 54.75/54.03 eprover: CPU time limit exceeded, terminating % 57.20/56.05 eprover: CPU time limit exceeded, terminating % 59.69/58.06 eprover: CPU time limit exceeded, terminating % 62.18/60.08 eprover: CPU time limit exceeded, terminating % 64.64/62.10 eprover: CPU time limit exceeded, terminating % 67.10/64.11 eprover: CPU time limit exceeded, terminating % 69.58/66.13 eprover: CPU time limit exceeded, terminating % 72.00/68.14 eprover: CPU time limit exceeded, terminating % 74.56/70.15 eprover: CPU time limit exceeded, terminating % 77.04/72.17 eprover: CPU time limit exceeded, terminating % 79.46/74.18 eprover: CPU time limit exceeded, terminating % 81.86/76.20 eprover: CPU time limit exceeded, terminating % 84.35/78.21 eprover: CPU time limit exceeded, terminating % 86.80/80.22 eprover: CPU time limit exceeded, terminating % 89.25/82.23 eprover: CPU time limit exceeded, terminating % 91.69/84.25 eprover: CPU time limit exceeded, terminating % 94.09/86.26 eprover: CPU time limit exceeded, terminating % 96.61/88.28 eprover: CPU time limit exceeded, terminating % 99.05/90.29 eprover: CPU time limit exceeded, terminating % 101.43/92.31 eprover: CPU time limit exceeded, terminating % 103.89/94.32 eprover: CPU time limit exceeded, terminating % 106.30/96.33 eprover: CPU time limit exceeded, terminating % 108.73/98.35 eprover: CPU time limit exceeded, terminating % 111.20/100.36 eprover: CPU time limit exceeded, terminating % 113.67/102.38 eprover: CPU time limit exceeded, terminating % 116.06/104.39 eprover: CPU time limit exceeded, terminating % 118.55/106.41 eprover: CPU time limit exceeded, terminating % 120.93/108.42 eprover: CPU time limit exceeded, terminating % 123.44/110.44 eprover: CPU time limit exceeded, terminating % 125.86/112.45 eprover: CPU time limit exceeded, terminating % 128.28/114.47 eprover: CPU time limit exceeded, terminating % 130.78/116.49 eprover: CPU time limit exceeded, terminating % 133.25/118.51 eprover: CPU time limit exceeded, terminating % 135.71/120.53 eprover: CPU time limit exceeded, terminating % 138.20/122.55 eprover: CPU time limit exceeded, terminating % 140.63/124.57 eprover: CPU time limit exceeded, terminating % 143.08/126.59 eprover: CPU time limit exceeded, terminating % 145.58/128.60 eprover: CPU time limit exceeded, terminating % 148.08/130.62 eprover: CPU time limit exceeded, terminating % 150.55/132.64 eprover: CPU time limit exceeded, terminating % 152.96/134.66 eprover: CPU time limit exceeded, terminating % 155.44/136.68 eprover: CPU time limit exceeded, terminating % 157.91/138.70 eprover: CPU time limit exceeded, terminating % 160.34/140.72 eprover: CPU time limit exceeded, terminating % 162.80/142.74 eprover: CPU time limit exceeded, terminating % 165.29/144.75 eprover: CPU time limit exceeded, terminating % 167.68/146.77 eprover: CPU time limit exceeded, terminating % 170.24/148.79 eprover: CPU time limit exceeded, terminating % 172.67/150.81 eprover: CPU time limit exceeded, terminating % 175.13/152.83 eprover: CPU time limit exceeded, terminating % 177.55/154.85 eprover: CPU time limit exceeded, terminating % 179.95/156.86 eprover: CPU time limit exceeded, terminating % 182.43/158.88 eprover: CPU time limit exceeded, terminating % 184.96/160.90 eprover: CPU time limit exceeded, terminating % 187.39/162.92 eprover: CPU time limit exceeded, terminating % 189.84/164.94 eprover: CPU time limit exceeded, terminating % 192.30/166.96 eprover: CPU time limit exceeded, terminating % 194.78/168.98 eprover: CPU time limit exceeded, terminating % 197.23/170.99 eprover: CPU time limit exceeded, terminating % 199.68/173.01 eprover: CPU time limit exceeded, terminating % 202.12/175.03 eprover: CPU time limit exceeded, terminating % 204.63/177.05 eprover: CPU time limit exceeded, terminating % 207.03/179.07 eprover: CPU time limit exceeded, terminating % 209.54/181.09 eprover: CPU time limit exceeded, terminating % 212.01/183.11 eprover: CPU time limit exceeded, terminating % 214.46/185.13 eprover: CPU time limit exceeded, terminating % 216.89/187.15 eprover: CPU time limit exceeded, terminating % 219.35/189.16 eprover: CPU time limit exceeded, terminating % 221.83/191.18 eprover: CPU time limit exceeded, terminating % 224.24/193.20 eprover: CPU time limit exceeded, terminating % 226.77/195.22 eprover: CPU time limit exceeded, terminating % 229.16/197.24 eprover: CPU time limit exceeded, terminating % 231.64/199.26 eprover: CPU time limit exceeded, terminating % 234.08/201.28 eprover: CPU time limit exceeded, terminating % 236.54/203.29 eprover: CPU time limit exceeded, terminating % 238.98/205.31 eprover: CPU time limit exceeded, terminating % 241.45/207.33 eprover: CPU time limit exceeded, terminating % 243.90/209.35 eprover: CPU time limit exceeded, terminating % 246.30/211.37 eprover: CPU time limit exceeded, terminating % 248.79/213.39 eprover: CPU time limit exceeded, terminating % 251.25/215.41 eprover: CPU time limit exceeded, terminating % 253.68/217.42 eprover: CPU time limit exceeded, terminating % 256.09/219.44 eprover: CPU time limit exceeded, terminating % 258.55/221.46 eprover: CPU time limit exceeded, terminating % 260.95/223.48 eprover: CPU time limit exceeded, terminating % 263.42/225.50 eprover: CPU time limit exceeded, terminating % 265.92/227.52 eprover: CPU time limit exceeded, terminating % 268.35/229.53 eprover: CPU time limit exceeded, terminating % 270.75/231.55 eprover: CPU time limit exceeded, terminating % 273.23/233.57 eprover: CPU time limit exceeded, terminating % 275.65/235.59 eprover: CPU time limit exceeded, terminating % 278.16/237.61 eprover: CPU time limit exceeded, terminating % 280.62/239.63 eprover: CPU time limit exceeded, terminating % 283.08/241.65 eprover: CPU time limit exceeded, terminating % 285.51/243.66 eprover: CPU time limit exceeded, terminating % 287.98/245.68 eprover: CPU time limit exceeded, terminating % 290.45/247.70 eprover: CPU time limit exceeded, terminating % 292.85/249.72 eprover: CPU time limit exceeded, terminating % 295.30/251.74 eprover: CPU time limit exceeded, terminating % 297.80/253.76 eprover: CPU time limit exceeded, terminating % 300.01/255.51 eprover: CPU time limit exceeded, terminating % 300.01/255.52 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------