TSTP Solution File: CSR116+27 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+27 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:41 EDT 2022
% Result : Timeout 287.39s 267.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : CSR116+27 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n024.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 10 09:37:19 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.75/3.87 eprover: CPU time limit exceeded, terminating
% 5.99/5.88 eprover: CPU time limit exceeded, terminating
% 8.12/7.90 eprover: CPU time limit exceeded, terminating
% 10.30/9.91 eprover: CPU time limit exceeded, terminating
% 12.48/11.92 eprover: CPU time limit exceeded, terminating
% 14.65/13.94 eprover: CPU time limit exceeded, terminating
% 16.80/15.95 eprover: CPU time limit exceeded, terminating
% 18.95/17.97 eprover: CPU time limit exceeded, terminating
% 21.13/19.98 eprover: CPU time limit exceeded, terminating
% 23.28/21.99 eprover: CPU time limit exceeded, terminating
% 25.45/24.01 eprover: CPU time limit exceeded, terminating
% 27.63/26.02 eprover: CPU time limit exceeded, terminating
% 29.73/28.04 eprover: CPU time limit exceeded, terminating
% 32.03/30.05 eprover: CPU time limit exceeded, terminating
% 34.17/32.06 eprover: CPU time limit exceeded, terminating
% 36.33/34.08 eprover: CPU time limit exceeded, terminating
% 38.51/36.09 eprover: CPU time limit exceeded, terminating
% 40.69/38.10 eprover: CPU time limit exceeded, terminating
% 42.89/40.12 eprover: CPU time limit exceeded, terminating
% 44.98/42.13 eprover: CPU time limit exceeded, terminating
% 47.23/44.14 eprover: CPU time limit exceeded, terminating
% 49.38/46.16 eprover: CPU time limit exceeded, terminating
% 51.58/48.17 eprover: CPU time limit exceeded, terminating
% 53.76/50.18 eprover: CPU time limit exceeded, terminating
% 55.90/52.20 eprover: CPU time limit exceeded, terminating
% 58.03/54.21 eprover: CPU time limit exceeded, terminating
% 60.26/56.23 eprover: CPU time limit exceeded, terminating
% 62.41/58.24 eprover: CPU time limit exceeded, terminating
% 64.59/60.25 eprover: CPU time limit exceeded, terminating
% 66.75/62.27 eprover: CPU time limit exceeded, terminating
% 68.95/64.28 eprover: CPU time limit exceeded, terminating
% 71.12/66.29 eprover: CPU time limit exceeded, terminating
% 73.31/68.31 eprover: CPU time limit exceeded, terminating
% 75.48/70.32 eprover: CPU time limit exceeded, terminating
% 77.59/72.34 eprover: CPU time limit exceeded, terminating
% 79.78/74.35 eprover: CPU time limit exceeded, terminating
% 81.93/76.36 eprover: CPU time limit exceeded, terminating
% 84.02/78.38 eprover: CPU time limit exceeded, terminating
% 86.15/80.39 eprover: CPU time limit exceeded, terminating
% 88.36/82.41 eprover: CPU time limit exceeded, terminating
% 90.50/84.42 eprover: CPU time limit exceeded, terminating
% 92.70/86.43 eprover: CPU time limit exceeded, terminating
% 94.81/88.45 eprover: CPU time limit exceeded, terminating
% 97.09/90.46 eprover: CPU time limit exceeded, terminating
% 99.25/92.48 eprover: CPU time limit exceeded, terminating
% 101.45/94.49 eprover: CPU time limit exceeded, terminating
% 103.56/96.50 eprover: CPU time limit exceeded, terminating
% 105.79/98.52 eprover: CPU time limit exceeded, terminating
% 107.93/100.53 eprover: CPU time limit exceeded, terminating
% 110.17/102.55 eprover: CPU time limit exceeded, terminating
% 112.29/104.56 eprover: CPU time limit exceeded, terminating
% 114.51/106.57 eprover: CPU time limit exceeded, terminating
% 116.68/108.59 eprover: CPU time limit exceeded, terminating
% 118.82/110.60 eprover: CPU time limit exceeded, terminating
% 121.03/112.62 eprover: CPU time limit exceeded, terminating
% 123.21/114.63 eprover: CPU time limit exceeded, terminating
% 125.31/116.64 eprover: CPU time limit exceeded, terminating
% 127.49/118.65 eprover: CPU time limit exceeded, terminating
% 129.70/120.67 eprover: CPU time limit exceeded, terminating
% 131.82/122.68 eprover: CPU time limit exceeded, terminating
% 134.02/124.70 eprover: CPU time limit exceeded, terminating
% 136.22/126.71 eprover: CPU time limit exceeded, terminating
% 138.32/128.72 eprover: CPU time limit exceeded, terminating
% 140.54/130.74 eprover: CPU time limit exceeded, terminating
% 142.73/132.75 eprover: CPU time limit exceeded, terminating
% 144.90/134.77 eprover: CPU time limit exceeded, terminating
% 147.08/136.78 eprover: CPU time limit exceeded, terminating
% 149.23/138.79 eprover: CPU time limit exceeded, terminating
% 151.37/140.81 eprover: CPU time limit exceeded, terminating
% 153.63/142.82 eprover: CPU time limit exceeded, terminating
% 155.81/144.84 eprover: CPU time limit exceeded, terminating
% 157.93/146.85 eprover: CPU time limit exceeded, terminating
% 160.12/148.86 eprover: CPU time limit exceeded, terminating
% 162.32/150.88 eprover: CPU time limit exceeded, terminating
% 164.51/152.89 eprover: CPU time limit exceeded, terminating
% 166.64/154.90 eprover: CPU time limit exceeded, terminating
% 168.84/156.91 eprover: CPU time limit exceeded, terminating
% 171.00/158.92 eprover: CPU time limit exceeded, terminating
% 173.09/160.93 eprover: CPU time limit exceeded, terminating
% 175.33/162.94 eprover: CPU time limit exceeded, terminating
% 177.49/164.96 eprover: CPU time limit exceeded, terminating
% 179.59/166.97 eprover: CPU time limit exceeded, terminating
% 181.79/168.98 eprover: CPU time limit exceeded, terminating
% 183.95/171.00 eprover: CPU time limit exceeded, terminating
% 186.10/173.01 eprover: CPU time limit exceeded, terminating
% 188.30/175.02 eprover: CPU time limit exceeded, terminating
% 190.47/177.04 eprover: CPU time limit exceeded, terminating
% 192.65/179.05 eprover: CPU time limit exceeded, terminating
% 194.80/181.06 eprover: CPU time limit exceeded, terminating
% 196.97/183.08 eprover: CPU time limit exceeded, terminating
% 199.16/185.09 eprover: CPU time limit exceeded, terminating
% 201.28/187.11 eprover: CPU time limit exceeded, terminating
% 203.45/189.12 eprover: CPU time limit exceeded, terminating
% 205.59/191.13 eprover: CPU time limit exceeded, terminating
% 207.84/193.15 eprover: CPU time limit exceeded, terminating
% 209.99/195.16 eprover: CPU time limit exceeded, terminating
% 212.18/197.17 eprover: CPU time limit exceeded, terminating
% 214.28/199.19 eprover: CPU time limit exceeded, terminating
% 216.50/201.20 eprover: CPU time limit exceeded, terminating
% 218.65/203.21 eprover: CPU time limit exceeded, terminating
% 220.78/205.23 eprover: CPU time limit exceeded, terminating
% 222.97/207.24 eprover: CPU time limit exceeded, terminating
% 225.17/209.25 eprover: CPU time limit exceeded, terminating
% 227.32/211.26 eprover: CPU time limit exceeded, terminating
% 229.47/213.28 eprover: CPU time limit exceeded, terminating
% 231.56/215.29 eprover: CPU time limit exceeded, terminating
% 233.60/217.30 eprover: CPU time limit exceeded, terminating
% 235.80/219.32 eprover: CPU time limit exceeded, terminating
% 237.96/221.33 eprover: CPU time limit exceeded, terminating
% 240.10/223.34 eprover: CPU time limit exceeded, terminating
% 242.29/225.36 eprover: CPU time limit exceeded, terminating
% 244.51/227.37 eprover: CPU time limit exceeded, terminating
% 246.64/229.38 eprover: CPU time limit exceeded, terminating
% 248.79/231.40 eprover: CPU time limit exceeded, terminating
% 250.92/233.41 eprover: CPU time limit exceeded, terminating
% 252.99/235.42 eprover: CPU time limit exceeded, terminating
% 255.12/237.44 eprover: CPU time limit exceeded, terminating
% 257.20/239.45 eprover: CPU time limit exceeded, terminating
% 259.35/241.46 eprover: CPU time limit exceeded, terminating
% 261.53/243.47 eprover: CPU time limit exceeded, terminating
% 263.65/245.49 eprover: CPU time limit exceeded, terminating
% 265.76/247.50 eprover: CPU time limit exceeded, terminating
% 267.90/249.51 eprover: CPU time limit exceeded, terminating
% 270.04/251.53 eprover: CPU time limit exceeded, terminating
% 272.28/253.54 eprover: CPU time limit exceeded, terminating
% 274.43/255.55 eprover: CPU time limit exceeded, terminating
% 276.58/257.57 eprover: CPU time limit exceeded, terminating
% 278.73/259.58 eprover: CPU time limit exceeded, terminating
% 280.87/261.59 eprover: CPU time limit exceeded, terminating
% 283.02/263.61 eprover: CPU time limit exceeded, terminating
% 285.23/265.62 eprover: CPU time limit exceeded, terminating
% 287.39/267.63 eprover: CPU time limit exceeded, terminating
% 289.46/269.64 eprover: CPU time limit exceeded, terminating
% 291.68/271.66 eprover: CPU time limit exceeded, terminating
% 293.83/273.67 eprover: CPU time limit exceeded, terminating
% 295.99/275.68 eprover: CPU time limit exceeded, terminating
% 298.04/277.70 eprover: CPU time limit exceeded, terminating
% 300.03/279.58 eprover: CPU time limit exceeded, terminating
% 300.03/279.59 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------