%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW312+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n027.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:36 EDT 2022 % Result : Timeout 286.31s 244.78s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW312+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.13 % Command : run_infinox %s % 0.12/0.34 % Computer : n027.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Sun Jun 5 11:30:08 EDT 2022 % 0.12/0.34 % CPUTime : % 53.58/53.30 eprover: CPU time limit exceeded, terminating % 56.03/55.31 eprover: CPU time limit exceeded, terminating % 58.55/57.33 eprover: CPU time limit exceeded, terminating % 61.02/59.34 eprover: CPU time limit exceeded, terminating % 63.48/61.36 eprover: CPU time limit exceeded, terminating % 65.98/63.38 eprover: CPU time limit exceeded, terminating % 68.34/65.39 eprover: CPU time limit exceeded, terminating % 70.83/67.41 eprover: CPU time limit exceeded, terminating % 73.34/69.42 eprover: CPU time limit exceeded, terminating % 75.76/71.44 eprover: CPU time limit exceeded, terminating % 78.24/73.45 eprover: CPU time limit exceeded, terminating % 80.71/75.47 eprover: CPU time limit exceeded, terminating % 83.17/77.49 eprover: CPU time limit exceeded, terminating % 85.68/79.50 eprover: CPU time limit exceeded, terminating % 88.16/81.52 eprover: CPU time limit exceeded, terminating % 90.57/83.53 eprover: CPU time limit exceeded, terminating % 92.97/85.55 eprover: CPU time limit exceeded, terminating % 95.42/87.56 eprover: CPU time limit exceeded, terminating % 97.94/89.58 eprover: CPU time limit exceeded, terminating % 100.41/91.59 eprover: CPU time limit exceeded, terminating % 102.78/93.61 eprover: CPU time limit exceeded, terminating % 105.28/95.63 eprover: CPU time limit exceeded, terminating % 107.70/97.64 eprover: CPU time limit exceeded, terminating % 110.18/99.66 eprover: CPU time limit exceeded, terminating % 112.58/101.67 eprover: CPU time limit exceeded, terminating % 115.09/103.69 eprover: CPU time limit exceeded, terminating % 117.54/105.71 eprover: CPU time limit exceeded, terminating % 119.97/107.72 eprover: CPU time limit exceeded, terminating % 122.42/109.74 eprover: CPU time limit exceeded, terminating % 124.82/111.75 eprover: CPU time limit exceeded, terminating % 127.29/113.76 eprover: CPU time limit exceeded, terminating % 129.73/115.78 eprover: CPU time limit exceeded, terminating % 132.24/117.80 eprover: CPU time limit exceeded, terminating % 134.65/119.81 eprover: CPU time limit exceeded, terminating % 137.13/121.83 eprover: CPU time limit exceeded, terminating % 139.56/123.84 eprover: CPU time limit exceeded, terminating % 141.94/125.86 eprover: CPU time limit exceeded, terminating % 144.38/127.88 eprover: CPU time limit exceeded, terminating % 146.83/129.89 eprover: CPU time limit exceeded, terminating % 149.28/131.90 eprover: CPU time limit exceeded, terminating % 151.80/133.92 eprover: CPU time limit exceeded, terminating % 154.22/135.93 eprover: CPU time limit exceeded, terminating % 156.67/137.95 eprover: CPU time limit exceeded, terminating % 159.11/139.97 eprover: CPU time limit exceeded, terminating % 161.53/141.98 eprover: CPU time limit exceeded, terminating % 164.06/143.99 eprover: CPU time limit exceeded, terminating % 166.50/146.01 eprover: CPU time limit exceeded, terminating % 168.94/148.02 eprover: CPU time limit exceeded, terminating % 171.34/150.04 eprover: CPU time limit exceeded, terminating % 173.80/152.05 eprover: CPU time limit exceeded, terminating % 176.22/154.07 eprover: CPU time limit exceeded, terminating % 178.72/156.08 eprover: CPU time limit exceeded, terminating % 181.15/158.10 eprover: CPU time limit exceeded, terminating % 183.61/160.12 eprover: CPU time limit exceeded, terminating % 186.06/162.13 eprover: CPU time limit exceeded, terminating % 188.46/164.15 eprover: CPU time limit exceeded, terminating % 190.94/166.16 eprover: CPU time limit exceeded, terminating % 193.36/168.18 eprover: CPU time limit exceeded, terminating % 195.87/170.19 eprover: CPU time limit exceeded, terminating % 198.31/172.21 eprover: CPU time limit exceeded, terminating % 200.75/174.23 eprover: CPU time limit exceeded, terminating % 203.18/176.24 eprover: CPU time limit exceeded, terminating % 205.63/178.26 eprover: CPU time limit exceeded, terminating % 208.08/180.27 eprover: CPU time limit exceeded, terminating % 210.58/182.28 eprover: CPU time limit exceeded, terminating % 213.02/184.30 eprover: CPU time limit exceeded, terminating % 215.47/186.32 eprover: CPU time limit exceeded, terminating % 217.93/188.33 eprover: CPU time limit exceeded, terminating % 220.34/190.35 eprover: CPU time limit exceeded, terminating % 222.77/192.36 eprover: CPU time limit exceeded, terminating % 225.20/194.38 eprover: CPU time limit exceeded, terminating % 227.71/196.40 eprover: CPU time limit exceeded, terminating % 230.16/198.41 eprover: CPU time limit exceeded, terminating % 232.60/200.43 eprover: CPU time limit exceeded, terminating % 235.04/202.44 eprover: CPU time limit exceeded, terminating % 237.45/204.46 eprover: CPU time limit exceeded, terminating % 239.89/206.47 eprover: CPU time limit exceeded, terminating % 242.32/208.49 eprover: CPU time limit exceeded, terminating % 244.82/210.51 eprover: CPU time limit exceeded, terminating % 247.26/212.52 eprover: CPU time limit exceeded, terminating % 249.71/214.54 eprover: CPU time limit exceeded, terminating % 252.14/216.55 eprover: CPU time limit exceeded, terminating % 254.54/218.57 eprover: CPU time limit exceeded, terminating % 256.97/220.59 eprover: CPU time limit exceeded, terminating % 259.50/222.60 eprover: CPU time limit exceeded, terminating % 261.91/224.62 eprover: CPU time limit exceeded, terminating % 264.35/226.63 eprover: CPU time limit exceeded, terminating % 266.78/228.65 eprover: CPU time limit exceeded, terminating % 269.21/230.67 eprover: CPU time limit exceeded, terminating % 271.68/232.68 eprover: CPU time limit exceeded, terminating % 274.09/234.70 eprover: CPU time limit exceeded, terminating % 276.61/236.72 eprover: CPU time limit exceeded, terminating % 279.04/238.73 eprover: CPU time limit exceeded, terminating % 281.47/240.75 eprover: CPU time limit exceeded, terminating % 283.89/242.76 eprover: CPU time limit exceeded, terminating % 286.31/244.78 eprover: CPU time limit exceeded, terminating % 288.84/246.80 eprover: CPU time limit exceeded, terminating % 291.25/248.81 eprover: CPU time limit exceeded, terminating % 293.70/250.83 eprover: CPU time limit exceeded, terminating % 296.19/252.85 eprover: CPU time limit exceeded, terminating % 298.58/254.86 eprover: CPU time limit exceeded, terminating % 300.02/255.89 eprover: CPU time limit exceeded, terminating % 300.02/255.90 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------