%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW378+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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:42 EDT 2022 % Result : Timeout 286.73s 244.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.12 % Problem : SWW378+1 : TPTP v8.1.0. Released v5.2.0. % 0.04/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n017.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 : Mon Jun 6 08:54:01 EDT 2022 % 0.13/0.34 % CPUTime : % 55.36/54.99 eprover: CPU time limit exceeded, terminating % 57.83/57.02 eprover: CPU time limit exceeded, terminating % 60.23/59.03 eprover: CPU time limit exceeded, terminating % 62.78/61.05 eprover: CPU time limit exceeded, terminating % 65.22/63.07 eprover: CPU time limit exceeded, terminating % 67.70/65.09 eprover: CPU time limit exceeded, terminating % 70.17/67.10 eprover: CPU time limit exceeded, terminating % 72.64/69.12 eprover: CPU time limit exceeded, terminating % 75.08/71.14 eprover: CPU time limit exceeded, terminating % 77.52/73.16 eprover: CPU time limit exceeded, terminating % 79.99/75.17 eprover: CPU time limit exceeded, terminating % 82.46/77.18 eprover: CPU time limit exceeded, terminating % 85.01/79.20 eprover: CPU time limit exceeded, terminating % 87.48/81.22 eprover: CPU time limit exceeded, terminating % 89.96/83.24 eprover: CPU time limit exceeded, terminating % 92.44/85.26 eprover: CPU time limit exceeded, terminating % 94.91/87.27 eprover: CPU time limit exceeded, terminating % 97.40/89.29 eprover: CPU time limit exceeded, terminating % 99.88/91.31 eprover: CPU time limit exceeded, terminating % 102.32/93.33 eprover: CPU time limit exceeded, terminating % 104.83/95.34 eprover: CPU time limit exceeded, terminating % 107.36/97.36 eprover: CPU time limit exceeded, terminating % 109.79/99.38 eprover: CPU time limit exceeded, terminating % 112.29/101.40 eprover: CPU time limit exceeded, terminating % 114.69/103.42 eprover: CPU time limit exceeded, terminating % 117.22/105.44 eprover: CPU time limit exceeded, terminating % 119.66/107.45 eprover: CPU time limit exceeded, terminating % 122.08/109.47 eprover: CPU time limit exceeded, terminating % 124.57/111.49 eprover: CPU time limit exceeded, terminating % 127.08/113.50 eprover: CPU time limit exceeded, terminating % 129.60/115.52 eprover: CPU time limit exceeded, terminating % 132.08/117.54 eprover: CPU time limit exceeded, terminating % 134.51/119.56 eprover: CPU time limit exceeded, terminating % 136.99/121.58 eprover: CPU time limit exceeded, terminating % 139.45/123.60 eprover: CPU time limit exceeded, terminating % 141.98/125.61 eprover: CPU time limit exceeded, terminating % 144.46/127.63 eprover: CPU time limit exceeded, terminating % 146.93/129.65 eprover: CPU time limit exceeded, terminating % 149.35/131.67 eprover: CPU time limit exceeded, terminating % 151.90/133.69 eprover: CPU time limit exceeded, terminating % 154.35/135.70 eprover: CPU time limit exceeded, terminating % 156.80/137.72 eprover: CPU time limit exceeded, terminating % 159.22/139.74 eprover: CPU time limit exceeded, terminating % 161.67/141.76 eprover: CPU time limit exceeded, terminating % 164.21/143.78 eprover: CPU time limit exceeded, terminating % 166.62/145.80 eprover: CPU time limit exceeded, terminating % 169.09/147.81 eprover: CPU time limit exceeded, terminating % 171.57/149.83 eprover: CPU time limit exceeded, terminating % 174.04/151.85 eprover: CPU time limit exceeded, terminating % 176.50/153.86 eprover: CPU time limit exceeded, terminating % 178.91/155.88 eprover: CPU time limit exceeded, terminating % 181.40/157.90 eprover: CPU time limit exceeded, terminating % 183.89/159.92 eprover: CPU time limit exceeded, terminating % 186.28/161.93 eprover: CPU time limit exceeded, terminating % 188.76/163.95 eprover: CPU time limit exceeded, terminating % 191.21/165.97 eprover: CPU time limit exceeded, terminating % 193.71/167.99 eprover: CPU time limit exceeded, terminating % 196.19/170.01 eprover: CPU time limit exceeded, terminating % 198.56/172.02 eprover: CPU time limit exceeded, terminating % 201.07/174.04 eprover: CPU time limit exceeded, terminating % 203.50/176.06 eprover: CPU time limit exceeded, terminating % 205.96/178.08 eprover: CPU time limit exceeded, terminating % 208.49/180.10 eprover: CPU time limit exceeded, terminating % 210.94/182.11 eprover: CPU time limit exceeded, terminating % 213.35/184.13 eprover: CPU time limit exceeded, terminating % 215.81/186.15 eprover: CPU time limit exceeded, terminating % 218.26/188.17 eprover: CPU time limit exceeded, terminating % 220.69/190.18 eprover: CPU time limit exceeded, terminating % 223.18/192.20 eprover: CPU time limit exceeded, terminating % 225.62/194.22 eprover: CPU time limit exceeded, terminating % 228.09/196.24 eprover: CPU time limit exceeded, terminating % 230.51/198.26 eprover: CPU time limit exceeded, terminating % 232.94/200.27 eprover: CPU time limit exceeded, terminating % 235.45/202.29 eprover: CPU time limit exceeded, terminating % 237.90/204.31 eprover: CPU time limit exceeded, terminating % 240.31/206.33 eprover: CPU time limit exceeded, terminating % 242.74/208.34 eprover: CPU time limit exceeded, terminating % 245.15/210.36 eprover: CPU time limit exceeded, terminating % 247.60/212.38 eprover: CPU time limit exceeded, terminating % 250.02/214.40 eprover: CPU time limit exceeded, terminating % 252.54/216.42 eprover: CPU time limit exceeded, terminating % 254.93/218.44 eprover: CPU time limit exceeded, terminating % 257.40/220.45 eprover: CPU time limit exceeded, terminating % 259.78/222.47 eprover: CPU time limit exceeded, terminating % 262.30/224.49 eprover: CPU time limit exceeded, terminating % 264.66/226.51 eprover: CPU time limit exceeded, terminating % 267.17/228.53 eprover: CPU time limit exceeded, terminating % 269.60/230.54 eprover: CPU time limit exceeded, terminating % 272.06/232.56 eprover: CPU time limit exceeded, terminating % 274.48/234.58 eprover: CPU time limit exceeded, terminating % 276.96/236.60 eprover: CPU time limit exceeded, terminating % 279.42/238.62 eprover: CPU time limit exceeded, terminating % 281.85/240.64 eprover: CPU time limit exceeded, terminating % 284.31/242.65 eprover: CPU time limit exceeded, terminating % 286.73/244.67 eprover: CPU time limit exceeded, terminating % 289.17/246.69 eprover: CPU time limit exceeded, terminating % 291.67/248.71 eprover: CPU time limit exceeded, terminating % 294.11/250.73 eprover: CPU time limit exceeded, terminating % 296.53/252.75 eprover: CPU time limit exceeded, terminating % 298.95/254.76 eprover: CPU time limit exceeded, terminating % 300.05/255.61 eprover: CPU time limit exceeded, terminating % 300.05/255.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------