TSTP Solution File: CSR115+14 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+14 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:35:27 EDT 2022
% Result : Timeout 286.00s 265.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR115+14 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n010.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 : Sat Jun 11 17:11:40 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.76/3.80 eprover: CPU time limit exceeded, terminating
% 5.89/5.81 eprover: CPU time limit exceeded, terminating
% 8.08/7.83 eprover: CPU time limit exceeded, terminating
% 10.22/9.84 eprover: CPU time limit exceeded, terminating
% 12.42/11.85 eprover: CPU time limit exceeded, terminating
% 14.55/13.86 eprover: CPU time limit exceeded, terminating
% 16.74/15.87 eprover: CPU time limit exceeded, terminating
% 18.83/17.88 eprover: CPU time limit exceeded, terminating
% 21.04/19.89 eprover: CPU time limit exceeded, terminating
% 23.14/21.91 eprover: CPU time limit exceeded, terminating
% 25.38/23.92 eprover: CPU time limit exceeded, terminating
% 27.54/25.93 eprover: CPU time limit exceeded, terminating
% 29.68/27.94 eprover: CPU time limit exceeded, terminating
% 31.84/29.95 eprover: CPU time limit exceeded, terminating
% 34.01/31.96 eprover: CPU time limit exceeded, terminating
% 36.18/33.97 eprover: CPU time limit exceeded, terminating
% 38.36/35.98 eprover: CPU time limit exceeded, terminating
% 40.47/37.99 eprover: CPU time limit exceeded, terminating
% 42.67/40.00 eprover: CPU time limit exceeded, terminating
% 44.77/42.02 eprover: CPU time limit exceeded, terminating
% 46.99/44.03 eprover: CPU time limit exceeded, terminating
% 49.18/46.04 eprover: CPU time limit exceeded, terminating
% 51.29/48.05 eprover: CPU time limit exceeded, terminating
% 53.50/50.06 eprover: CPU time limit exceeded, terminating
% 55.71/52.07 eprover: CPU time limit exceeded, terminating
% 57.81/54.08 eprover: CPU time limit exceeded, terminating
% 60.03/56.10 eprover: CPU time limit exceeded, terminating
% 62.11/58.11 eprover: CPU time limit exceeded, terminating
% 64.31/60.12 eprover: CPU time limit exceeded, terminating
% 66.49/62.13 eprover: CPU time limit exceeded, terminating
% 68.61/64.14 eprover: CPU time limit exceeded, terminating
% 70.80/66.16 eprover: CPU time limit exceeded, terminating
% 72.94/68.17 eprover: CPU time limit exceeded, terminating
% 75.12/70.18 eprover: CPU time limit exceeded, terminating
% 77.34/72.19 eprover: CPU time limit exceeded, terminating
% 79.42/74.20 eprover: CPU time limit exceeded, terminating
% 81.56/76.21 eprover: CPU time limit exceeded, terminating
% 83.64/78.23 eprover: CPU time limit exceeded, terminating
% 85.73/80.27 eprover: CPU time limit exceeded, terminating
% 87.94/82.32 eprover: CPU time limit exceeded, terminating
% 90.11/84.35 eprover: CPU time limit exceeded, terminating
% 92.24/86.36 eprover: CPU time limit exceeded, terminating
% 94.41/88.37 eprover: CPU time limit exceeded, terminating
% 96.53/90.38 eprover: CPU time limit exceeded, terminating
% 98.75/92.39 eprover: CPU time limit exceeded, terminating
% 100.94/94.40 eprover: CPU time limit exceeded, terminating
% 103.15/96.41 eprover: CPU time limit exceeded, terminating
% 105.29/98.42 eprover: CPU time limit exceeded, terminating
% 107.46/100.45 eprover: CPU time limit exceeded, terminating
% 109.66/102.46 eprover: CPU time limit exceeded, terminating
% 111.72/104.47 eprover: CPU time limit exceeded, terminating
% 113.89/106.48 eprover: CPU time limit exceeded, terminating
% 116.11/108.49 eprover: CPU time limit exceeded, terminating
% 118.29/110.50 eprover: CPU time limit exceeded, terminating
% 120.44/112.52 eprover: CPU time limit exceeded, terminating
% 122.58/114.53 eprover: CPU time limit exceeded, terminating
% 124.76/116.54 eprover: CPU time limit exceeded, terminating
% 126.88/118.56 eprover: CPU time limit exceeded, terminating
% 129.04/120.57 eprover: CPU time limit exceeded, terminating
% 131.23/122.58 eprover: CPU time limit exceeded, terminating
% 133.42/124.59 eprover: CPU time limit exceeded, terminating
% 135.58/126.60 eprover: CPU time limit exceeded, terminating
% 137.71/128.61 eprover: CPU time limit exceeded, terminating
% 139.89/130.63 eprover: CPU time limit exceeded, terminating
% 142.05/132.64 eprover: CPU time limit exceeded, terminating
% 144.21/134.65 eprover: CPU time limit exceeded, terminating
% 146.35/136.66 eprover: CPU time limit exceeded, terminating
% 148.47/138.67 eprover: CPU time limit exceeded, terminating
% 150.65/140.68 eprover: CPU time limit exceeded, terminating
% 152.84/142.69 eprover: CPU time limit exceeded, terminating
% 155.01/144.70 eprover: CPU time limit exceeded, terminating
% 157.17/146.72 eprover: CPU time limit exceeded, terminating
% 159.34/148.73 eprover: CPU time limit exceeded, terminating
% 161.45/150.74 eprover: CPU time limit exceeded, terminating
% 163.63/152.75 eprover: CPU time limit exceeded, terminating
% 165.82/154.76 eprover: CPU time limit exceeded, terminating
% 167.97/156.78 eprover: CPU time limit exceeded, terminating
% 172.08/158.79 eprover: CPU time limit exceeded, terminating
% 174.31/160.80 eprover: CPU time limit exceeded, terminating
% 176.45/162.81 eprover: CPU time limit exceeded, terminating
% 178.59/164.83 eprover: CPU time limit exceeded, terminating
% 180.81/166.84 eprover: CPU time limit exceeded, terminating
% 182.98/168.85 eprover: CPU time limit exceeded, terminating
% 185.08/170.86 eprover: CPU time limit exceeded, terminating
% 187.24/172.87 eprover: CPU time limit exceeded, terminating
% 189.43/174.88 eprover: CPU time limit exceeded, terminating
% 191.60/176.90 eprover: CPU time limit exceeded, terminating
% 193.75/178.91 eprover: CPU time limit exceeded, terminating
% 195.93/180.93 eprover: CPU time limit exceeded, terminating
% 198.10/182.94 eprover: CPU time limit exceeded, terminating
% 200.23/184.95 eprover: CPU time limit exceeded, terminating
% 202.36/186.96 eprover: CPU time limit exceeded, terminating
% 204.50/188.97 eprover: CPU time limit exceeded, terminating
% 206.73/191.01 eprover: CPU time limit exceeded, terminating
% 208.87/193.02 eprover: CPU time limit exceeded, terminating
% 211.03/195.03 eprover: CPU time limit exceeded, terminating
% 213.21/197.04 eprover: CPU time limit exceeded, terminating
% 215.34/199.05 eprover: CPU time limit exceeded, terminating
% 217.48/201.07 eprover: CPU time limit exceeded, terminating
% 219.66/203.08 eprover: CPU time limit exceeded, terminating
% 221.86/205.09 eprover: CPU time limit exceeded, terminating
% 224.00/207.10 eprover: CPU time limit exceeded, terminating
% 226.10/209.11 eprover: CPU time limit exceeded, terminating
% 228.27/211.12 eprover: CPU time limit exceeded, terminating
% 230.44/213.13 eprover: CPU time limit exceeded, terminating
% 232.54/215.14 eprover: CPU time limit exceeded, terminating
% 234.66/217.16 eprover: CPU time limit exceeded, terminating
% 236.75/219.18 eprover: CPU time limit exceeded, terminating
% 238.97/221.19 eprover: CPU time limit exceeded, terminating
% 241.14/223.20 eprover: CPU time limit exceeded, terminating
% 243.31/225.21 eprover: CPU time limit exceeded, terminating
% 245.45/227.23 eprover: CPU time limit exceeded, terminating
% 247.60/229.24 eprover: CPU time limit exceeded, terminating
% 249.75/231.25 eprover: CPU time limit exceeded, terminating
% 251.84/233.27 eprover: CPU time limit exceeded, terminating
% 253.98/235.28 eprover: CPU time limit exceeded, terminating
% 255.96/237.29 eprover: CPU time limit exceeded, terminating
% 258.11/239.30 eprover: CPU time limit exceeded, terminating
% 260.27/241.31 eprover: CPU time limit exceeded, terminating
% 262.45/243.33 eprover: CPU time limit exceeded, terminating
% 264.57/245.34 eprover: CPU time limit exceeded, terminating
% 266.64/247.35 eprover: CPU time limit exceeded, terminating
% 268.81/249.36 eprover: CPU time limit exceeded, terminating
% 270.94/251.37 eprover: CPU time limit exceeded, terminating
% 273.13/253.39 eprover: CPU time limit exceeded, terminating
% 275.32/255.40 eprover: CPU time limit exceeded, terminating
% 277.47/257.41 eprover: CPU time limit exceeded, terminating
% 279.59/259.42 eprover: CPU time limit exceeded, terminating
% 281.76/261.43 eprover: CPU time limit exceeded, terminating
% 283.90/263.44 eprover: CPU time limit exceeded, terminating
% 286.00/265.46 eprover: CPU time limit exceeded, terminating
% 288.18/267.47 eprover: CPU time limit exceeded, terminating
% 290.30/269.48 eprover: CPU time limit exceeded, terminating
% 292.50/271.49 eprover: CPU time limit exceeded, terminating
% 294.58/273.51 eprover: CPU time limit exceeded, terminating
% 296.82/275.52 eprover: CPU time limit exceeded, terminating
% 298.88/277.53 eprover: CPU time limit exceeded, terminating
% 300.03/278.59 eprover: CPU time limit exceeded, terminating
% 300.03/278.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------