TSTP Solution File: CSR116+10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+10 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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.30s 269.61s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.08 % Problem : CSR116+10 : TPTP v8.1.0. Released v4.0.0.
% 0.04/0.09 % Command : run_infinox %s
% 0.08/0.28 % Computer : n032.cluster.edu
% 0.08/0.28 % Model : x86_64 x86_64
% 0.08/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.28 % Memory : 8042.1875MB
% 0.08/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.28 % CPULimit : 300
% 0.08/0.28 % WCLimit : 600
% 0.08/0.28 % DateTime : Thu Jun 9 22:46:23 EDT 2022
% 0.08/0.28 % CPUTime :
% 3.70/3.81 eprover: CPU time limit exceeded, terminating
% 5.88/5.82 eprover: CPU time limit exceeded, terminating
% 7.98/7.83 eprover: CPU time limit exceeded, terminating
% 10.16/9.84 eprover: CPU time limit exceeded, terminating
% 12.29/11.85 eprover: CPU time limit exceeded, terminating
% 14.44/13.87 eprover: CPU time limit exceeded, terminating
% 16.56/15.88 eprover: CPU time limit exceeded, terminating
% 18.72/17.89 eprover: CPU time limit exceeded, terminating
% 20.88/19.91 eprover: CPU time limit exceeded, terminating
% 22.99/21.92 eprover: CPU time limit exceeded, terminating
% 25.16/23.93 eprover: CPU time limit exceeded, terminating
% 27.27/25.94 eprover: CPU time limit exceeded, terminating
% 29.48/27.95 eprover: CPU time limit exceeded, terminating
% 31.57/29.97 eprover: CPU time limit exceeded, terminating
% 33.73/31.98 eprover: CPU time limit exceeded, terminating
% 35.94/33.99 eprover: CPU time limit exceeded, terminating
% 38.02/36.00 eprover: CPU time limit exceeded, terminating
% 40.19/38.01 eprover: CPU time limit exceeded, terminating
% 42.33/40.02 eprover: CPU time limit exceeded, terminating
% 44.50/42.04 eprover: CPU time limit exceeded, terminating
% 48.58/44.05 eprover: CPU time limit exceeded, terminating
% 50.74/46.06 eprover: CPU time limit exceeded, terminating
% 52.88/48.07 eprover: CPU time limit exceeded, terminating
% 55.02/50.08 eprover: CPU time limit exceeded, terminating
% 57.19/52.09 eprover: CPU time limit exceeded, terminating
% 59.34/54.10 eprover: CPU time limit exceeded, terminating
% 61.46/56.11 eprover: CPU time limit exceeded, terminating
% 63.60/58.12 eprover: CPU time limit exceeded, terminating
% 65.76/60.13 eprover: CPU time limit exceeded, terminating
% 67.85/62.14 eprover: CPU time limit exceeded, terminating
% 69.98/64.15 eprover: CPU time limit exceeded, terminating
% 72.18/66.16 eprover: CPU time limit exceeded, terminating
% 74.27/68.17 eprover: CPU time limit exceeded, terminating
% 76.41/70.19 eprover: CPU time limit exceeded, terminating
% 78.59/72.20 eprover: CPU time limit exceeded, terminating
% 80.73/74.21 eprover: CPU time limit exceeded, terminating
% 82.83/76.22 eprover: CPU time limit exceeded, terminating
% 84.87/78.23 eprover: CPU time limit exceeded, terminating
% 87.00/80.24 eprover: CPU time limit exceeded, terminating
% 89.12/82.25 eprover: CPU time limit exceeded, terminating
% 91.26/84.26 eprover: CPU time limit exceeded, terminating
% 93.35/86.27 eprover: CPU time limit exceeded, terminating
% 95.52/88.28 eprover: CPU time limit exceeded, terminating
% 97.64/90.29 eprover: CPU time limit exceeded, terminating
% 99.84/92.30 eprover: CPU time limit exceeded, terminating
% 101.99/94.31 eprover: CPU time limit exceeded, terminating
% 104.10/96.32 eprover: CPU time limit exceeded, terminating
% 106.24/98.33 eprover: CPU time limit exceeded, terminating
% 108.38/100.34 eprover: CPU time limit exceeded, terminating
% 110.49/102.35 eprover: CPU time limit exceeded, terminating
% 112.61/104.37 eprover: CPU time limit exceeded, terminating
% 114.75/106.38 eprover: CPU time limit exceeded, terminating
% 116.92/108.39 eprover: CPU time limit exceeded, terminating
% 119.08/110.40 eprover: CPU time limit exceeded, terminating
% 121.19/112.41 eprover: CPU time limit exceeded, terminating
% 123.34/114.42 eprover: CPU time limit exceeded, terminating
% 125.47/116.43 eprover: CPU time limit exceeded, terminating
% 127.63/118.44 eprover: CPU time limit exceeded, terminating
% 129.72/120.45 eprover: CPU time limit exceeded, terminating
% 131.87/122.46 eprover: CPU time limit exceeded, terminating
% 134.00/124.48 eprover: CPU time limit exceeded, terminating
% 136.13/126.49 eprover: CPU time limit exceeded, terminating
% 138.31/128.50 eprover: CPU time limit exceeded, terminating
% 140.46/130.51 eprover: CPU time limit exceeded, terminating
% 142.57/132.52 eprover: CPU time limit exceeded, terminating
% 144.72/134.53 eprover: CPU time limit exceeded, terminating
% 146.88/136.54 eprover: CPU time limit exceeded, terminating
% 148.94/138.55 eprover: CPU time limit exceeded, terminating
% 151.12/140.56 eprover: CPU time limit exceeded, terminating
% 153.27/142.57 eprover: CPU time limit exceeded, terminating
% 155.35/144.58 eprover: CPU time limit exceeded, terminating
% 157.51/146.59 eprover: CPU time limit exceeded, terminating
% 159.60/148.60 eprover: CPU time limit exceeded, terminating
% 161.77/150.61 eprover: CPU time limit exceeded, terminating
% 163.87/152.64 eprover: CPU time limit exceeded, terminating
% 166.04/154.65 eprover: CPU time limit exceeded, terminating
% 168.20/156.66 eprover: CPU time limit exceeded, terminating
% 170.30/158.68 eprover: CPU time limit exceeded, terminating
% 172.49/160.69 eprover: CPU time limit exceeded, terminating
% 174.53/162.70 eprover: CPU time limit exceeded, terminating
% 176.75/164.71 eprover: CPU time limit exceeded, terminating
% 178.89/166.72 eprover: CPU time limit exceeded, terminating
% 181.02/168.73 eprover: CPU time limit exceeded, terminating
% 183.16/170.74 eprover: CPU time limit exceeded, terminating
% 185.25/172.75 eprover: CPU time limit exceeded, terminating
% 187.38/174.76 eprover: CPU time limit exceeded, terminating
% 189.59/176.78 eprover: CPU time limit exceeded, terminating
% 191.68/178.79 eprover: CPU time limit exceeded, terminating
% 193.85/180.80 eprover: CPU time limit exceeded, terminating
% 196.00/182.81 eprover: CPU time limit exceeded, terminating
% 198.11/184.82 eprover: CPU time limit exceeded, terminating
% 200.24/186.83 eprover: CPU time limit exceeded, terminating
% 202.40/188.84 eprover: CPU time limit exceeded, terminating
% 204.50/190.85 eprover: CPU time limit exceeded, terminating
% 206.63/192.87 eprover: CPU time limit exceeded, terminating
% 208.76/194.88 eprover: CPU time limit exceeded, terminating
% 210.87/196.89 eprover: CPU time limit exceeded, terminating
% 213.02/198.90 eprover: CPU time limit exceeded, terminating
% 215.23/200.91 eprover: CPU time limit exceeded, terminating
% 217.35/202.92 eprover: CPU time limit exceeded, terminating
% 219.47/204.94 eprover: CPU time limit exceeded, terminating
% 221.64/206.95 eprover: CPU time limit exceeded, terminating
% 223.75/208.96 eprover: CPU time limit exceeded, terminating
% 225.87/210.97 eprover: CPU time limit exceeded, terminating
% 228.05/212.98 eprover: CPU time limit exceeded, terminating
% 230.14/214.99 eprover: CPU time limit exceeded, terminating
% 232.17/217.00 eprover: CPU time limit exceeded, terminating
% 234.33/219.03 eprover: CPU time limit exceeded, terminating
% 236.40/221.05 eprover: CPU time limit exceeded, terminating
% 238.50/223.07 eprover: CPU time limit exceeded, terminating
% 240.64/225.08 eprover: CPU time limit exceeded, terminating
% 242.85/227.12 eprover: CPU time limit exceeded, terminating
% 244.94/229.13 eprover: CPU time limit exceeded, terminating
% 247.04/231.19 eprover: CPU time limit exceeded, terminating
% 249.22/233.21 eprover: CPU time limit exceeded, terminating
% 251.28/235.22 eprover: CPU time limit exceeded, terminating
% 253.34/237.23 eprover: CPU time limit exceeded, terminating
% 255.41/239.25 eprover: CPU time limit exceeded, terminating
% 257.57/241.30 eprover: CPU time limit exceeded, terminating
% 259.68/243.32 eprover: CPU time limit exceeded, terminating
% 261.74/245.33 eprover: CPU time limit exceeded, terminating
% 263.76/247.34 eprover: CPU time limit exceeded, terminating
% 265.92/249.39 eprover: CPU time limit exceeded, terminating
% 268.09/251.40 eprover: CPU time limit exceeded, terminating
% 270.21/253.42 eprover: CPU time limit exceeded, terminating
% 272.35/255.44 eprover: CPU time limit exceeded, terminating
% 274.45/257.48 eprover: CPU time limit exceeded, terminating
% 276.56/259.50 eprover: CPU time limit exceeded, terminating
% 278.71/261.52 eprover: CPU time limit exceeded, terminating
% 280.88/263.54 eprover: CPU time limit exceeded, terminating
% 283.01/265.58 eprover: CPU time limit exceeded, terminating
% 285.12/267.59 eprover: CPU time limit exceeded, terminating
% 287.30/269.61 eprover: CPU time limit exceeded, terminating
% 289.37/271.62 eprover: CPU time limit exceeded, terminating
% 291.48/273.63 eprover: CPU time limit exceeded, terminating
% 293.63/275.64 eprover: CPU time limit exceeded, terminating
% 295.61/277.65 eprover: CPU time limit exceeded, terminating
% 297.72/279.66 eprover: CPU time limit exceeded, terminating
% 299.80/281.67 eprover: CPU time limit exceeded, terminating
% 300.26/282.08 eprover: CPU time limit exceeded, terminating
% 300.26/282.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------