%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT030+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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 00:01:06 EDT 2022 % Result : Timeout 286.62s 259.59s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : CAT030+2 : TPTP v8.1.0. Released v3.4.0. % 0.07/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n019.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Sun May 29 15:57:41 EDT 2022 % 0.13/0.35 % CPUTime : % 24.02/23.94 eprover: CPU time limit exceeded, terminating % 26.24/25.95 eprover: CPU time limit exceeded, terminating % 28.47/27.96 eprover: CPU time limit exceeded, terminating % 30.67/29.98 eprover: CPU time limit exceeded, terminating % 32.99/31.99 eprover: CPU time limit exceeded, terminating % 35.23/34.01 eprover: CPU time limit exceeded, terminating % 37.47/36.02 eprover: CPU time limit exceeded, terminating % 39.67/38.03 eprover: CPU time limit exceeded, terminating % 41.93/40.05 eprover: CPU time limit exceeded, terminating % 44.18/42.06 eprover: CPU time limit exceeded, terminating % 46.40/44.08 eprover: CPU time limit exceeded, terminating % 48.71/46.09 eprover: CPU time limit exceeded, terminating % 50.84/48.11 eprover: CPU time limit exceeded, terminating % 53.19/50.12 eprover: CPU time limit exceeded, terminating % 55.40/52.13 eprover: CPU time limit exceeded, terminating % 57.67/54.15 eprover: CPU time limit exceeded, terminating % 59.92/56.16 eprover: CPU time limit exceeded, terminating % 62.13/58.18 eprover: CPU time limit exceeded, terminating % 64.44/60.19 eprover: CPU time limit exceeded, terminating % 66.69/62.20 eprover: CPU time limit exceeded, terminating % 68.92/64.22 eprover: CPU time limit exceeded, terminating % 71.14/66.23 eprover: CPU time limit exceeded, terminating % 73.38/68.24 eprover: CPU time limit exceeded, terminating % 75.61/70.26 eprover: CPU time limit exceeded, terminating % 77.81/72.27 eprover: CPU time limit exceeded, terminating % 80.06/74.29 eprover: CPU time limit exceeded, terminating % 82.37/76.30 eprover: CPU time limit exceeded, terminating % 84.59/78.32 eprover: CPU time limit exceeded, terminating % 86.85/80.33 eprover: CPU time limit exceeded, terminating % 89.07/82.34 eprover: CPU time limit exceeded, terminating % 91.30/84.36 eprover: CPU time limit exceeded, terminating % 93.55/86.37 eprover: CPU time limit exceeded, terminating % 95.75/88.39 eprover: CPU time limit exceeded, terminating % 98.04/90.40 eprover: CPU time limit exceeded, terminating % 100.30/92.41 eprover: CPU time limit exceeded, terminating % 102.59/94.43 eprover: CPU time limit exceeded, terminating % 104.81/96.44 eprover: CPU time limit exceeded, terminating % 107.03/98.46 eprover: CPU time limit exceeded, terminating % 109.25/100.47 eprover: CPU time limit exceeded, terminating % 111.55/102.48 eprover: CPU time limit exceeded, terminating % 113.82/104.50 eprover: CPU time limit exceeded, terminating % 116.04/106.51 eprover: CPU time limit exceeded, terminating % 118.26/108.53 eprover: CPU time limit exceeded, terminating % 120.48/110.54 eprover: CPU time limit exceeded, terminating % 122.71/112.56 eprover: CPU time limit exceeded, terminating % 124.97/114.57 eprover: CPU time limit exceeded, terminating % 127.15/116.58 eprover: CPU time limit exceeded, terminating % 129.50/118.60 eprover: CPU time limit exceeded, terminating % 131.72/120.61 eprover: CPU time limit exceeded, terminating % 133.97/122.63 eprover: CPU time limit exceeded, terminating % 136.21/124.64 eprover: CPU time limit exceeded, terminating % 138.42/126.65 eprover: CPU time limit exceeded, terminating % 140.62/128.67 eprover: CPU time limit exceeded, terminating % 142.87/130.68 eprover: CPU time limit exceeded, terminating % 145.13/132.70 eprover: CPU time limit exceeded, terminating % 147.41/134.71 eprover: CPU time limit exceeded, terminating % 149.64/136.72 eprover: CPU time limit exceeded, terminating % 151.93/138.74 eprover: CPU time limit exceeded, terminating % 154.15/140.75 eprover: CPU time limit exceeded, terminating % 156.35/142.77 eprover: CPU time limit exceeded, terminating % 158.61/144.78 eprover: CPU time limit exceeded, terminating % 160.87/146.79 eprover: CPU time limit exceeded, terminating % 163.15/148.81 eprover: CPU time limit exceeded, terminating % 165.39/150.82 eprover: CPU time limit exceeded, terminating % 167.59/152.84 eprover: CPU time limit exceeded, terminating % 169.80/154.85 eprover: CPU time limit exceeded, terminating % 172.04/156.87 eprover: CPU time limit exceeded, terminating % 174.34/158.88 eprover: CPU time limit exceeded, terminating % 176.52/160.89 eprover: CPU time limit exceeded, terminating % 178.83/162.91 eprover: CPU time limit exceeded, terminating % 181.08/164.92 eprover: CPU time limit exceeded, terminating % 183.32/166.94 eprover: CPU time limit exceeded, terminating % 185.54/168.95 eprover: CPU time limit exceeded, terminating % 187.75/170.97 eprover: CPU time limit exceeded, terminating % 189.99/172.98 eprover: CPU time limit exceeded, terminating % 192.31/174.99 eprover: CPU time limit exceeded, terminating % 194.56/177.01 eprover: CPU time limit exceeded, terminating % 196.81/179.02 eprover: CPU time limit exceeded, terminating % 199.04/181.04 eprover: CPU time limit exceeded, terminating % 201.27/183.05 eprover: CPU time limit exceeded, terminating % 203.52/185.07 eprover: CPU time limit exceeded, terminating % 205.73/187.08 eprover: CPU time limit exceeded, terminating % 207.96/189.09 eprover: CPU time limit exceeded, terminating % 210.30/191.11 eprover: CPU time limit exceeded, terminating % 212.52/193.12 eprover: CPU time limit exceeded, terminating % 214.75/195.14 eprover: CPU time limit exceeded, terminating % 216.98/197.15 eprover: CPU time limit exceeded, terminating % 219.21/199.17 eprover: CPU time limit exceeded, terminating % 221.46/201.18 eprover: CPU time limit exceeded, terminating % 223.68/203.19 eprover: CPU time limit exceeded, terminating % 226.01/205.21 eprover: CPU time limit exceeded, terminating % 228.22/207.22 eprover: CPU time limit exceeded, terminating % 230.48/209.24 eprover: CPU time limit exceeded, terminating % 232.75/211.25 eprover: CPU time limit exceeded, terminating % 234.95/213.26 eprover: CPU time limit exceeded, terminating % 237.27/215.28 eprover: CPU time limit exceeded, terminating % 239.49/217.29 eprover: CPU time limit exceeded, terminating % 241.76/219.31 eprover: CPU time limit exceeded, terminating % 243.96/221.32 eprover: CPU time limit exceeded, terminating % 246.24/223.34 eprover: CPU time limit exceeded, terminating % 248.50/225.35 eprover: CPU time limit exceeded, terminating % 250.71/227.36 eprover: CPU time limit exceeded, terminating % 252.97/229.38 eprover: CPU time limit exceeded, terminating % 255.20/231.39 eprover: CPU time limit exceeded, terminating % 257.40/233.41 eprover: CPU time limit exceeded, terminating % 259.64/235.42 eprover: CPU time limit exceeded, terminating % 261.96/237.44 eprover: CPU time limit exceeded, terminating % 264.21/239.45 eprover: CPU time limit exceeded, terminating % 266.44/241.47 eprover: CPU time limit exceeded, terminating % 268.70/243.48 eprover: CPU time limit exceeded, terminating % 270.92/245.50 eprover: CPU time limit exceeded, terminating % 273.17/247.51 eprover: CPU time limit exceeded, terminating % 275.34/249.52 eprover: CPU time limit exceeded, terminating % 277.63/251.54 eprover: CPU time limit exceeded, terminating % 279.88/253.55 eprover: CPU time limit exceeded, terminating % 282.15/255.57 eprover: CPU time limit exceeded, terminating % 284.33/257.58 eprover: CPU time limit exceeded, terminating % 286.62/259.59 eprover: CPU time limit exceeded, terminating % 288.81/261.61 eprover: CPU time limit exceeded, terminating % 291.12/263.62 eprover: CPU time limit exceeded, terminating % 293.37/265.64 eprover: CPU time limit exceeded, terminating % 295.55/267.65 eprover: CPU time limit exceeded, terminating % 297.79/269.66 eprover: CPU time limit exceeded, terminating % 300.02/271.60 eprover: CPU time limit exceeded, terminating % 300.02/271.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------