TSTP Solution File: CSR115+94 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+94 : 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:38 EDT 2022
% Result : Timeout 287.05s 271.18s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.08 % Problem : CSR115+94 : TPTP v8.1.0. Released v4.0.0.
% 0.02/0.08 % Command : run_infinox %s
% 0.07/0.27 % Computer : n032.cluster.edu
% 0.07/0.27 % Model : x86_64 x86_64
% 0.07/0.27 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.07/0.27 % Memory : 8042.1875MB
% 0.07/0.27 % OS : Linux 3.10.0-693.el7.x86_64
% 0.07/0.27 % CPULimit : 300
% 0.07/0.27 % WCLimit : 600
% 0.07/0.27 % DateTime : Thu Jun 9 17:50:53 EDT 2022
% 0.07/0.27 % CPUTime :
% 3.64/3.75 eprover: CPU time limit exceeded, terminating
% 5.75/5.76 eprover: CPU time limit exceeded, terminating
% 7.90/7.77 eprover: CPU time limit exceeded, terminating
% 10.04/9.78 eprover: CPU time limit exceeded, terminating
% 12.17/11.79 eprover: CPU time limit exceeded, terminating
% 14.26/13.80 eprover: CPU time limit exceeded, terminating
% 16.39/15.81 eprover: CPU time limit exceeded, terminating
% 18.51/17.82 eprover: CPU time limit exceeded, terminating
% 20.64/19.84 eprover: CPU time limit exceeded, terminating
% 22.77/21.85 eprover: CPU time limit exceeded, terminating
% 24.90/23.86 eprover: CPU time limit exceeded, terminating
% 27.05/25.87 eprover: CPU time limit exceeded, terminating
% 29.24/27.88 eprover: CPU time limit exceeded, terminating
% 31.32/29.89 eprover: CPU time limit exceeded, terminating
% 33.48/31.90 eprover: CPU time limit exceeded, terminating
% 35.66/33.91 eprover: CPU time limit exceeded, terminating
% 37.77/35.92 eprover: CPU time limit exceeded, terminating
% 39.92/37.93 eprover: CPU time limit exceeded, terminating
% 42.08/39.94 eprover: CPU time limit exceeded, terminating
% 44.19/41.95 eprover: CPU time limit exceeded, terminating
% 46.34/43.96 eprover: CPU time limit exceeded, terminating
% 48.47/45.97 eprover: CPU time limit exceeded, terminating
% 50.58/47.99 eprover: CPU time limit exceeded, terminating
% 52.81/50.00 eprover: CPU time limit exceeded, terminating
% 54.84/52.01 eprover: CPU time limit exceeded, terminating
% 57.06/54.02 eprover: CPU time limit exceeded, terminating
% 59.17/56.03 eprover: CPU time limit exceeded, terminating
% 61.30/58.04 eprover: CPU time limit exceeded, terminating
% 63.45/60.05 eprover: CPU time limit exceeded, terminating
% 65.60/62.06 eprover: CPU time limit exceeded, terminating
% 67.70/64.07 eprover: CPU time limit exceeded, terminating
% 69.83/66.08 eprover: CPU time limit exceeded, terminating
% 72.00/68.09 eprover: CPU time limit exceeded, terminating
% 74.19/70.10 eprover: CPU time limit exceeded, terminating
% 76.33/72.11 eprover: CPU time limit exceeded, terminating
% 78.44/74.12 eprover: CPU time limit exceeded, terminating
% 80.50/76.13 eprover: CPU time limit exceeded, terminating
% 82.53/78.15 eprover: CPU time limit exceeded, terminating
% 84.66/80.16 eprover: CPU time limit exceeded, terminating
% 86.77/82.17 eprover: CPU time limit exceeded, terminating
% 88.91/84.18 eprover: CPU time limit exceeded, terminating
% 91.10/86.19 eprover: CPU time limit exceeded, terminating
% 93.20/88.20 eprover: CPU time limit exceeded, terminating
% 95.32/90.21 eprover: CPU time limit exceeded, terminating
% 97.44/92.22 eprover: CPU time limit exceeded, terminating
% 99.53/94.23 eprover: CPU time limit exceeded, terminating
% 101.70/96.24 eprover: CPU time limit exceeded, terminating
% 103.78/98.25 eprover: CPU time limit exceeded, terminating
% 105.95/100.26 eprover: CPU time limit exceeded, terminating
% 108.10/102.27 eprover: CPU time limit exceeded, terminating
% 110.19/104.28 eprover: CPU time limit exceeded, terminating
% 112.37/106.30 eprover: CPU time limit exceeded, terminating
% 114.54/108.31 eprover: CPU time limit exceeded, terminating
% 116.64/110.32 eprover: CPU time limit exceeded, terminating
% 118.79/112.33 eprover: CPU time limit exceeded, terminating
% 120.94/114.34 eprover: CPU time limit exceeded, terminating
% 123.01/116.35 eprover: CPU time limit exceeded, terminating
% 125.17/118.36 eprover: CPU time limit exceeded, terminating
% 127.30/120.37 eprover: CPU time limit exceeded, terminating
% 129.45/122.38 eprover: CPU time limit exceeded, terminating
% 131.52/124.39 eprover: CPU time limit exceeded, terminating
% 133.73/126.40 eprover: CPU time limit exceeded, terminating
% 135.87/128.41 eprover: CPU time limit exceeded, terminating
% 137.97/130.43 eprover: CPU time limit exceeded, terminating
% 140.07/132.44 eprover: CPU time limit exceeded, terminating
% 142.24/134.45 eprover: CPU time limit exceeded, terminating
% 144.38/136.46 eprover: CPU time limit exceeded, terminating
% 146.46/138.47 eprover: CPU time limit exceeded, terminating
% 148.68/140.48 eprover: CPU time limit exceeded, terminating
% 150.83/142.49 eprover: CPU time limit exceeded, terminating
% 152.95/144.50 eprover: CPU time limit exceeded, terminating
% 155.09/146.51 eprover: CPU time limit exceeded, terminating
% 157.24/148.52 eprover: CPU time limit exceeded, terminating
% 159.39/150.53 eprover: CPU time limit exceeded, terminating
% 161.52/152.54 eprover: CPU time limit exceeded, terminating
% 163.67/154.55 eprover: CPU time limit exceeded, terminating
% 165.78/156.56 eprover: CPU time limit exceeded, terminating
% 167.92/158.57 eprover: CPU time limit exceeded, terminating
% 170.02/160.58 eprover: CPU time limit exceeded, terminating
% 172.17/162.59 eprover: CPU time limit exceeded, terminating
% 174.34/164.60 eprover: CPU time limit exceeded, terminating
% 176.41/166.61 eprover: CPU time limit exceeded, terminating
% 178.60/168.62 eprover: CPU time limit exceeded, terminating
% 180.76/170.63 eprover: CPU time limit exceeded, terminating
% 182.83/172.64 eprover: CPU time limit exceeded, terminating
% 185.02/174.65 eprover: CPU time limit exceeded, terminating
% 187.12/176.66 eprover: CPU time limit exceeded, terminating
% 189.21/178.67 eprover: CPU time limit exceeded, terminating
% 191.37/180.68 eprover: CPU time limit exceeded, terminating
% 193.58/182.69 eprover: CPU time limit exceeded, terminating
% 195.72/184.70 eprover: CPU time limit exceeded, terminating
% 197.82/186.71 eprover: CPU time limit exceeded, terminating
% 199.98/188.73 eprover: CPU time limit exceeded, terminating
% 202.08/190.74 eprover: CPU time limit exceeded, terminating
% 204.26/192.75 eprover: CPU time limit exceeded, terminating
% 206.35/194.76 eprover: CPU time limit exceeded, terminating
% 208.53/196.77 eprover: CPU time limit exceeded, terminating
% 210.70/198.78 eprover: CPU time limit exceeded, terminating
% 212.83/200.79 eprover: CPU time limit exceeded, terminating
% 214.89/202.80 eprover: CPU time limit exceeded, terminating
% 217.03/204.81 eprover: CPU time limit exceeded, terminating
% 219.21/206.83 eprover: CPU time limit exceeded, terminating
% 221.39/208.84 eprover: CPU time limit exceeded, terminating
% 223.49/210.85 eprover: CPU time limit exceeded, terminating
% 225.62/212.86 eprover: CPU time limit exceeded, terminating
% 227.64/214.87 eprover: CPU time limit exceeded, terminating
% 229.72/216.88 eprover: CPU time limit exceeded, terminating
% 231.94/218.89 eprover: CPU time limit exceeded, terminating
% 234.09/220.91 eprover: CPU time limit exceeded, terminating
% 236.21/222.92 eprover: CPU time limit exceeded, terminating
% 238.32/224.93 eprover: CPU time limit exceeded, terminating
% 240.50/226.94 eprover: CPU time limit exceeded, terminating
% 242.57/228.95 eprover: CPU time limit exceeded, terminating
% 244.72/230.96 eprover: CPU time limit exceeded, terminating
% 246.89/232.98 eprover: CPU time limit exceeded, terminating
% 248.90/234.99 eprover: CPU time limit exceeded, terminating
% 251.00/237.00 eprover: CPU time limit exceeded, terminating
% 253.09/239.01 eprover: CPU time limit exceeded, terminating
% 255.23/241.02 eprover: CPU time limit exceeded, terminating
% 257.37/243.03 eprover: CPU time limit exceeded, terminating
% 259.46/245.04 eprover: CPU time limit exceeded, terminating
% 261.50/247.05 eprover: CPU time limit exceeded, terminating
% 263.58/249.06 eprover: CPU time limit exceeded, terminating
% 265.73/251.07 eprover: CPU time limit exceeded, terminating
% 267.89/253.08 eprover: CPU time limit exceeded, terminating
% 270.01/255.09 eprover: CPU time limit exceeded, terminating
% 272.14/257.10 eprover: CPU time limit exceeded, terminating
% 274.25/259.11 eprover: CPU time limit exceeded, terminating
% 276.39/261.12 eprover: CPU time limit exceeded, terminating
% 278.50/263.14 eprover: CPU time limit exceeded, terminating
% 280.60/265.15 eprover: CPU time limit exceeded, terminating
% 282.75/267.16 eprover: CPU time limit exceeded, terminating
% 284.89/269.17 eprover: CPU time limit exceeded, terminating
% 287.05/271.18 eprover: CPU time limit exceeded, terminating
% 289.17/273.19 eprover: CPU time limit exceeded, terminating
% 291.23/275.20 eprover: CPU time limit exceeded, terminating
% 293.38/277.21 eprover: CPU time limit exceeded, terminating
% 295.44/279.22 eprover: CPU time limit exceeded, terminating
% 297.46/281.23 eprover: CPU time limit exceeded, terminating
% 299.62/283.24 eprover: CPU time limit exceeded, terminating
% 300.15/283.69 eprover: CPU time limit exceeded, terminating
% 300.15/283.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------