%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW296+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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:34 EDT 2022 % Result : Timeout 287.92s 244.92s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.14 % Problem : SWW296+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n021.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Mon Jun 6 03:22:35 EDT 2022 % 0.14/0.36 % CPUTime : % 59.52/59.16 eprover: CPU time limit exceeded, terminating % 61.96/61.18 eprover: CPU time limit exceeded, terminating % 64.46/63.20 eprover: CPU time limit exceeded, terminating % 66.93/65.22 eprover: CPU time limit exceeded, terminating % 69.40/67.24 eprover: CPU time limit exceeded, terminating % 71.83/69.26 eprover: CPU time limit exceeded, terminating % 74.35/71.28 eprover: CPU time limit exceeded, terminating % 76.85/73.30 eprover: CPU time limit exceeded, terminating % 79.41/75.32 eprover: CPU time limit exceeded, terminating % 81.96/77.33 eprover: CPU time limit exceeded, terminating % 84.40/79.35 eprover: CPU time limit exceeded, terminating % 86.94/81.37 eprover: CPU time limit exceeded, terminating % 89.34/83.39 eprover: CPU time limit exceeded, terminating % 91.91/85.41 eprover: CPU time limit exceeded, terminating % 94.40/87.43 eprover: CPU time limit exceeded, terminating % 96.91/89.44 eprover: CPU time limit exceeded, terminating % 99.37/91.46 eprover: CPU time limit exceeded, terminating % 101.90/93.48 eprover: CPU time limit exceeded, terminating % 104.39/95.50 eprover: CPU time limit exceeded, terminating % 106.85/97.52 eprover: CPU time limit exceeded, terminating % 109.36/99.54 eprover: CPU time limit exceeded, terminating % 111.79/101.56 eprover: CPU time limit exceeded, terminating % 114.38/103.58 eprover: CPU time limit exceeded, terminating % 116.86/105.60 eprover: CPU time limit exceeded, terminating % 119.33/107.62 eprover: CPU time limit exceeded, terminating % 121.78/109.64 eprover: CPU time limit exceeded, terminating % 124.26/111.66 eprover: CPU time limit exceeded, terminating % 126.71/113.67 eprover: CPU time limit exceeded, terminating % 129.18/115.69 eprover: CPU time limit exceeded, terminating % 131.65/117.71 eprover: CPU time limit exceeded, terminating % 134.17/119.73 eprover: CPU time limit exceeded, terminating % 136.58/121.75 eprover: CPU time limit exceeded, terminating % 139.09/123.77 eprover: CPU time limit exceeded, terminating % 141.65/125.79 eprover: CPU time limit exceeded, terminating % 144.10/127.81 eprover: CPU time limit exceeded, terminating % 146.57/129.82 eprover: CPU time limit exceeded, terminating % 149.06/131.84 eprover: CPU time limit exceeded, terminating % 151.53/133.86 eprover: CPU time limit exceeded, terminating % 154.02/135.88 eprover: CPU time limit exceeded, terminating % 156.49/137.90 eprover: CPU time limit exceeded, terminating % 159.03/139.92 eprover: CPU time limit exceeded, terminating % 161.53/141.94 eprover: CPU time limit exceeded, terminating % 163.96/143.96 eprover: CPU time limit exceeded, terminating % 166.47/145.98 eprover: CPU time limit exceeded, terminating % 168.95/148.00 eprover: CPU time limit exceeded, terminating % 171.44/150.02 eprover: CPU time limit exceeded, terminating % 173.90/152.04 eprover: CPU time limit exceeded, terminating % 176.33/154.05 eprover: CPU time limit exceeded, terminating % 178.80/156.07 eprover: CPU time limit exceeded, terminating % 181.34/158.09 eprover: CPU time limit exceeded, terminating % 183.81/160.11 eprover: CPU time limit exceeded, terminating % 186.24/162.13 eprover: CPU time limit exceeded, terminating % 188.73/164.15 eprover: CPU time limit exceeded, terminating % 191.17/166.17 eprover: CPU time limit exceeded, terminating % 193.65/168.19 eprover: CPU time limit exceeded, terminating % 196.22/170.21 eprover: CPU time limit exceeded, terminating % 198.70/172.23 eprover: CPU time limit exceeded, terminating % 201.19/174.25 eprover: CPU time limit exceeded, terminating % 203.65/176.26 eprover: CPU time limit exceeded, terminating % 206.05/178.28 eprover: CPU time limit exceeded, terminating % 208.61/180.30 eprover: CPU time limit exceeded, terminating % 211.12/182.32 eprover: CPU time limit exceeded, terminating % 213.59/184.34 eprover: CPU time limit exceeded, terminating % 216.01/186.36 eprover: CPU time limit exceeded, terminating % 218.49/188.38 eprover: CPU time limit exceeded, terminating % 221.06/190.40 eprover: CPU time limit exceeded, terminating % 223.53/192.42 eprover: CPU time limit exceeded, terminating % 226.00/194.44 eprover: CPU time limit exceeded, terminating % 228.45/196.46 eprover: CPU time limit exceeded, terminating % 230.96/198.48 eprover: CPU time limit exceeded, terminating % 233.42/200.50 eprover: CPU time limit exceeded, terminating % 235.91/202.52 eprover: CPU time limit exceeded, terminating % 238.36/204.53 eprover: CPU time limit exceeded, terminating % 240.79/206.55 eprover: CPU time limit exceeded, terminating % 243.25/208.57 eprover: CPU time limit exceeded, terminating % 245.71/210.59 eprover: CPU time limit exceeded, terminating % 248.23/212.61 eprover: CPU time limit exceeded, terminating % 250.71/214.63 eprover: CPU time limit exceeded, terminating % 253.18/216.65 eprover: CPU time limit exceeded, terminating % 255.69/218.67 eprover: CPU time limit exceeded, terminating % 258.20/220.69 eprover: CPU time limit exceeded, terminating % 260.65/222.71 eprover: CPU time limit exceeded, terminating % 263.13/224.73 eprover: CPU time limit exceeded, terminating % 265.56/226.75 eprover: CPU time limit exceeded, terminating % 268.03/228.77 eprover: CPU time limit exceeded, terminating % 270.48/230.79 eprover: CPU time limit exceeded, terminating % 272.96/232.80 eprover: CPU time limit exceeded, terminating % 275.49/234.82 eprover: CPU time limit exceeded, terminating % 278.00/236.84 eprover: CPU time limit exceeded, terminating % 280.45/238.86 eprover: CPU time limit exceeded, terminating % 282.88/240.88 eprover: CPU time limit exceeded, terminating % 285.38/242.90 eprover: CPU time limit exceeded, terminating % 287.92/244.92 eprover: CPU time limit exceeded, terminating % 290.40/246.94 eprover: CPU time limit exceeded, terminating % 292.84/248.96 eprover: CPU time limit exceeded, terminating % 295.30/250.98 eprover: CPU time limit exceeded, terminating % 297.79/253.00 eprover: CPU time limit exceeded, terminating % 300.08/254.79 eprover: CPU time limit exceeded, terminating % 300.08/254.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------