TSTP Solution File: CSR209+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR209+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n016.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:04 EDT 2022
% Result : Timeout 285.95s 262.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR209+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n016.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 : Sat Jun 11 19:25:26 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.79/5.79 eprover: CPU time limit exceeded, terminating
% 8.00/7.80 eprover: CPU time limit exceeded, terminating
% 10.20/9.81 eprover: CPU time limit exceeded, terminating
% 12.38/11.82 eprover: CPU time limit exceeded, terminating
% 14.56/13.83 eprover: CPU time limit exceeded, terminating
% 16.82/15.84 eprover: CPU time limit exceeded, terminating
% 18.95/17.85 eprover: CPU time limit exceeded, terminating
% 21.19/19.86 eprover: CPU time limit exceeded, terminating
% 23.43/21.88 eprover: CPU time limit exceeded, terminating
% 25.58/23.89 eprover: CPU time limit exceeded, terminating
% 27.85/25.90 eprover: CPU time limit exceeded, terminating
% 30.00/27.91 eprover: CPU time limit exceeded, terminating
% 32.27/29.92 eprover: CPU time limit exceeded, terminating
% 34.48/31.93 eprover: CPU time limit exceeded, terminating
% 36.65/33.94 eprover: CPU time limit exceeded, terminating
% 38.87/35.95 eprover: CPU time limit exceeded, terminating
% 41.12/37.96 eprover: CPU time limit exceeded, terminating
% 43.29/39.98 eprover: CPU time limit exceeded, terminating
% 45.50/41.99 eprover: CPU time limit exceeded, terminating
% 47.68/44.00 eprover: CPU time limit exceeded, terminating
% 49.89/46.02 eprover: CPU time limit exceeded, terminating
% 52.06/48.03 eprover: CPU time limit exceeded, terminating
% 54.30/50.04 eprover: CPU time limit exceeded, terminating
% 56.45/52.06 eprover: CPU time limit exceeded, terminating
% 58.62/54.07 eprover: CPU time limit exceeded, terminating
% 60.84/56.09 eprover: CPU time limit exceeded, terminating
% 63.01/58.10 eprover: CPU time limit exceeded, terminating
% 65.16/60.12 eprover: CPU time limit exceeded, terminating
% 67.42/62.13 eprover: CPU time limit exceeded, terminating
% 69.55/64.16 eprover: CPU time limit exceeded, terminating
% 71.79/66.39 eprover: CPU time limit exceeded, terminating
% 73.90/68.57 eprover: CPU time limit exceeded, terminating
% 76.14/70.77 eprover: CPU time limit exceeded, terminating
% 78.35/72.90 eprover: CPU time limit exceeded, terminating
% 80.73/75.81 eprover: CPU time limit exceeded, terminating
% 82.94/77.82 eprover: CPU time limit exceeded, terminating
% 85.15/79.83 eprover: CPU time limit exceeded, terminating
% 87.37/81.85 eprover: CPU time limit exceeded, terminating
% 89.58/83.86 eprover: CPU time limit exceeded, terminating
% 91.75/85.87 eprover: CPU time limit exceeded, terminating
% 93.96/87.88 eprover: CPU time limit exceeded, terminating
% 96.19/89.89 eprover: CPU time limit exceeded, terminating
% 98.41/91.90 eprover: CPU time limit exceeded, terminating
% 100.61/93.92 eprover: CPU time limit exceeded, terminating
% 102.82/95.93 eprover: CPU time limit exceeded, terminating
% 105.00/97.94 eprover: CPU time limit exceeded, terminating
% 107.18/99.95 eprover: CPU time limit exceeded, terminating
% 109.36/101.96 eprover: CPU time limit exceeded, terminating
% 111.51/103.97 eprover: CPU time limit exceeded, terminating
% 113.80/105.98 eprover: CPU time limit exceeded, terminating
% 115.95/107.99 eprover: CPU time limit exceeded, terminating
% 118.22/110.01 eprover: CPU time limit exceeded, terminating
% 120.43/112.02 eprover: CPU time limit exceeded, terminating
% 122.62/114.03 eprover: CPU time limit exceeded, terminating
% 124.81/116.04 eprover: CPU time limit exceeded, terminating
% 127.03/118.05 eprover: CPU time limit exceeded, terminating
% 129.19/120.06 eprover: CPU time limit exceeded, terminating
% 131.47/122.08 eprover: CPU time limit exceeded, terminating
% 133.63/124.09 eprover: CPU time limit exceeded, terminating
% 135.89/126.10 eprover: CPU time limit exceeded, terminating
% 138.04/128.11 eprover: CPU time limit exceeded, terminating
% 140.27/130.12 eprover: CPU time limit exceeded, terminating
% 142.52/132.13 eprover: CPU time limit exceeded, terminating
% 144.67/134.14 eprover: CPU time limit exceeded, terminating
% 146.92/136.16 eprover: CPU time limit exceeded, terminating
% 149.07/138.17 eprover: CPU time limit exceeded, terminating
% 151.31/140.18 eprover: CPU time limit exceeded, terminating
% 153.56/142.19 eprover: CPU time limit exceeded, terminating
% 155.67/144.20 eprover: CPU time limit exceeded, terminating
% 157.92/146.22 eprover: CPU time limit exceeded, terminating
% 160.14/148.23 eprover: CPU time limit exceeded, terminating
% 162.33/150.25 eprover: CPU time limit exceeded, terminating
% 164.55/152.26 eprover: CPU time limit exceeded, terminating
% 166.72/154.28 eprover: CPU time limit exceeded, terminating
% 169.01/156.29 eprover: CPU time limit exceeded, terminating
% 171.14/158.31 eprover: CPU time limit exceeded, terminating
% 173.41/160.32 eprover: CPU time limit exceeded, terminating
% 175.61/162.33 eprover: CPU time limit exceeded, terminating
% 177.80/164.34 eprover: CPU time limit exceeded, terminating
% 179.99/166.35 eprover: CPU time limit exceeded, terminating
% 182.15/168.36 eprover: CPU time limit exceeded, terminating
% 184.37/170.37 eprover: CPU time limit exceeded, terminating
% 186.55/172.38 eprover: CPU time limit exceeded, terminating
% 188.81/174.40 eprover: CPU time limit exceeded, terminating
% 191.03/176.41 eprover: CPU time limit exceeded, terminating
% 193.23/178.43 eprover: CPU time limit exceeded, terminating
% 195.41/180.44 eprover: CPU time limit exceeded, terminating
% 197.60/182.45 eprover: CPU time limit exceeded, terminating
% 199.81/184.46 eprover: CPU time limit exceeded, terminating
% 202.09/186.47 eprover: CPU time limit exceeded, terminating
% 204.24/188.49 eprover: CPU time limit exceeded, terminating
% 206.50/190.50 eprover: CPU time limit exceeded, terminating
% 208.72/192.51 eprover: CPU time limit exceeded, terminating
% 210.93/194.52 eprover: CPU time limit exceeded, terminating
% 213.07/196.53 eprover: CPU time limit exceeded, terminating
% 215.28/198.54 eprover: CPU time limit exceeded, terminating
% 217.54/200.55 eprover: CPU time limit exceeded, terminating
% 219.75/202.57 eprover: CPU time limit exceeded, terminating
% 221.94/204.58 eprover: CPU time limit exceeded, terminating
% 224.20/206.60 eprover: CPU time limit exceeded, terminating
% 226.32/208.61 eprover: CPU time limit exceeded, terminating
% 228.61/210.62 eprover: CPU time limit exceeded, terminating
% 230.81/212.64 eprover: CPU time limit exceeded, terminating
% 233.02/214.65 eprover: CPU time limit exceeded, terminating
% 235.24/216.66 eprover: CPU time limit exceeded, terminating
% 237.38/218.67 eprover: CPU time limit exceeded, terminating
% 239.62/220.68 eprover: CPU time limit exceeded, terminating
% 241.86/222.70 eprover: CPU time limit exceeded, terminating
% 244.02/224.72 eprover: CPU time limit exceeded, terminating
% 246.24/226.74 eprover: CPU time limit exceeded, terminating
% 248.49/228.75 eprover: CPU time limit exceeded, terminating
% 250.70/230.77 eprover: CPU time limit exceeded, terminating
% 252.92/232.78 eprover: CPU time limit exceeded, terminating
% 255.08/234.79 eprover: CPU time limit exceeded, terminating
% 257.28/236.80 eprover: CPU time limit exceeded, terminating
% 259.48/238.81 eprover: CPU time limit exceeded, terminating
% 261.63/240.82 eprover: CPU time limit exceeded, terminating
% 263.91/242.83 eprover: CPU time limit exceeded, terminating
% 266.07/244.85 eprover: CPU time limit exceeded, terminating
% 268.26/246.86 eprover: CPU time limit exceeded, terminating
% 270.49/248.87 eprover: CPU time limit exceeded, terminating
% 272.68/250.88 eprover: CPU time limit exceeded, terminating
% 274.90/252.89 eprover: CPU time limit exceeded, terminating
% 277.06/254.90 eprover: CPU time limit exceeded, terminating
% 279.30/256.91 eprover: CPU time limit exceeded, terminating
% 281.47/258.92 eprover: CPU time limit exceeded, terminating
% 283.68/260.93 eprover: CPU time limit exceeded, terminating
% 285.95/262.94 eprover: CPU time limit exceeded, terminating
% 288.15/264.95 eprover: CPU time limit exceeded, terminating
% 290.36/266.97 eprover: CPU time limit exceeded, terminating
% 292.55/268.99 eprover: CPU time limit exceeded, terminating
% 294.75/271.00 eprover: CPU time limit exceeded, terminating
% 296.97/273.02 eprover: CPU time limit exceeded, terminating
% 299.19/275.03 eprover: CPU time limit exceeded, terminating
% 300.08/275.78 eprover: CPU time limit exceeded, terminating
% 300.08/275.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------