%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : TOP028+2 : TPTP v8.1.0. Released v3.4.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 21:26:33 EDT 2022 % Result : Timeout 286.98s 261.59s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : TOP028+2 : TPTP v8.1.0. Released v3.4.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n022.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 : Sun May 29 10:33:23 EDT 2022 % 0.13/0.34 % CPUTime : % 9.92/9.97 eprover: CPU time limit exceeded, terminating % 12.18/11.98 eprover: CPU time limit exceeded, terminating % 14.43/13.99 eprover: CPU time limit exceeded, terminating % 16.59/16.00 eprover: CPU time limit exceeded, terminating % 18.82/18.01 eprover: CPU time limit exceeded, terminating % 20.94/20.03 eprover: CPU time limit exceeded, terminating % 23.16/22.04 eprover: CPU time limit exceeded, terminating % 25.40/24.05 eprover: CPU time limit exceeded, terminating % 27.53/26.06 eprover: CPU time limit exceeded, terminating % 29.78/28.07 eprover: CPU time limit exceeded, terminating % 31.97/30.09 eprover: CPU time limit exceeded, terminating % 34.23/32.10 eprover: CPU time limit exceeded, terminating % 36.43/34.11 eprover: CPU time limit exceeded, terminating % 38.61/36.12 eprover: CPU time limit exceeded, terminating % 40.82/38.14 eprover: CPU time limit exceeded, terminating % 43.02/40.15 eprover: CPU time limit exceeded, terminating % 45.25/42.16 eprover: CPU time limit exceeded, terminating % 47.43/44.17 eprover: CPU time limit exceeded, terminating % 49.62/46.18 eprover: CPU time limit exceeded, terminating % 51.88/48.20 eprover: CPU time limit exceeded, terminating % 54.07/50.21 eprover: CPU time limit exceeded, terminating % 56.23/52.22 eprover: CPU time limit exceeded, terminating % 58.48/54.23 eprover: CPU time limit exceeded, terminating % 60.63/56.24 eprover: CPU time limit exceeded, terminating % 62.86/58.26 eprover: CPU time limit exceeded, terminating % 65.06/60.27 eprover: CPU time limit exceeded, terminating % 67.27/62.28 eprover: CPU time limit exceeded, terminating % 69.46/64.29 eprover: CPU time limit exceeded, terminating % 71.61/66.31 eprover: CPU time limit exceeded, terminating % 73.87/68.32 eprover: CPU time limit exceeded, terminating % 76.06/70.34 eprover: CPU time limit exceeded, terminating % 78.26/72.36 eprover: CPU time limit exceeded, terminating % 80.48/74.39 eprover: CPU time limit exceeded, terminating % 82.63/76.40 eprover: CPU time limit exceeded, terminating % 84.89/78.45 eprover: CPU time limit exceeded, terminating % 87.09/80.46 eprover: CPU time limit exceeded, terminating % 89.28/82.49 eprover: CPU time limit exceeded, terminating % 91.46/84.51 eprover: CPU time limit exceeded, terminating % 93.66/86.52 eprover: CPU time limit exceeded, terminating % 95.86/88.54 eprover: CPU time limit exceeded, terminating % 98.09/90.55 eprover: CPU time limit exceeded, terminating % 100.27/92.58 eprover: CPU time limit exceeded, terminating % 102.39/94.59 eprover: CPU time limit exceeded, terminating % 104.61/96.61 eprover: CPU time limit exceeded, terminating % 106.79/98.62 eprover: CPU time limit exceeded, terminating % 108.95/100.67 eprover: CPU time limit exceeded, terminating % 111.12/102.68 eprover: CPU time limit exceeded, terminating % 113.28/104.69 eprover: CPU time limit exceeded, terminating % 117.42/106.71 eprover: CPU time limit exceeded, terminating % 119.66/108.72 eprover: CPU time limit exceeded, terminating % 121.83/110.73 eprover: CPU time limit exceeded, terminating % 124.08/112.74 eprover: CPU time limit exceeded, terminating % 126.20/114.75 eprover: CPU time limit exceeded, terminating % 128.50/116.76 eprover: CPU time limit exceeded, terminating % 130.66/118.78 eprover: CPU time limit exceeded, terminating % 132.89/120.79 eprover: CPU time limit exceeded, terminating % 135.06/122.80 eprover: CPU time limit exceeded, terminating % 137.30/124.81 eprover: CPU time limit exceeded, terminating % 139.46/126.82 eprover: CPU time limit exceeded, terminating % 141.68/128.83 eprover: CPU time limit exceeded, terminating % 143.88/130.85 eprover: CPU time limit exceeded, terminating % 146.08/132.86 eprover: CPU time limit exceeded, terminating % 148.25/134.87 eprover: CPU time limit exceeded, terminating % 150.47/136.88 eprover: CPU time limit exceeded, terminating % 152.65/138.89 eprover: CPU time limit exceeded, terminating % 154.88/140.90 eprover: CPU time limit exceeded, terminating % 157.08/142.91 eprover: CPU time limit exceeded, terminating % 159.29/144.92 eprover: CPU time limit exceeded, terminating % 161.49/146.93 eprover: CPU time limit exceeded, terminating % 163.65/148.95 eprover: CPU time limit exceeded, terminating % 165.87/150.96 eprover: CPU time limit exceeded, terminating % 168.09/152.97 eprover: CPU time limit exceeded, terminating % 170.31/154.98 eprover: CPU time limit exceeded, terminating % 172.50/157.00 eprover: CPU time limit exceeded, terminating % 174.64/159.01 eprover: CPU time limit exceeded, terminating % 176.88/161.02 eprover: CPU time limit exceeded, terminating % 179.09/163.03 eprover: CPU time limit exceeded, terminating % 181.31/165.04 eprover: CPU time limit exceeded, terminating % 183.52/167.05 eprover: CPU time limit exceeded, terminating % 185.67/169.06 eprover: CPU time limit exceeded, terminating % 187.93/171.07 eprover: CPU time limit exceeded, terminating % 190.10/173.08 eprover: CPU time limit exceeded, terminating % 192.32/175.10 eprover: CPU time limit exceeded, terminating % 194.50/177.11 eprover: CPU time limit exceeded, terminating % 196.68/179.12 eprover: CPU time limit exceeded, terminating % 198.92/181.13 eprover: CPU time limit exceeded, terminating % 201.17/183.15 eprover: CPU time limit exceeded, terminating % 203.32/185.16 eprover: CPU time limit exceeded, terminating % 205.55/187.17 eprover: CPU time limit exceeded, terminating % 207.74/189.18 eprover: CPU time limit exceeded, terminating % 209.93/191.19 eprover: CPU time limit exceeded, terminating % 212.13/193.21 eprover: CPU time limit exceeded, terminating % 214.39/195.22 eprover: CPU time limit exceeded, terminating % 216.55/197.23 eprover: CPU time limit exceeded, terminating % 218.78/199.24 eprover: CPU time limit exceeded, terminating % 221.00/201.26 eprover: CPU time limit exceeded, terminating % 223.20/203.27 eprover: CPU time limit exceeded, terminating % 225.34/205.28 eprover: CPU time limit exceeded, terminating % 227.55/207.29 eprover: CPU time limit exceeded, terminating % 229.80/209.30 eprover: CPU time limit exceeded, terminating % 231.99/211.31 eprover: CPU time limit exceeded, terminating % 234.17/213.32 eprover: CPU time limit exceeded, terminating % 236.36/215.33 eprover: CPU time limit exceeded, terminating % 238.61/217.34 eprover: CPU time limit exceeded, terminating % 240.77/219.36 eprover: CPU time limit exceeded, terminating % 242.99/221.37 eprover: CPU time limit exceeded, terminating % 245.21/223.38 eprover: CPU time limit exceeded, terminating % 247.36/225.39 eprover: CPU time limit exceeded, terminating % 249.62/227.40 eprover: CPU time limit exceeded, terminating % 251.74/229.41 eprover: CPU time limit exceeded, terminating % 253.99/231.42 eprover: CPU time limit exceeded, terminating % 256.23/233.43 eprover: CPU time limit exceeded, terminating % 258.37/235.45 eprover: CPU time limit exceeded, terminating % 260.62/237.46 eprover: CPU time limit exceeded, terminating % 262.77/239.47 eprover: CPU time limit exceeded, terminating % 265.01/241.48 eprover: CPU time limit exceeded, terminating % 267.26/243.49 eprover: CPU time limit exceeded, terminating % 269.40/245.50 eprover: CPU time limit exceeded, terminating % 271.61/247.51 eprover: CPU time limit exceeded, terminating % 273.83/249.52 eprover: CPU time limit exceeded, terminating % 275.98/251.54 eprover: CPU time limit exceeded, terminating % 278.24/253.55 eprover: CPU time limit exceeded, terminating % 280.42/255.56 eprover: CPU time limit exceeded, terminating % 282.61/257.57 eprover: CPU time limit exceeded, terminating % 284.85/259.58 eprover: CPU time limit exceeded, terminating % 286.98/261.59 eprover: CPU time limit exceeded, terminating % 289.20/263.60 eprover: CPU time limit exceeded, terminating % 291.38/265.61 eprover: CPU time limit exceeded, terminating % 293.65/267.62 eprover: CPU time limit exceeded, terminating % 295.85/269.64 eprover: CPU time limit exceeded, terminating % 298.00/271.65 eprover: CPU time limit exceeded, terminating % 300.07/273.46 eprover: CPU time limit exceeded, terminating % 300.07/273.48 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------