TSTP Solution File: CSR115+59 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+59 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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 286.13s 267.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : CSR115+59 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % 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 04:05:56 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.77/3.88 eprover: CPU time limit exceeded, terminating
% 5.98/5.90 eprover: CPU time limit exceeded, terminating
% 8.14/7.91 eprover: CPU time limit exceeded, terminating
% 10.27/9.93 eprover: CPU time limit exceeded, terminating
% 12.46/11.95 eprover: CPU time limit exceeded, terminating
% 14.58/13.96 eprover: CPU time limit exceeded, terminating
% 16.73/15.97 eprover: CPU time limit exceeded, terminating
% 18.91/17.99 eprover: CPU time limit exceeded, terminating
% 21.03/20.01 eprover: CPU time limit exceeded, terminating
% 23.18/22.02 eprover: CPU time limit exceeded, terminating
% 25.41/24.03 eprover: CPU time limit exceeded, terminating
% 27.58/26.05 eprover: CPU time limit exceeded, terminating
% 29.73/28.06 eprover: CPU time limit exceeded, terminating
% 31.90/30.09 eprover: CPU time limit exceeded, terminating
% 34.08/32.11 eprover: CPU time limit exceeded, terminating
% 36.22/34.12 eprover: CPU time limit exceeded, terminating
% 38.40/36.14 eprover: CPU time limit exceeded, terminating
% 40.58/38.15 eprover: CPU time limit exceeded, terminating
% 42.74/40.17 eprover: CPU time limit exceeded, terminating
% 44.84/42.19 eprover: CPU time limit exceeded, terminating
% 47.04/44.20 eprover: CPU time limit exceeded, terminating
% 49.18/46.21 eprover: CPU time limit exceeded, terminating
% 51.34/48.23 eprover: CPU time limit exceeded, terminating
% 53.51/50.24 eprover: CPU time limit exceeded, terminating
% 55.66/52.25 eprover: CPU time limit exceeded, terminating
% 57.87/54.27 eprover: CPU time limit exceeded, terminating
% 60.04/56.29 eprover: CPU time limit exceeded, terminating
% 62.14/58.30 eprover: CPU time limit exceeded, terminating
% 64.31/60.32 eprover: CPU time limit exceeded, terminating
% 66.52/62.34 eprover: CPU time limit exceeded, terminating
% 68.68/64.35 eprover: CPU time limit exceeded, terminating
% 70.80/66.37 eprover: CPU time limit exceeded, terminating
% 72.99/68.38 eprover: CPU time limit exceeded, terminating
% 75.12/70.39 eprover: CPU time limit exceeded, terminating
% 77.30/72.41 eprover: CPU time limit exceeded, terminating
% 79.46/74.43 eprover: CPU time limit exceeded, terminating
% 81.55/76.44 eprover: CPU time limit exceeded, terminating
% 83.63/78.46 eprover: CPU time limit exceeded, terminating
% 85.80/80.47 eprover: CPU time limit exceeded, terminating
% 87.91/82.48 eprover: CPU time limit exceeded, terminating
% 90.08/84.50 eprover: CPU time limit exceeded, terminating
% 92.17/86.51 eprover: CPU time limit exceeded, terminating
% 94.43/88.53 eprover: CPU time limit exceeded, terminating
% 96.57/90.55 eprover: CPU time limit exceeded, terminating
% 98.72/92.56 eprover: CPU time limit exceeded, terminating
% 100.92/94.58 eprover: CPU time limit exceeded, terminating
% 103.03/96.61 eprover: CPU time limit exceeded, terminating
% 105.23/98.63 eprover: CPU time limit exceeded, terminating
% 107.39/100.64 eprover: CPU time limit exceeded, terminating
% 109.56/102.65 eprover: CPU time limit exceeded, terminating
% 111.70/104.67 eprover: CPU time limit exceeded, terminating
% 113.91/106.67 eprover: CPU time limit exceeded, terminating
% 116.07/108.69 eprover: CPU time limit exceeded, terminating
% 118.22/110.71 eprover: CPU time limit exceeded, terminating
% 120.35/112.73 eprover: CPU time limit exceeded, terminating
% 122.50/114.74 eprover: CPU time limit exceeded, terminating
% 124.67/116.76 eprover: CPU time limit exceeded, terminating
% 126.87/118.77 eprover: CPU time limit exceeded, terminating
% 129.05/120.78 eprover: CPU time limit exceeded, terminating
% 131.17/122.80 eprover: CPU time limit exceeded, terminating
% 133.33/124.81 eprover: CPU time limit exceeded, terminating
% 135.50/126.82 eprover: CPU time limit exceeded, terminating
% 137.62/128.83 eprover: CPU time limit exceeded, terminating
% 139.82/130.84 eprover: CPU time limit exceeded, terminating
% 141.93/132.85 eprover: CPU time limit exceeded, terminating
% 144.12/134.86 eprover: CPU time limit exceeded, terminating
% 146.30/136.87 eprover: CPU time limit exceeded, terminating
% 148.44/138.89 eprover: CPU time limit exceeded, terminating
% 150.61/140.90 eprover: CPU time limit exceeded, terminating
% 152.74/142.91 eprover: CPU time limit exceeded, terminating
% 154.89/144.92 eprover: CPU time limit exceeded, terminating
% 157.03/146.93 eprover: CPU time limit exceeded, terminating
% 159.27/148.95 eprover: CPU time limit exceeded, terminating
% 161.46/150.96 eprover: CPU time limit exceeded, terminating
% 163.58/152.97 eprover: CPU time limit exceeded, terminating
% 165.76/154.98 eprover: CPU time limit exceeded, terminating
% 167.88/156.99 eprover: CPU time limit exceeded, terminating
% 170.08/159.00 eprover: CPU time limit exceeded, terminating
% 172.20/161.02 eprover: CPU time limit exceeded, terminating
% 174.37/163.03 eprover: CPU time limit exceeded, terminating
% 176.56/165.04 eprover: CPU time limit exceeded, terminating
% 178.64/167.05 eprover: CPU time limit exceeded, terminating
% 180.86/169.07 eprover: CPU time limit exceeded, terminating
% 183.04/171.08 eprover: CPU time limit exceeded, terminating
% 185.15/173.09 eprover: CPU time limit exceeded, terminating
% 187.35/175.10 eprover: CPU time limit exceeded, terminating
% 189.51/177.11 eprover: CPU time limit exceeded, terminating
% 191.67/179.13 eprover: CPU time limit exceeded, terminating
% 193.87/181.14 eprover: CPU time limit exceeded, terminating
% 195.97/183.15 eprover: CPU time limit exceeded, terminating
% 198.17/185.16 eprover: CPU time limit exceeded, terminating
% 200.28/187.18 eprover: CPU time limit exceeded, terminating
% 202.46/189.19 eprover: CPU time limit exceeded, terminating
% 204.65/191.20 eprover: CPU time limit exceeded, terminating
% 206.75/193.21 eprover: CPU time limit exceeded, terminating
% 208.96/195.23 eprover: CPU time limit exceeded, terminating
% 211.14/197.24 eprover: CPU time limit exceeded, terminating
% 213.32/199.25 eprover: CPU time limit exceeded, terminating
% 215.47/201.26 eprover: CPU time limit exceeded, terminating
% 217.64/203.28 eprover: CPU time limit exceeded, terminating
% 219.78/205.29 eprover: CPU time limit exceeded, terminating
% 222.00/207.30 eprover: CPU time limit exceeded, terminating
% 224.09/209.31 eprover: CPU time limit exceeded, terminating
% 226.27/211.33 eprover: CPU time limit exceeded, terminating
% 228.45/213.34 eprover: CPU time limit exceeded, terminating
% 230.45/215.35 eprover: CPU time limit exceeded, terminating
% 232.58/217.36 eprover: CPU time limit exceeded, terminating
% 234.75/219.38 eprover: CPU time limit exceeded, terminating
% 236.87/221.39 eprover: CPU time limit exceeded, terminating
% 239.07/223.40 eprover: CPU time limit exceeded, terminating
% 241.25/225.41 eprover: CPU time limit exceeded, terminating
% 243.41/227.43 eprover: CPU time limit exceeded, terminating
% 245.47/229.44 eprover: CPU time limit exceeded, terminating
% 247.64/231.45 eprover: CPU time limit exceeded, terminating
% 249.83/233.46 eprover: CPU time limit exceeded, terminating
% 251.91/235.48 eprover: CPU time limit exceeded, terminating
% 253.97/237.49 eprover: CPU time limit exceeded, terminating
% 256.09/239.50 eprover: CPU time limit exceeded, terminating
% 258.24/241.51 eprover: CPU time limit exceeded, terminating
% 260.39/243.53 eprover: CPU time limit exceeded, terminating
% 262.51/245.54 eprover: CPU time limit exceeded, terminating
% 264.61/247.55 eprover: CPU time limit exceeded, terminating
% 266.76/249.56 eprover: CPU time limit exceeded, terminating
% 268.88/251.58 eprover: CPU time limit exceeded, terminating
% 271.06/253.59 eprover: CPU time limit exceeded, terminating
% 273.18/255.60 eprover: CPU time limit exceeded, terminating
% 275.40/257.61 eprover: CPU time limit exceeded, terminating
% 277.53/259.63 eprover: CPU time limit exceeded, terminating
% 279.65/261.64 eprover: CPU time limit exceeded, terminating
% 281.80/263.65 eprover: CPU time limit exceeded, terminating
% 283.96/265.66 eprover: CPU time limit exceeded, terminating
% 286.13/267.68 eprover: CPU time limit exceeded, terminating
% 288.35/269.69 eprover: CPU time limit exceeded, terminating
% 290.42/271.70 eprover: CPU time limit exceeded, terminating
% 292.67/273.71 eprover: CPU time limit exceeded, terminating
% 294.78/275.73 eprover: CPU time limit exceeded, terminating
% 296.80/277.74 eprover: CPU time limit exceeded, terminating
% 298.95/279.75 eprover: CPU time limit exceeded, terminating
% 300.02/280.73 eprover: CPU time limit exceeded, terminating
% 300.02/280.75 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------