%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW388+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:43 EDT 2022 % Result : Timeout 285.84s 246.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.13 % Problem : SWW388+1 : TPTP v8.1.0. Released v5.2.0. % 0.04/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n029.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 : Sat Jun 4 22:22:33 EDT 2022 % 0.13/0.36 % CPUTime : % 63.09/62.77 eprover: CPU time limit exceeded, terminating % 65.54/64.79 eprover: CPU time limit exceeded, terminating % 67.90/66.81 eprover: CPU time limit exceeded, terminating % 70.33/68.83 eprover: CPU time limit exceeded, terminating % 72.76/70.85 eprover: CPU time limit exceeded, terminating % 75.33/72.86 eprover: CPU time limit exceeded, terminating % 77.84/74.88 eprover: CPU time limit exceeded, terminating % 80.31/76.90 eprover: CPU time limit exceeded, terminating % 82.76/78.91 eprover: CPU time limit exceeded, terminating % 85.19/80.93 eprover: CPU time limit exceeded, terminating % 87.73/82.94 eprover: CPU time limit exceeded, terminating % 90.14/84.96 eprover: CPU time limit exceeded, terminating % 92.55/86.98 eprover: CPU time limit exceeded, terminating % 95.02/88.99 eprover: CPU time limit exceeded, terminating % 97.53/91.01 eprover: CPU time limit exceeded, terminating % 99.98/93.03 eprover: CPU time limit exceeded, terminating % 102.45/95.05 eprover: CPU time limit exceeded, terminating % 104.95/97.06 eprover: CPU time limit exceeded, terminating % 107.29/99.08 eprover: CPU time limit exceeded, terminating % 109.79/101.10 eprover: CPU time limit exceeded, terminating % 112.22/103.11 eprover: CPU time limit exceeded, terminating % 114.63/105.13 eprover: CPU time limit exceeded, terminating % 117.13/107.14 eprover: CPU time limit exceeded, terminating % 119.61/109.16 eprover: CPU time limit exceeded, terminating % 122.10/111.18 eprover: CPU time limit exceeded, terminating % 124.62/113.19 eprover: CPU time limit exceeded, terminating % 127.04/115.21 eprover: CPU time limit exceeded, terminating % 129.50/117.22 eprover: CPU time limit exceeded, terminating % 132.00/119.24 eprover: CPU time limit exceeded, terminating % 134.52/121.26 eprover: CPU time limit exceeded, terminating % 136.92/123.28 eprover: CPU time limit exceeded, terminating % 139.43/125.29 eprover: CPU time limit exceeded, terminating % 141.84/127.31 eprover: CPU time limit exceeded, terminating % 144.36/129.33 eprover: CPU time limit exceeded, terminating % 146.81/131.34 eprover: CPU time limit exceeded, terminating % 149.26/133.36 eprover: CPU time limit exceeded, terminating % 151.67/135.38 eprover: CPU time limit exceeded, terminating % 154.13/137.39 eprover: CPU time limit exceeded, terminating % 156.64/139.41 eprover: CPU time limit exceeded, terminating % 158.98/141.42 eprover: CPU time limit exceeded, terminating % 161.43/143.44 eprover: CPU time limit exceeded, terminating % 163.85/145.46 eprover: CPU time limit exceeded, terminating % 166.25/147.48 eprover: CPU time limit exceeded, terminating % 168.77/149.49 eprover: CPU time limit exceeded, terminating % 171.19/151.51 eprover: CPU time limit exceeded, terminating % 173.66/153.52 eprover: CPU time limit exceeded, terminating % 176.09/155.54 eprover: CPU time limit exceeded, terminating % 178.51/157.56 eprover: CPU time limit exceeded, terminating % 180.91/159.57 eprover: CPU time limit exceeded, terminating % 183.34/161.59 eprover: CPU time limit exceeded, terminating % 185.78/163.60 eprover: CPU time limit exceeded, terminating % 188.28/165.62 eprover: CPU time limit exceeded, terminating % 190.75/167.63 eprover: CPU time limit exceeded, terminating % 193.22/169.66 eprover: CPU time limit exceeded, terminating % 195.64/171.70 eprover: CPU time limit exceeded, terminating % 198.07/173.74 eprover: CPU time limit exceeded, terminating % 200.40/175.78 eprover: CPU time limit exceeded, terminating % 202.88/177.81 eprover: CPU time limit exceeded, terminating % 205.32/179.83 eprover: CPU time limit exceeded, terminating % 207.67/181.87 eprover: CPU time limit exceeded, terminating % 210.17/183.90 eprover: CPU time limit exceeded, terminating % 212.61/185.95 eprover: CPU time limit exceeded, terminating % 215.11/187.99 eprover: CPU time limit exceeded, terminating % 217.39/190.04 eprover: CPU time limit exceeded, terminating % 219.81/192.08 eprover: CPU time limit exceeded, terminating % 222.21/194.11 eprover: CPU time limit exceeded, terminating % 224.60/196.13 eprover: CPU time limit exceeded, terminating % 226.96/198.14 eprover: CPU time limit exceeded, terminating % 229.41/200.17 eprover: CPU time limit exceeded, terminating % 231.87/202.22 eprover: CPU time limit exceeded, terminating % 234.28/204.27 eprover: CPU time limit exceeded, terminating % 236.64/206.30 eprover: CPU time limit exceeded, terminating % 239.09/208.33 eprover: CPU time limit exceeded, terminating % 241.49/210.35 eprover: CPU time limit exceeded, terminating % 244.00/212.36 eprover: CPU time limit exceeded, terminating % 246.43/214.37 eprover: CPU time limit exceeded, terminating % 248.85/216.39 eprover: CPU time limit exceeded, terminating % 251.25/218.40 eprover: CPU time limit exceeded, terminating % 253.74/220.42 eprover: CPU time limit exceeded, terminating % 256.18/222.43 eprover: CPU time limit exceeded, terminating % 258.57/224.44 eprover: CPU time limit exceeded, terminating % 261.06/226.46 eprover: CPU time limit exceeded, terminating % 263.65/228.48 eprover: CPU time limit exceeded, terminating % 266.11/230.51 eprover: CPU time limit exceeded, terminating % 268.57/232.54 eprover: CPU time limit exceeded, terminating % 271.15/234.55 eprover: CPU time limit exceeded, terminating % 273.63/236.57 eprover: CPU time limit exceeded, terminating % 276.09/238.59 eprover: CPU time limit exceeded, terminating % 278.48/240.62 eprover: CPU time limit exceeded, terminating % 280.92/242.64 eprover: CPU time limit exceeded, terminating % 283.42/244.66 eprover: CPU time limit exceeded, terminating % 285.84/246.67 eprover: CPU time limit exceeded, terminating % 288.26/248.69 eprover: CPU time limit exceeded, terminating % 290.74/250.70 eprover: CPU time limit exceeded, terminating % 293.20/252.72 eprover: CPU time limit exceeded, terminating % 295.61/254.74 eprover: CPU time limit exceeded, terminating % 298.01/256.76 eprover: CPU time limit exceeded, terminating % 300.06/258.15 eprover: CPU time limit exceeded, terminating % 300.06/258.17 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------