TSTP Solution File: CSR114+11 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR114+11 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:23 EDT 2022
% Result : Timeout 286.78s 267.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : CSR114+11 : TPTP v8.1.0. Released v4.0.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n026.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 : Sat Jun 11 02:11:20 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.72/3.81 eprover: CPU time limit exceeded, terminating
% 5.95/5.82 eprover: CPU time limit exceeded, terminating
% 8.02/7.83 eprover: CPU time limit exceeded, terminating
% 10.21/9.85 eprover: CPU time limit exceeded, terminating
% 12.42/11.86 eprover: CPU time limit exceeded, terminating
% 14.60/13.87 eprover: CPU time limit exceeded, terminating
% 16.70/15.89 eprover: CPU time limit exceeded, terminating
% 18.89/17.90 eprover: CPU time limit exceeded, terminating
% 21.09/19.91 eprover: CPU time limit exceeded, terminating
% 23.25/21.93 eprover: CPU time limit exceeded, terminating
% 25.39/23.94 eprover: CPU time limit exceeded, terminating
% 27.59/25.95 eprover: CPU time limit exceeded, terminating
% 29.77/27.97 eprover: CPU time limit exceeded, terminating
% 31.93/29.98 eprover: CPU time limit exceeded, terminating
% 34.13/31.99 eprover: CPU time limit exceeded, terminating
% 36.31/34.01 eprover: CPU time limit exceeded, terminating
% 38.44/36.02 eprover: CPU time limit exceeded, terminating
% 40.61/38.04 eprover: CPU time limit exceeded, terminating
% 42.77/40.05 eprover: CPU time limit exceeded, terminating
% 44.99/42.06 eprover: CPU time limit exceeded, terminating
% 47.09/44.08 eprover: CPU time limit exceeded, terminating
% 49.27/46.09 eprover: CPU time limit exceeded, terminating
% 51.47/48.10 eprover: CPU time limit exceeded, terminating
% 53.67/50.12 eprover: CPU time limit exceeded, terminating
% 55.82/52.13 eprover: CPU time limit exceeded, terminating
% 58.02/54.14 eprover: CPU time limit exceeded, terminating
% 60.14/56.16 eprover: CPU time limit exceeded, terminating
% 62.33/58.17 eprover: CPU time limit exceeded, terminating
% 64.48/60.18 eprover: CPU time limit exceeded, terminating
% 66.70/62.19 eprover: CPU time limit exceeded, terminating
% 68.88/64.21 eprover: CPU time limit exceeded, terminating
% 70.97/66.22 eprover: CPU time limit exceeded, terminating
% 73.21/68.23 eprover: CPU time limit exceeded, terminating
% 75.34/70.25 eprover: CPU time limit exceeded, terminating
% 77.50/72.26 eprover: CPU time limit exceeded, terminating
% 79.67/74.27 eprover: CPU time limit exceeded, terminating
% 81.72/76.29 eprover: CPU time limit exceeded, terminating
% 83.89/78.30 eprover: CPU time limit exceeded, terminating
% 86.04/80.31 eprover: CPU time limit exceeded, terminating
% 88.21/82.32 eprover: CPU time limit exceeded, terminating
% 90.34/84.34 eprover: CPU time limit exceeded, terminating
% 92.52/86.35 eprover: CPU time limit exceeded, terminating
% 94.71/88.37 eprover: CPU time limit exceeded, terminating
% 96.85/90.38 eprover: CPU time limit exceeded, terminating
% 99.04/92.39 eprover: CPU time limit exceeded, terminating
% 101.19/94.40 eprover: CPU time limit exceeded, terminating
% 103.42/96.42 eprover: CPU time limit exceeded, terminating
% 105.57/98.43 eprover: CPU time limit exceeded, terminating
% 107.74/100.44 eprover: CPU time limit exceeded, terminating
% 109.92/102.46 eprover: CPU time limit exceeded, terminating
% 112.04/104.47 eprover: CPU time limit exceeded, terminating
% 114.22/106.48 eprover: CPU time limit exceeded, terminating
% 116.36/108.49 eprover: CPU time limit exceeded, terminating
% 118.61/110.51 eprover: CPU time limit exceeded, terminating
% 120.77/112.52 eprover: CPU time limit exceeded, terminating
% 122.95/114.53 eprover: CPU time limit exceeded, terminating
% 125.08/116.55 eprover: CPU time limit exceeded, terminating
% 127.20/118.56 eprover: CPU time limit exceeded, terminating
% 129.38/120.57 eprover: CPU time limit exceeded, terminating
% 131.57/122.59 eprover: CPU time limit exceeded, terminating
% 133.76/124.60 eprover: CPU time limit exceeded, terminating
% 135.95/126.61 eprover: CPU time limit exceeded, terminating
% 138.09/128.63 eprover: CPU time limit exceeded, terminating
% 140.25/130.64 eprover: CPU time limit exceeded, terminating
% 142.39/132.65 eprover: CPU time limit exceeded, terminating
% 144.58/134.67 eprover: CPU time limit exceeded, terminating
% 146.76/136.68 eprover: CPU time limit exceeded, terminating
% 148.89/138.69 eprover: CPU time limit exceeded, terminating
% 151.06/140.70 eprover: CPU time limit exceeded, terminating
% 153.23/142.72 eprover: CPU time limit exceeded, terminating
% 155.36/144.73 eprover: CPU time limit exceeded, terminating
% 157.52/146.74 eprover: CPU time limit exceeded, terminating
% 159.73/148.76 eprover: CPU time limit exceeded, terminating
% 161.90/150.77 eprover: CPU time limit exceeded, terminating
% 164.03/152.78 eprover: CPU time limit exceeded, terminating
% 166.24/154.80 eprover: CPU time limit exceeded, terminating
% 168.43/156.81 eprover: CPU time limit exceeded, terminating
% 170.57/158.82 eprover: CPU time limit exceeded, terminating
% 172.80/160.84 eprover: CPU time limit exceeded, terminating
% 174.94/162.85 eprover: CPU time limit exceeded, terminating
% 177.11/164.86 eprover: CPU time limit exceeded, terminating
% 179.26/166.88 eprover: CPU time limit exceeded, terminating
% 181.39/168.89 eprover: CPU time limit exceeded, terminating
% 183.58/170.90 eprover: CPU time limit exceeded, terminating
% 185.77/172.92 eprover: CPU time limit exceeded, terminating
% 187.86/174.93 eprover: CPU time limit exceeded, terminating
% 190.09/176.94 eprover: CPU time limit exceeded, terminating
% 192.21/178.96 eprover: CPU time limit exceeded, terminating
% 194.41/180.97 eprover: CPU time limit exceeded, terminating
% 196.57/182.98 eprover: CPU time limit exceeded, terminating
% 198.76/185.00 eprover: CPU time limit exceeded, terminating
% 200.88/187.01 eprover: CPU time limit exceeded, terminating
% 203.00/189.03 eprover: CPU time limit exceeded, terminating
% 205.26/191.04 eprover: CPU time limit exceeded, terminating
% 207.43/193.05 eprover: CPU time limit exceeded, terminating
% 209.58/195.07 eprover: CPU time limit exceeded, terminating
% 211.74/197.08 eprover: CPU time limit exceeded, terminating
% 213.88/199.09 eprover: CPU time limit exceeded, terminating
% 216.04/201.10 eprover: CPU time limit exceeded, terminating
% 218.17/203.11 eprover: CPU time limit exceeded, terminating
% 220.33/205.12 eprover: CPU time limit exceeded, terminating
% 222.47/207.13 eprover: CPU time limit exceeded, terminating
% 224.67/209.14 eprover: CPU time limit exceeded, terminating
% 226.86/211.15 eprover: CPU time limit exceeded, terminating
% 229.01/213.17 eprover: CPU time limit exceeded, terminating
% 231.07/215.18 eprover: CPU time limit exceeded, terminating
% 233.15/217.19 eprover: CPU time limit exceeded, terminating
% 235.26/219.20 eprover: CPU time limit exceeded, terminating
% 237.49/221.22 eprover: CPU time limit exceeded, terminating
% 239.61/223.23 eprover: CPU time limit exceeded, terminating
% 241.80/225.24 eprover: CPU time limit exceeded, terminating
% 243.96/227.25 eprover: CPU time limit exceeded, terminating
% 246.14/229.27 eprover: CPU time limit exceeded, terminating
% 248.27/231.28 eprover: CPU time limit exceeded, terminating
% 250.41/233.29 eprover: CPU time limit exceeded, terminating
% 252.51/235.30 eprover: CPU time limit exceeded, terminating
% 254.56/237.31 eprover: CPU time limit exceeded, terminating
% 256.65/239.33 eprover: CPU time limit exceeded, terminating
% 258.84/241.34 eprover: CPU time limit exceeded, terminating
% 260.91/243.35 eprover: CPU time limit exceeded, terminating
% 263.13/245.37 eprover: CPU time limit exceeded, terminating
% 265.20/247.38 eprover: CPU time limit exceeded, terminating
% 267.38/249.39 eprover: CPU time limit exceeded, terminating
% 269.53/251.40 eprover: CPU time limit exceeded, terminating
% 271.69/253.41 eprover: CPU time limit exceeded, terminating
% 273.85/255.43 eprover: CPU time limit exceeded, terminating
% 276.00/257.44 eprover: CPU time limit exceeded, terminating
% 278.14/259.45 eprover: CPU time limit exceeded, terminating
% 280.30/261.46 eprover: CPU time limit exceeded, terminating
% 282.48/263.47 eprover: CPU time limit exceeded, terminating
% 284.62/265.49 eprover: CPU time limit exceeded, terminating
% 286.78/267.50 eprover: CPU time limit exceeded, terminating
% 288.96/269.51 eprover: CPU time limit exceeded, terminating
% 291.07/271.52 eprover: CPU time limit exceeded, terminating
% 293.23/273.54 eprover: CPU time limit exceeded, terminating
% 295.36/275.55 eprover: CPU time limit exceeded, terminating
% 297.46/277.56 eprover: CPU time limit exceeded, terminating
% 299.56/279.57 eprover: CPU time limit exceeded, terminating
% 300.06/280.00 eprover: CPU time limit exceeded, terminating
% 300.06/280.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------