%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CSR044+3 : TPTP v8.1.0. Released v3.4.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 : Fri Jul 15 03:34:29 EDT 2022 % Result : Timeout 287.13s 263.85s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : CSR044+3 : TPTP v8.1.0. Released v3.4.0. % 0.12/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 11 05:20:37 EDT 2022 % 0.12/0.33 % CPUTime : % 4.25/4.36 eprover: CPU time limit exceeded, terminating % 6.42/6.37 eprover: CPU time limit exceeded, terminating % 8.60/8.38 eprover: CPU time limit exceeded, terminating % 10.83/10.39 eprover: CPU time limit exceeded, terminating % 12.91/12.40 eprover: CPU time limit exceeded, terminating % 15.11/14.41 eprover: CPU time limit exceeded, terminating % 17.33/16.42 eprover: CPU time limit exceeded, terminating % 19.52/18.43 eprover: CPU time limit exceeded, terminating % 21.70/20.44 eprover: CPU time limit exceeded, terminating % 23.82/22.46 eprover: CPU time limit exceeded, terminating % 25.99/24.47 eprover: CPU time limit exceeded, terminating % 28.17/26.48 eprover: CPU time limit exceeded, terminating % 30.46/28.49 eprover: CPU time limit exceeded, terminating % 32.63/30.50 eprover: CPU time limit exceeded, terminating % 34.81/32.51 eprover: CPU time limit exceeded, terminating % 36.97/34.52 eprover: CPU time limit exceeded, terminating % 39.15/36.53 eprover: CPU time limit exceeded, terminating % 41.33/38.54 eprover: CPU time limit exceeded, terminating % 43.45/40.55 eprover: CPU time limit exceeded, terminating % 45.62/42.57 eprover: CPU time limit exceeded, terminating % 47.75/44.58 eprover: CPU time limit exceeded, terminating % 50.01/46.59 eprover: CPU time limit exceeded, terminating % 52.20/48.60 eprover: CPU time limit exceeded, terminating % 54.31/50.61 eprover: CPU time limit exceeded, terminating % 56.55/52.62 eprover: CPU time limit exceeded, terminating % 58.72/54.63 eprover: CPU time limit exceeded, terminating % 60.87/56.64 eprover: CPU time limit exceeded, terminating % 63.07/58.65 eprover: CPU time limit exceeded, terminating % 65.29/60.66 eprover: CPU time limit exceeded, terminating % 67.42/62.67 eprover: CPU time limit exceeded, terminating % 69.63/64.68 eprover: CPU time limit exceeded, terminating % 71.77/66.69 eprover: CPU time limit exceeded, terminating % 74.00/68.70 eprover: CPU time limit exceeded, terminating % 76.10/70.71 eprover: CPU time limit exceeded, terminating % 78.34/72.73 eprover: CPU time limit exceeded, terminating % 80.55/74.74 eprover: CPU time limit exceeded, terminating % 82.69/76.75 eprover: CPU time limit exceeded, terminating % 84.90/78.76 eprover: CPU time limit exceeded, terminating % 87.01/80.77 eprover: CPU time limit exceeded, terminating % 89.23/82.79 eprover: CPU time limit exceeded, terminating % 91.46/84.80 eprover: CPU time limit exceeded, terminating % 93.56/86.81 eprover: CPU time limit exceeded, terminating % 95.79/88.82 eprover: CPU time limit exceeded, terminating % 97.99/90.83 eprover: CPU time limit exceeded, terminating % 100.15/92.84 eprover: CPU time limit exceeded, terminating % 102.32/94.86 eprover: CPU time limit exceeded, terminating % 104.52/96.87 eprover: CPU time limit exceeded, terminating % 106.68/98.88 eprover: CPU time limit exceeded, terminating % 108.87/100.89 eprover: CPU time limit exceeded, terminating % 111.10/102.91 eprover: CPU time limit exceeded, terminating % 113.28/104.92 eprover: CPU time limit exceeded, terminating % 115.45/106.93 eprover: CPU time limit exceeded, terminating % 117.63/108.94 eprover: CPU time limit exceeded, terminating % 119.81/110.96 eprover: CPU time limit exceeded, terminating % 121.96/112.97 eprover: CPU time limit exceeded, terminating % 124.16/114.98 eprover: CPU time limit exceeded, terminating % 126.36/116.99 eprover: CPU time limit exceeded, terminating % 128.49/119.01 eprover: CPU time limit exceeded, terminating % 130.74/121.02 eprover: CPU time limit exceeded, terminating % 132.94/123.03 eprover: CPU time limit exceeded, terminating % 135.09/125.04 eprover: CPU time limit exceeded, terminating % 137.26/127.05 eprover: CPU time limit exceeded, terminating % 139.40/129.07 eprover: CPU time limit exceeded, terminating % 141.65/131.08 eprover: CPU time limit exceeded, terminating % 143.76/133.09 eprover: CPU time limit exceeded, terminating % 145.99/135.10 eprover: CPU time limit exceeded, terminating % 148.18/137.12 eprover: CPU time limit exceeded, terminating % 150.33/139.13 eprover: CPU time limit exceeded, terminating % 152.50/141.14 eprover: CPU time limit exceeded, terminating % 154.72/143.15 eprover: CPU time limit exceeded, terminating % 156.84/145.16 eprover: CPU time limit exceeded, terminating % 159.02/147.17 eprover: CPU time limit exceeded, terminating % 161.27/149.19 eprover: CPU time limit exceeded, terminating % 163.47/151.20 eprover: CPU time limit exceeded, terminating % 165.61/153.21 eprover: CPU time limit exceeded, terminating % 167.79/155.22 eprover: CPU time limit exceeded, terminating % 169.99/157.23 eprover: CPU time limit exceeded, terminating % 172.14/159.25 eprover: CPU time limit exceeded, terminating % 174.30/161.26 eprover: CPU time limit exceeded, terminating % 176.47/163.27 eprover: CPU time limit exceeded, terminating % 178.70/165.28 eprover: CPU time limit exceeded, terminating % 180.87/167.29 eprover: CPU time limit exceeded, terminating % 182.94/169.30 eprover: CPU time limit exceeded, terminating % 185.16/171.31 eprover: CPU time limit exceeded, terminating % 187.36/173.32 eprover: CPU time limit exceeded, terminating % 189.47/175.33 eprover: CPU time limit exceeded, terminating % 191.69/177.34 eprover: CPU time limit exceeded, terminating % 193.83/179.35 eprover: CPU time limit exceeded, terminating % 196.04/181.36 eprover: CPU time limit exceeded, terminating % 198.12/183.37 eprover: CPU time limit exceeded, terminating % 200.36/185.38 eprover: CPU time limit exceeded, terminating % 202.55/187.39 eprover: CPU time limit exceeded, terminating % 204.67/189.41 eprover: CPU time limit exceeded, terminating % 206.89/191.42 eprover: CPU time limit exceeded, terminating % 209.09/193.43 eprover: CPU time limit exceeded, terminating % 211.22/195.44 eprover: CPU time limit exceeded, terminating % 213.34/197.46 eprover: CPU time limit exceeded, terminating % 215.49/199.47 eprover: CPU time limit exceeded, terminating % 217.69/201.48 eprover: CPU time limit exceeded, terminating % 219.86/203.49 eprover: CPU time limit exceeded, terminating % 222.09/205.50 eprover: CPU time limit exceeded, terminating % 224.24/207.51 eprover: CPU time limit exceeded, terminating % 226.43/209.52 eprover: CPU time limit exceeded, terminating % 228.59/211.54 eprover: CPU time limit exceeded, terminating % 230.75/213.55 eprover: CPU time limit exceeded, terminating % 232.94/215.56 eprover: CPU time limit exceeded, terminating % 235.15/217.57 eprover: CPU time limit exceeded, terminating % 237.25/219.58 eprover: CPU time limit exceeded, terminating % 239.44/221.59 eprover: CPU time limit exceeded, terminating % 241.66/223.61 eprover: CPU time limit exceeded, terminating % 243.85/225.62 eprover: CPU time limit exceeded, terminating % 245.99/227.63 eprover: CPU time limit exceeded, terminating % 248.18/229.65 eprover: CPU time limit exceeded, terminating % 250.33/231.65 eprover: CPU time limit exceeded, terminating % 252.53/233.67 eprover: CPU time limit exceeded, terminating % 254.72/235.68 eprover: CPU time limit exceeded, terminating % 256.92/237.69 eprover: CPU time limit exceeded, terminating % 261.07/239.70 eprover: CPU time limit exceeded, terminating % 263.25/241.72 eprover: CPU time limit exceeded, terminating % 265.41/243.73 eprover: CPU time limit exceeded, terminating % 267.56/245.74 eprover: CPU time limit exceeded, terminating % 269.74/247.75 eprover: CPU time limit exceeded, terminating % 271.88/249.76 eprover: CPU time limit exceeded, terminating % 274.04/251.78 eprover: CPU time limit exceeded, terminating % 276.24/253.79 eprover: CPU time limit exceeded, terminating % 278.47/255.80 eprover: CPU time limit exceeded, terminating % 280.66/257.82 eprover: CPU time limit exceeded, terminating % 282.84/259.83 eprover: CPU time limit exceeded, terminating % 284.97/261.84 eprover: CPU time limit exceeded, terminating % 287.13/263.85 eprover: CPU time limit exceeded, terminating % 289.31/265.86 eprover: CPU time limit exceeded, terminating % 291.48/267.87 eprover: CPU time limit exceeded, terminating % 293.61/269.88 eprover: CPU time limit exceeded, terminating % 295.86/271.90 eprover: CPU time limit exceeded, terminating % 298.05/273.91 eprover: CPU time limit exceeded, terminating % 300.01/275.71 eprover: CPU time limit exceeded, terminating % 300.01/275.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------