TSTP Solution File: CSR115+56 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+56 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:33 EDT 2022
% Result : Timeout 287.87s 269.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR115+56 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n018.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Fri Jun 10 09:15:54 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.76/3.86 eprover: CPU time limit exceeded, terminating
% 5.93/5.87 eprover: CPU time limit exceeded, terminating
% 8.14/7.88 eprover: CPU time limit exceeded, terminating
% 10.23/9.89 eprover: CPU time limit exceeded, terminating
% 12.43/11.91 eprover: CPU time limit exceeded, terminating
% 14.62/13.92 eprover: CPU time limit exceeded, terminating
% 16.75/15.93 eprover: CPU time limit exceeded, terminating
% 18.90/17.95 eprover: CPU time limit exceeded, terminating
% 21.03/19.96 eprover: CPU time limit exceeded, terminating
% 23.23/21.97 eprover: CPU time limit exceeded, terminating
% 25.34/23.99 eprover: CPU time limit exceeded, terminating
% 27.55/26.00 eprover: CPU time limit exceeded, terminating
% 29.63/28.01 eprover: CPU time limit exceeded, terminating
% 31.86/30.02 eprover: CPU time limit exceeded, terminating
% 34.05/32.04 eprover: CPU time limit exceeded, terminating
% 36.18/34.05 eprover: CPU time limit exceeded, terminating
% 38.37/36.07 eprover: CPU time limit exceeded, terminating
% 40.48/38.08 eprover: CPU time limit exceeded, terminating
% 42.68/40.09 eprover: CPU time limit exceeded, terminating
% 44.86/42.10 eprover: CPU time limit exceeded, terminating
% 47.02/44.12 eprover: CPU time limit exceeded, terminating
% 49.12/46.13 eprover: CPU time limit exceeded, terminating
% 51.29/48.14 eprover: CPU time limit exceeded, terminating
% 53.46/50.16 eprover: CPU time limit exceeded, terminating
% 55.59/52.17 eprover: CPU time limit exceeded, terminating
% 57.77/54.18 eprover: CPU time limit exceeded, terminating
% 59.90/56.20 eprover: CPU time limit exceeded, terminating
% 62.16/58.21 eprover: CPU time limit exceeded, terminating
% 64.33/60.22 eprover: CPU time limit exceeded, terminating
% 66.44/62.24 eprover: CPU time limit exceeded, terminating
% 68.61/64.25 eprover: CPU time limit exceeded, terminating
% 70.80/66.26 eprover: CPU time limit exceeded, terminating
% 72.93/68.27 eprover: CPU time limit exceeded, terminating
% 75.05/70.29 eprover: CPU time limit exceeded, terminating
% 77.31/72.30 eprover: CPU time limit exceeded, terminating
% 79.35/74.31 eprover: CPU time limit exceeded, terminating
% 81.56/76.33 eprover: CPU time limit exceeded, terminating
% 83.58/78.34 eprover: CPU time limit exceeded, terminating
% 85.75/80.36 eprover: CPU time limit exceeded, terminating
% 87.97/82.37 eprover: CPU time limit exceeded, terminating
% 90.06/84.38 eprover: CPU time limit exceeded, terminating
% 92.27/86.39 eprover: CPU time limit exceeded, terminating
% 94.46/88.40 eprover: CPU time limit exceeded, terminating
% 96.59/90.42 eprover: CPU time limit exceeded, terminating
% 98.75/92.43 eprover: CPU time limit exceeded, terminating
% 100.92/94.44 eprover: CPU time limit exceeded, terminating
% 103.06/96.45 eprover: CPU time limit exceeded, terminating
% 105.21/98.46 eprover: CPU time limit exceeded, terminating
% 107.36/100.47 eprover: CPU time limit exceeded, terminating
% 109.57/102.48 eprover: CPU time limit exceeded, terminating
% 111.66/104.49 eprover: CPU time limit exceeded, terminating
% 113.87/106.50 eprover: CPU time limit exceeded, terminating
% 116.04/108.51 eprover: CPU time limit exceeded, terminating
% 118.17/110.52 eprover: CPU time limit exceeded, terminating
% 120.33/112.54 eprover: CPU time limit exceeded, terminating
% 122.46/114.55 eprover: CPU time limit exceeded, terminating
% 124.59/116.56 eprover: CPU time limit exceeded, terminating
% 126.74/118.57 eprover: CPU time limit exceeded, terminating
% 128.89/120.58 eprover: CPU time limit exceeded, terminating
% 131.03/122.59 eprover: CPU time limit exceeded, terminating
% 133.23/124.60 eprover: CPU time limit exceeded, terminating
% 135.38/126.62 eprover: CPU time limit exceeded, terminating
% 137.55/128.63 eprover: CPU time limit exceeded, terminating
% 139.69/130.64 eprover: CPU time limit exceeded, terminating
% 141.80/132.65 eprover: CPU time limit exceeded, terminating
% 143.93/134.66 eprover: CPU time limit exceeded, terminating
% 146.09/136.67 eprover: CPU time limit exceeded, terminating
% 148.27/138.68 eprover: CPU time limit exceeded, terminating
% 150.46/140.70 eprover: CPU time limit exceeded, terminating
% 152.61/142.71 eprover: CPU time limit exceeded, terminating
% 154.77/144.72 eprover: CPU time limit exceeded, terminating
% 156.93/146.73 eprover: CPU time limit exceeded, terminating
% 159.07/148.75 eprover: CPU time limit exceeded, terminating
% 161.19/150.76 eprover: CPU time limit exceeded, terminating
% 163.34/152.77 eprover: CPU time limit exceeded, terminating
% 165.49/154.78 eprover: CPU time limit exceeded, terminating
% 167.70/156.79 eprover: CPU time limit exceeded, terminating
% 169.79/158.80 eprover: CPU time limit exceeded, terminating
% 171.98/160.81 eprover: CPU time limit exceeded, terminating
% 174.15/162.82 eprover: CPU time limit exceeded, terminating
% 176.25/164.83 eprover: CPU time limit exceeded, terminating
% 178.39/166.85 eprover: CPU time limit exceeded, terminating
% 180.56/168.86 eprover: CPU time limit exceeded, terminating
% 182.69/170.87 eprover: CPU time limit exceeded, terminating
% 184.86/172.89 eprover: CPU time limit exceeded, terminating
% 187.08/174.90 eprover: CPU time limit exceeded, terminating
% 189.24/176.91 eprover: CPU time limit exceeded, terminating
% 191.36/178.92 eprover: CPU time limit exceeded, terminating
% 193.54/180.94 eprover: CPU time limit exceeded, terminating
% 195.67/182.95 eprover: CPU time limit exceeded, terminating
% 197.80/184.96 eprover: CPU time limit exceeded, terminating
% 199.96/186.98 eprover: CPU time limit exceeded, terminating
% 202.08/188.99 eprover: CPU time limit exceeded, terminating
% 204.32/191.00 eprover: CPU time limit exceeded, terminating
% 206.48/193.01 eprover: CPU time limit exceeded, terminating
% 208.61/195.03 eprover: CPU time limit exceeded, terminating
% 210.75/197.04 eprover: CPU time limit exceeded, terminating
% 212.89/199.05 eprover: CPU time limit exceeded, terminating
% 215.07/201.07 eprover: CPU time limit exceeded, terminating
% 217.20/203.08 eprover: CPU time limit exceeded, terminating
% 219.38/205.09 eprover: CPU time limit exceeded, terminating
% 221.60/207.10 eprover: CPU time limit exceeded, terminating
% 223.75/209.12 eprover: CPU time limit exceeded, terminating
% 225.86/211.13 eprover: CPU time limit exceeded, terminating
% 228.06/213.14 eprover: CPU time limit exceeded, terminating
% 230.16/215.15 eprover: CPU time limit exceeded, terminating
% 232.18/217.17 eprover: CPU time limit exceeded, terminating
% 234.36/219.18 eprover: CPU time limit exceeded, terminating
% 236.54/221.19 eprover: CPU time limit exceeded, terminating
% 238.72/223.21 eprover: CPU time limit exceeded, terminating
% 240.85/225.22 eprover: CPU time limit exceeded, terminating
% 243.03/227.23 eprover: CPU time limit exceeded, terminating
% 245.14/229.24 eprover: CPU time limit exceeded, terminating
% 247.32/231.26 eprover: CPU time limit exceeded, terminating
% 249.41/233.27 eprover: CPU time limit exceeded, terminating
% 251.51/235.29 eprover: CPU time limit exceeded, terminating
% 253.61/237.30 eprover: CPU time limit exceeded, terminating
% 255.62/239.31 eprover: CPU time limit exceeded, terminating
% 257.79/241.32 eprover: CPU time limit exceeded, terminating
% 259.94/243.34 eprover: CPU time limit exceeded, terminating
% 262.13/245.36 eprover: CPU time limit exceeded, terminating
% 264.11/247.37 eprover: CPU time limit exceeded, terminating
% 266.33/249.39 eprover: CPU time limit exceeded, terminating
% 268.50/251.40 eprover: CPU time limit exceeded, terminating
% 270.61/253.42 eprover: CPU time limit exceeded, terminating
% 272.75/255.45 eprover: CPU time limit exceeded, terminating
% 274.92/257.46 eprover: CPU time limit exceeded, terminating
% 277.09/259.48 eprover: CPU time limit exceeded, terminating
% 279.23/261.49 eprover: CPU time limit exceeded, terminating
% 281.37/263.50 eprover: CPU time limit exceeded, terminating
% 283.50/265.52 eprover: CPU time limit exceeded, terminating
% 285.71/267.53 eprover: CPU time limit exceeded, terminating
% 287.87/269.54 eprover: CPU time limit exceeded, terminating
% 289.97/271.56 eprover: CPU time limit exceeded, terminating
% 292.16/273.57 eprover: CPU time limit exceeded, terminating
% 294.31/275.58 eprover: CPU time limit exceeded, terminating
% 296.37/277.60 eprover: CPU time limit exceeded, terminating
% 298.42/279.61 eprover: CPU time limit exceeded, terminating
% 300.04/281.13 eprover: CPU time limit exceeded, terminating
% 300.04/281.15 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------