TSTP Solution File: CSR214+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR214+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 : Fri Jul 15 03:36:05 EDT 2022
% Result : Timeout 285.88s 258.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.10 % Problem : CSR214+1 : TPTP v8.1.0. Released v7.3.0.
% 0.05/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n019.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Thu Jun 9 18:33:25 EDT 2022
% 0.10/0.30 % CPUTime :
% 8.59/8.55 eprover: CPU time limit exceeded, terminating
% 10.72/10.69 eprover: CPU time limit exceeded, terminating
% 12.93/12.86 eprover: CPU time limit exceeded, terminating
% 15.10/14.97 eprover: CPU time limit exceeded, terminating
% 17.33/16.98 eprover: CPU time limit exceeded, terminating
% 19.50/18.99 eprover: CPU time limit exceeded, terminating
% 21.71/21.00 eprover: CPU time limit exceeded, terminating
% 23.89/23.02 eprover: CPU time limit exceeded, terminating
% 26.15/25.03 eprover: CPU time limit exceeded, terminating
% 28.35/27.04 eprover: CPU time limit exceeded, terminating
% 30.55/29.05 eprover: CPU time limit exceeded, terminating
% 32.75/31.06 eprover: CPU time limit exceeded, terminating
% 34.94/33.07 eprover: CPU time limit exceeded, terminating
% 37.19/35.08 eprover: CPU time limit exceeded, terminating
% 39.34/37.09 eprover: CPU time limit exceeded, terminating
% 41.56/39.10 eprover: CPU time limit exceeded, terminating
% 43.78/41.12 eprover: CPU time limit exceeded, terminating
% 46.02/43.13 eprover: CPU time limit exceeded, terminating
% 48.21/45.14 eprover: CPU time limit exceeded, terminating
% 50.34/47.15 eprover: CPU time limit exceeded, terminating
% 52.61/49.16 eprover: CPU time limit exceeded, terminating
% 54.80/51.17 eprover: CPU time limit exceeded, terminating
% 57.01/53.18 eprover: CPU time limit exceeded, terminating
% 59.25/55.19 eprover: CPU time limit exceeded, terminating
% 61.46/57.20 eprover: CPU time limit exceeded, terminating
% 63.62/59.22 eprover: CPU time limit exceeded, terminating
% 65.83/61.23 eprover: CPU time limit exceeded, terminating
% 68.04/63.24 eprover: CPU time limit exceeded, terminating
% 70.27/65.25 eprover: CPU time limit exceeded, terminating
% 72.43/67.26 eprover: CPU time limit exceeded, terminating
% 74.68/69.27 eprover: CPU time limit exceeded, terminating
% 76.88/71.28 eprover: CPU time limit exceeded, terminating
% 79.05/73.29 eprover: CPU time limit exceeded, terminating
% 83.23/75.30 eprover: CPU time limit exceeded, terminating
% 85.44/77.32 eprover: CPU time limit exceeded, terminating
% 87.62/79.33 eprover: CPU time limit exceeded, terminating
% 89.83/81.34 eprover: CPU time limit exceeded, terminating
% 92.03/83.35 eprover: CPU time limit exceeded, terminating
% 94.26/85.36 eprover: CPU time limit exceeded, terminating
% 96.43/87.38 eprover: CPU time limit exceeded, terminating
% 98.63/89.39 eprover: CPU time limit exceeded, terminating
% 100.85/91.40 eprover: CPU time limit exceeded, terminating
% 103.02/93.42 eprover: CPU time limit exceeded, terminating
% 105.28/95.43 eprover: CPU time limit exceeded, terminating
% 107.44/97.44 eprover: CPU time limit exceeded, terminating
% 109.66/99.45 eprover: CPU time limit exceeded, terminating
% 111.86/101.47 eprover: CPU time limit exceeded, terminating
% 114.06/103.48 eprover: CPU time limit exceeded, terminating
% 116.29/105.49 eprover: CPU time limit exceeded, terminating
% 118.51/107.51 eprover: CPU time limit exceeded, terminating
% 120.70/109.52 eprover: CPU time limit exceeded, terminating
% 122.92/111.53 eprover: CPU time limit exceeded, terminating
% 125.15/113.55 eprover: CPU time limit exceeded, terminating
% 127.31/115.56 eprover: CPU time limit exceeded, terminating
% 129.54/117.57 eprover: CPU time limit exceeded, terminating
% 131.70/119.58 eprover: CPU time limit exceeded, terminating
% 133.88/121.60 eprover: CPU time limit exceeded, terminating
% 136.18/123.61 eprover: CPU time limit exceeded, terminating
% 138.41/125.63 eprover: CPU time limit exceeded, terminating
% 140.57/127.64 eprover: CPU time limit exceeded, terminating
% 142.78/129.65 eprover: CPU time limit exceeded, terminating
% 144.99/131.67 eprover: CPU time limit exceeded, terminating
% 147.18/133.68 eprover: CPU time limit exceeded, terminating
% 149.37/135.69 eprover: CPU time limit exceeded, terminating
% 151.65/137.71 eprover: CPU time limit exceeded, terminating
% 153.84/139.72 eprover: CPU time limit exceeded, terminating
% 156.07/141.73 eprover: CPU time limit exceeded, terminating
% 158.24/143.75 eprover: CPU time limit exceeded, terminating
% 160.39/145.76 eprover: CPU time limit exceeded, terminating
% 162.62/147.77 eprover: CPU time limit exceeded, terminating
% 164.85/149.78 eprover: CPU time limit exceeded, terminating
% 167.11/151.80 eprover: CPU time limit exceeded, terminating
% 169.30/153.81 eprover: CPU time limit exceeded, terminating
% 171.48/155.83 eprover: CPU time limit exceeded, terminating
% 173.70/157.84 eprover: CPU time limit exceeded, terminating
% 175.87/159.85 eprover: CPU time limit exceeded, terminating
% 178.11/161.87 eprover: CPU time limit exceeded, terminating
% 180.27/163.88 eprover: CPU time limit exceeded, terminating
% 182.49/165.89 eprover: CPU time limit exceeded, terminating
% 184.76/167.90 eprover: CPU time limit exceeded, terminating
% 186.97/169.91 eprover: CPU time limit exceeded, terminating
% 189.15/171.93 eprover: CPU time limit exceeded, terminating
% 191.38/173.94 eprover: CPU time limit exceeded, terminating
% 193.61/175.95 eprover: CPU time limit exceeded, terminating
% 195.75/177.97 eprover: CPU time limit exceeded, terminating
% 197.98/179.98 eprover: CPU time limit exceeded, terminating
% 200.23/181.99 eprover: CPU time limit exceeded, terminating
% 202.36/184.01 eprover: CPU time limit exceeded, terminating
% 204.62/186.02 eprover: CPU time limit exceeded, terminating
% 206.83/188.03 eprover: CPU time limit exceeded, terminating
% 208.96/190.04 eprover: CPU time limit exceeded, terminating
% 211.17/192.06 eprover: CPU time limit exceeded, terminating
% 213.31/194.07 eprover: CPU time limit exceeded, terminating
% 215.56/196.08 eprover: CPU time limit exceeded, terminating
% 217.80/198.10 eprover: CPU time limit exceeded, terminating
% 220.00/200.11 eprover: CPU time limit exceeded, terminating
% 222.17/202.13 eprover: CPU time limit exceeded, terminating
% 224.41/204.14 eprover: CPU time limit exceeded, terminating
% 226.57/206.15 eprover: CPU time limit exceeded, terminating
% 228.81/208.16 eprover: CPU time limit exceeded, terminating
% 231.00/210.17 eprover: CPU time limit exceeded, terminating
% 233.24/212.19 eprover: CPU time limit exceeded, terminating
% 235.36/214.20 eprover: CPU time limit exceeded, terminating
% 237.64/216.21 eprover: CPU time limit exceeded, terminating
% 239.84/218.23 eprover: CPU time limit exceeded, terminating
% 242.04/220.24 eprover: CPU time limit exceeded, terminating
% 244.24/222.25 eprover: CPU time limit exceeded, terminating
% 246.43/224.26 eprover: CPU time limit exceeded, terminating
% 248.62/226.28 eprover: CPU time limit exceeded, terminating
% 252.76/228.29 eprover: CPU time limit exceeded, terminating
% 254.98/230.30 eprover: CPU time limit exceeded, terminating
% 257.21/232.32 eprover: CPU time limit exceeded, terminating
% 259.38/234.33 eprover: CPU time limit exceeded, terminating
% 261.64/236.34 eprover: CPU time limit exceeded, terminating
% 263.77/238.36 eprover: CPU time limit exceeded, terminating
% 266.03/240.37 eprover: CPU time limit exceeded, terminating
% 268.25/242.38 eprover: CPU time limit exceeded, terminating
% 270.44/244.40 eprover: CPU time limit exceeded, terminating
% 272.65/246.41 eprover: CPU time limit exceeded, terminating
% 274.81/248.42 eprover: CPU time limit exceeded, terminating
% 277.05/250.43 eprover: CPU time limit exceeded, terminating
% 279.27/252.44 eprover: CPU time limit exceeded, terminating
% 281.41/254.45 eprover: CPU time limit exceeded, terminating
% 283.65/256.46 eprover: CPU time limit exceeded, terminating
% 285.88/258.47 eprover: CPU time limit exceeded, terminating
% 288.06/260.48 eprover: CPU time limit exceeded, terminating
% 290.30/262.50 eprover: CPU time limit exceeded, terminating
% 292.47/264.51 eprover: CPU time limit exceeded, terminating
% 294.70/266.52 eprover: CPU time limit exceeded, terminating
% 296.92/268.54 eprover: CPU time limit exceeded, terminating
% 299.08/270.55 eprover: CPU time limit exceeded, terminating
% 300.08/271.34 eprover: CPU time limit exceeded, terminating
% 300.08/271.36 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------