TSTP Solution File: CSR116+15 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+15 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:39 EDT 2022
% Result : Timeout 287.58s 269.60s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : CSR116+15 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n014.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jun 11 00:41:24 EDT 2022
% 0.13/0.33 % CPUTime :
% 3.79/3.92 eprover: CPU time limit exceeded, terminating
% 5.98/5.93 eprover: CPU time limit exceeded, terminating
% 8.13/7.94 eprover: CPU time limit exceeded, terminating
% 10.30/9.95 eprover: CPU time limit exceeded, terminating
% 12.49/11.96 eprover: CPU time limit exceeded, terminating
% 14.64/13.97 eprover: CPU time limit exceeded, terminating
% 16.77/15.98 eprover: CPU time limit exceeded, terminating
% 18.90/18.00 eprover: CPU time limit exceeded, terminating
% 21.07/20.01 eprover: CPU time limit exceeded, terminating
% 23.24/22.02 eprover: CPU time limit exceeded, terminating
% 25.36/24.03 eprover: CPU time limit exceeded, terminating
% 27.59/26.04 eprover: CPU time limit exceeded, terminating
% 29.75/28.05 eprover: CPU time limit exceeded, terminating
% 31.91/30.06 eprover: CPU time limit exceeded, terminating
% 34.10/32.07 eprover: CPU time limit exceeded, terminating
% 36.20/34.08 eprover: CPU time limit exceeded, terminating
% 38.40/36.09 eprover: CPU time limit exceeded, terminating
% 40.51/38.10 eprover: CPU time limit exceeded, terminating
% 42.72/40.12 eprover: CPU time limit exceeded, terminating
% 44.91/42.13 eprover: CPU time limit exceeded, terminating
% 47.07/44.14 eprover: CPU time limit exceeded, terminating
% 49.24/46.15 eprover: CPU time limit exceeded, terminating
% 51.32/48.16 eprover: CPU time limit exceeded, terminating
% 53.55/50.17 eprover: CPU time limit exceeded, terminating
% 55.72/52.18 eprover: CPU time limit exceeded, terminating
% 57.85/54.19 eprover: CPU time limit exceeded, terminating
% 60.02/56.21 eprover: CPU time limit exceeded, terminating
% 62.13/58.22 eprover: CPU time limit exceeded, terminating
% 64.28/60.23 eprover: CPU time limit exceeded, terminating
% 66.50/62.24 eprover: CPU time limit exceeded, terminating
% 68.65/64.26 eprover: CPU time limit exceeded, terminating
% 70.79/66.28 eprover: CPU time limit exceeded, terminating
% 72.93/68.29 eprover: CPU time limit exceeded, terminating
% 75.06/70.30 eprover: CPU time limit exceeded, terminating
% 77.19/72.31 eprover: CPU time limit exceeded, terminating
% 79.38/74.32 eprover: CPU time limit exceeded, terminating
% 81.46/76.33 eprover: CPU time limit exceeded, terminating
% 83.54/78.34 eprover: CPU time limit exceeded, terminating
% 85.71/80.35 eprover: CPU time limit exceeded, terminating
% 87.77/82.36 eprover: CPU time limit exceeded, terminating
% 89.96/84.37 eprover: CPU time limit exceeded, terminating
% 92.13/86.38 eprover: CPU time limit exceeded, terminating
% 94.31/88.40 eprover: CPU time limit exceeded, terminating
% 96.42/90.41 eprover: CPU time limit exceeded, terminating
% 98.61/92.42 eprover: CPU time limit exceeded, terminating
% 100.70/94.44 eprover: CPU time limit exceeded, terminating
% 102.85/96.45 eprover: CPU time limit exceeded, terminating
% 105.07/98.46 eprover: CPU time limit exceeded, terminating
% 107.23/100.48 eprover: CPU time limit exceeded, terminating
% 109.41/102.49 eprover: CPU time limit exceeded, terminating
% 111.52/104.51 eprover: CPU time limit exceeded, terminating
% 113.73/106.52 eprover: CPU time limit exceeded, terminating
% 115.87/108.53 eprover: CPU time limit exceeded, terminating
% 118.05/110.55 eprover: CPU time limit exceeded, terminating
% 120.19/112.56 eprover: CPU time limit exceeded, terminating
% 122.32/114.58 eprover: CPU time limit exceeded, terminating
% 124.50/116.60 eprover: CPU time limit exceeded, terminating
% 126.59/118.61 eprover: CPU time limit exceeded, terminating
% 128.78/120.64 eprover: CPU time limit exceeded, terminating
% 130.93/122.65 eprover: CPU time limit exceeded, terminating
% 133.08/124.67 eprover: CPU time limit exceeded, terminating
% 135.22/126.69 eprover: CPU time limit exceeded, terminating
% 137.35/128.70 eprover: CPU time limit exceeded, terminating
% 139.53/130.72 eprover: CPU time limit exceeded, terminating
% 141.65/132.76 eprover: CPU time limit exceeded, terminating
% 143.77/134.78 eprover: CPU time limit exceeded, terminating
% 145.92/136.80 eprover: CPU time limit exceeded, terminating
% 148.09/138.81 eprover: CPU time limit exceeded, terminating
% 150.23/140.83 eprover: CPU time limit exceeded, terminating
% 152.40/142.84 eprover: CPU time limit exceeded, terminating
% 154.55/144.85 eprover: CPU time limit exceeded, terminating
% 156.74/146.87 eprover: CPU time limit exceeded, terminating
% 158.86/148.88 eprover: CPU time limit exceeded, terminating
% 161.00/150.90 eprover: CPU time limit exceeded, terminating
% 163.15/152.91 eprover: CPU time limit exceeded, terminating
% 165.32/154.93 eprover: CPU time limit exceeded, terminating
% 167.50/156.94 eprover: CPU time limit exceeded, terminating
% 169.64/158.96 eprover: CPU time limit exceeded, terminating
% 171.80/160.97 eprover: CPU time limit exceeded, terminating
% 173.98/162.99 eprover: CPU time limit exceeded, terminating
% 176.10/165.00 eprover: CPU time limit exceeded, terminating
% 178.26/167.01 eprover: CPU time limit exceeded, terminating
% 180.43/169.02 eprover: CPU time limit exceeded, terminating
% 182.58/171.03 eprover: CPU time limit exceeded, terminating
% 184.75/173.04 eprover: CPU time limit exceeded, terminating
% 186.89/175.05 eprover: CPU time limit exceeded, terminating
% 189.05/177.07 eprover: CPU time limit exceeded, terminating
% 191.21/179.08 eprover: CPU time limit exceeded, terminating
% 193.38/181.09 eprover: CPU time limit exceeded, terminating
% 195.53/183.10 eprover: CPU time limit exceeded, terminating
% 197.71/185.12 eprover: CPU time limit exceeded, terminating
% 199.79/187.13 eprover: CPU time limit exceeded, terminating
% 202.02/189.16 eprover: CPU time limit exceeded, terminating
% 204.18/191.17 eprover: CPU time limit exceeded, terminating
% 206.34/193.18 eprover: CPU time limit exceeded, terminating
% 208.48/195.19 eprover: CPU time limit exceeded, terminating
% 210.62/197.21 eprover: CPU time limit exceeded, terminating
% 212.76/199.22 eprover: CPU time limit exceeded, terminating
% 214.97/201.23 eprover: CPU time limit exceeded, terminating
% 217.03/203.24 eprover: CPU time limit exceeded, terminating
% 219.27/205.25 eprover: CPU time limit exceeded, terminating
% 221.41/207.26 eprover: CPU time limit exceeded, terminating
% 223.59/209.27 eprover: CPU time limit exceeded, terminating
% 225.74/211.28 eprover: CPU time limit exceeded, terminating
% 227.91/213.30 eprover: CPU time limit exceeded, terminating
% 230.00/215.31 eprover: CPU time limit exceeded, terminating
% 232.03/217.32 eprover: CPU time limit exceeded, terminating
% 234.16/219.33 eprover: CPU time limit exceeded, terminating
% 236.34/221.34 eprover: CPU time limit exceeded, terminating
% 238.52/223.35 eprover: CPU time limit exceeded, terminating
% 240.71/225.36 eprover: CPU time limit exceeded, terminating
% 242.85/227.37 eprover: CPU time limit exceeded, terminating
% 244.98/229.38 eprover: CPU time limit exceeded, terminating
% 247.12/231.40 eprover: CPU time limit exceeded, terminating
% 249.28/233.41 eprover: CPU time limit exceeded, terminating
% 251.29/235.42 eprover: CPU time limit exceeded, terminating
% 253.38/237.43 eprover: CPU time limit exceeded, terminating
% 255.40/239.44 eprover: CPU time limit exceeded, terminating
% 257.64/241.45 eprover: CPU time limit exceeded, terminating
% 259.76/243.47 eprover: CPU time limit exceeded, terminating
% 261.88/245.48 eprover: CPU time limit exceeded, terminating
% 263.99/247.49 eprover: CPU time limit exceeded, terminating
% 266.08/249.50 eprover: CPU time limit exceeded, terminating
% 268.26/251.51 eprover: CPU time limit exceeded, terminating
% 270.42/253.52 eprover: CPU time limit exceeded, terminating
% 272.59/255.53 eprover: CPU time limit exceeded, terminating
% 274.74/257.54 eprover: CPU time limit exceeded, terminating
% 276.80/259.55 eprover: CPU time limit exceeded, terminating
% 279.04/261.56 eprover: CPU time limit exceeded, terminating
% 281.16/263.57 eprover: CPU time limit exceeded, terminating
% 283.30/265.58 eprover: CPU time limit exceeded, terminating
% 285.47/267.59 eprover: CPU time limit exceeded, terminating
% 287.58/269.60 eprover: CPU time limit exceeded, terminating
% 289.74/271.62 eprover: CPU time limit exceeded, terminating
% 291.89/273.63 eprover: CPU time limit exceeded, terminating
% 294.07/275.64 eprover: CPU time limit exceeded, terminating
% 296.14/277.65 eprover: CPU time limit exceeded, terminating
% 298.22/279.66 eprover: CPU time limit exceeded, terminating
% 300.05/281.43 eprover: CPU time limit exceeded, terminating
% 300.05/281.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------