%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CSR298+1 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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 : Fri Jul 15 03:36:15 EDT 2022 % Result : Timeout 286.93s 261.41s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : CSR298+1 : TPTP v8.1.0. Released v7.3.0. % 0.13/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n024.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % 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 Jun 9 19:45:49 EDT 2022 % 0.13/0.34 % CPUTime : % 5.92/5.90 eprover: CPU time limit exceeded, terminating % 8.08/7.91 eprover: CPU time limit exceeded, terminating % 10.28/9.92 eprover: CPU time limit exceeded, terminating % 12.48/11.94 eprover: CPU time limit exceeded, terminating % 14.72/13.95 eprover: CPU time limit exceeded, terminating % 16.87/15.96 eprover: CPU time limit exceeded, terminating % 19.12/17.97 eprover: CPU time limit exceeded, terminating % 21.35/19.99 eprover: CPU time limit exceeded, terminating % 23.50/22.00 eprover: CPU time limit exceeded, terminating % 25.76/24.01 eprover: CPU time limit exceeded, terminating % 28.02/26.02 eprover: CPU time limit exceeded, terminating % 30.19/28.04 eprover: CPU time limit exceeded, terminating % 32.41/30.05 eprover: CPU time limit exceeded, terminating % 34.63/32.06 eprover: CPU time limit exceeded, terminating % 36.81/34.07 eprover: CPU time limit exceeded, terminating % 39.06/36.09 eprover: CPU time limit exceeded, terminating % 41.30/38.10 eprover: CPU time limit exceeded, terminating % 43.55/40.11 eprover: CPU time limit exceeded, terminating % 45.76/42.12 eprover: CPU time limit exceeded, terminating % 47.96/44.14 eprover: CPU time limit exceeded, terminating % 50.18/46.15 eprover: CPU time limit exceeded, terminating % 52.38/48.16 eprover: CPU time limit exceeded, terminating % 54.56/50.18 eprover: CPU time limit exceeded, terminating % 56.77/52.19 eprover: CPU time limit exceeded, terminating % 59.07/54.20 eprover: CPU time limit exceeded, terminating % 61.27/56.21 eprover: CPU time limit exceeded, terminating % 63.50/58.23 eprover: CPU time limit exceeded, terminating % 65.68/60.24 eprover: CPU time limit exceeded, terminating % 67.91/62.25 eprover: CPU time limit exceeded, terminating % 70.11/64.26 eprover: CPU time limit exceeded, terminating % 72.29/66.28 eprover: CPU time limit exceeded, terminating % 74.51/68.29 eprover: CPU time limit exceeded, terminating % 76.79/70.30 eprover: CPU time limit exceeded, terminating % 79.01/72.32 eprover: CPU time limit exceeded, terminating % 81.21/74.33 eprover: CPU time limit exceeded, terminating % 83.44/76.34 eprover: CPU time limit exceeded, terminating % 85.59/78.35 eprover: CPU time limit exceeded, terminating % 87.82/80.37 eprover: CPU time limit exceeded, terminating % 90.02/82.38 eprover: CPU time limit exceeded, terminating % 92.31/84.39 eprover: CPU time limit exceeded, terminating % 94.52/86.40 eprover: CPU time limit exceeded, terminating % 96.72/88.42 eprover: CPU time limit exceeded, terminating % 98.94/90.43 eprover: CPU time limit exceeded, terminating % 101.11/92.44 eprover: CPU time limit exceeded, terminating % 103.31/94.45 eprover: CPU time limit exceeded, terminating % 105.52/96.46 eprover: CPU time limit exceeded, terminating % 107.70/98.47 eprover: CPU time limit exceeded, terminating % 109.91/100.48 eprover: CPU time limit exceeded, terminating % 112.11/102.49 eprover: CPU time limit exceeded, terminating % 114.39/104.51 eprover: CPU time limit exceeded, terminating % 116.61/106.52 eprover: CPU time limit exceeded, terminating % 118.79/108.53 eprover: CPU time limit exceeded, terminating % 121.00/110.54 eprover: CPU time limit exceeded, terminating % 123.22/112.55 eprover: CPU time limit exceeded, terminating % 125.39/114.56 eprover: CPU time limit exceeded, terminating % 127.61/116.58 eprover: CPU time limit exceeded, terminating % 129.83/118.59 eprover: CPU time limit exceeded, terminating % 132.11/120.60 eprover: CPU time limit exceeded, terminating % 134.31/122.61 eprover: CPU time limit exceeded, terminating % 136.53/124.62 eprover: CPU time limit exceeded, terminating % 138.74/126.64 eprover: CPU time limit exceeded, terminating % 140.94/128.65 eprover: CPU time limit exceeded, terminating % 143.12/130.66 eprover: CPU time limit exceeded, terminating % 145.34/132.67 eprover: CPU time limit exceeded, terminating % 147.54/134.68 eprover: CPU time limit exceeded, terminating % 149.81/136.69 eprover: CPU time limit exceeded, terminating % 151.95/138.70 eprover: CPU time limit exceeded, terminating % 154.24/140.71 eprover: CPU time limit exceeded, terminating % 156.45/142.73 eprover: CPU time limit exceeded, terminating % 158.64/144.74 eprover: CPU time limit exceeded, terminating % 160.84/146.75 eprover: CPU time limit exceeded, terminating % 163.05/148.76 eprover: CPU time limit exceeded, terminating % 165.22/150.77 eprover: CPU time limit exceeded, terminating % 167.43/152.78 eprover: CPU time limit exceeded, terminating % 169.64/154.79 eprover: CPU time limit exceeded, terminating % 171.93/156.81 eprover: CPU time limit exceeded, terminating % 174.10/158.82 eprover: CPU time limit exceeded, terminating % 176.32/160.83 eprover: CPU time limit exceeded, terminating % 178.54/162.84 eprover: CPU time limit exceeded, terminating % 180.70/164.85 eprover: CPU time limit exceeded, terminating % 182.91/166.86 eprover: CPU time limit exceeded, terminating % 185.10/168.88 eprover: CPU time limit exceeded, terminating % 187.39/170.89 eprover: CPU time limit exceeded, terminating % 189.58/172.90 eprover: CPU time limit exceeded, terminating % 191.79/174.91 eprover: CPU time limit exceeded, terminating % 194.01/176.92 eprover: CPU time limit exceeded, terminating % 196.21/178.93 eprover: CPU time limit exceeded, terminating % 198.43/180.94 eprover: CPU time limit exceeded, terminating % 200.61/182.96 eprover: CPU time limit exceeded, terminating % 202.78/184.97 eprover: CPU time limit exceeded, terminating % 205.01/186.98 eprover: CPU time limit exceeded, terminating % 207.22/188.99 eprover: CPU time limit exceeded, terminating % 209.50/191.00 eprover: CPU time limit exceeded, terminating % 211.71/193.01 eprover: CPU time limit exceeded, terminating % 213.92/195.02 eprover: CPU time limit exceeded, terminating % 216.10/197.04 eprover: CPU time limit exceeded, terminating % 218.30/199.05 eprover: CPU time limit exceeded, terminating % 220.52/201.06 eprover: CPU time limit exceeded, terminating % 222.71/203.07 eprover: CPU time limit exceeded, terminating % 224.99/205.08 eprover: CPU time limit exceeded, terminating % 227.16/207.10 eprover: CPU time limit exceeded, terminating % 229.45/209.11 eprover: CPU time limit exceeded, terminating % 231.67/211.12 eprover: CPU time limit exceeded, terminating % 233.85/213.13 eprover: CPU time limit exceeded, terminating % 236.05/215.14 eprover: CPU time limit exceeded, terminating % 238.25/217.15 eprover: CPU time limit exceeded, terminating % 240.47/219.17 eprover: CPU time limit exceeded, terminating % 242.62/221.18 eprover: CPU time limit exceeded, terminating % 244.85/223.19 eprover: CPU time limit exceeded, terminating % 247.14/225.20 eprover: CPU time limit exceeded, terminating % 249.32/227.21 eprover: CPU time limit exceeded, terminating % 251.57/229.22 eprover: CPU time limit exceeded, terminating % 253.75/231.24 eprover: CPU time limit exceeded, terminating % 255.93/233.25 eprover: CPU time limit exceeded, terminating % 258.14/235.26 eprover: CPU time limit exceeded, terminating % 260.33/237.27 eprover: CPU time limit exceeded, terminating % 262.57/239.28 eprover: CPU time limit exceeded, terminating % 264.84/241.29 eprover: CPU time limit exceeded, terminating % 267.05/243.31 eprover: CPU time limit exceeded, terminating % 269.27/245.32 eprover: CPU time limit exceeded, terminating % 271.47/247.33 eprover: CPU time limit exceeded, terminating % 273.65/249.34 eprover: CPU time limit exceeded, terminating % 275.85/251.35 eprover: CPU time limit exceeded, terminating % 278.04/253.36 eprover: CPU time limit exceeded, terminating % 280.27/255.38 eprover: CPU time limit exceeded, terminating % 282.45/257.39 eprover: CPU time limit exceeded, terminating % 284.74/259.40 eprover: CPU time limit exceeded, terminating % 286.93/261.41 eprover: CPU time limit exceeded, terminating % 289.13/263.42 eprover: CPU time limit exceeded, terminating % 291.34/265.43 eprover: CPU time limit exceeded, terminating % 293.52/267.44 eprover: CPU time limit exceeded, terminating % 295.73/269.46 eprover: CPU time limit exceeded, terminating % 297.92/271.47 eprover: CPU time limit exceeded, terminating % 300.11/273.40 eprover: CPU time limit exceeded, terminating % 300.11/273.42 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------