TSTP Solution File: CSR115+74 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+74 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:35 EDT 2022
% Result : Timeout 285.94s 267.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR115+74 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n006.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 18:31:12 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.70/3.74 eprover: CPU time limit exceeded, terminating
% 5.83/5.75 eprover: CPU time limit exceeded, terminating
% 8.04/7.76 eprover: CPU time limit exceeded, terminating
% 10.15/9.77 eprover: CPU time limit exceeded, terminating
% 12.33/11.78 eprover: CPU time limit exceeded, terminating
% 14.46/13.79 eprover: CPU time limit exceeded, terminating
% 16.61/15.81 eprover: CPU time limit exceeded, terminating
% 18.79/17.82 eprover: CPU time limit exceeded, terminating
% 20.95/19.83 eprover: CPU time limit exceeded, terminating
% 23.06/21.84 eprover: CPU time limit exceeded, terminating
% 25.26/23.85 eprover: CPU time limit exceeded, terminating
% 27.45/25.86 eprover: CPU time limit exceeded, terminating
% 29.62/27.87 eprover: CPU time limit exceeded, terminating
% 31.81/29.89 eprover: CPU time limit exceeded, terminating
% 33.94/31.90 eprover: CPU time limit exceeded, terminating
% 36.13/33.91 eprover: CPU time limit exceeded, terminating
% 38.30/35.92 eprover: CPU time limit exceeded, terminating
% 40.44/37.93 eprover: CPU time limit exceeded, terminating
% 42.62/39.94 eprover: CPU time limit exceeded, terminating
% 44.80/41.95 eprover: CPU time limit exceeded, terminating
% 46.95/43.97 eprover: CPU time limit exceeded, terminating
% 49.12/45.98 eprover: CPU time limit exceeded, terminating
% 51.29/47.99 eprover: CPU time limit exceeded, terminating
% 53.45/50.00 eprover: CPU time limit exceeded, terminating
% 55.62/52.01 eprover: CPU time limit exceeded, terminating
% 57.77/54.02 eprover: CPU time limit exceeded, terminating
% 59.95/56.03 eprover: CPU time limit exceeded, terminating
% 62.08/58.04 eprover: CPU time limit exceeded, terminating
% 64.25/60.06 eprover: CPU time limit exceeded, terminating
% 66.44/62.07 eprover: CPU time limit exceeded, terminating
% 68.61/64.08 eprover: CPU time limit exceeded, terminating
% 70.77/66.09 eprover: CPU time limit exceeded, terminating
% 72.88/68.10 eprover: CPU time limit exceeded, terminating
% 75.10/70.11 eprover: CPU time limit exceeded, terminating
% 77.26/72.12 eprover: CPU time limit exceeded, terminating
% 79.43/74.13 eprover: CPU time limit exceeded, terminating
% 81.52/76.15 eprover: CPU time limit exceeded, terminating
% 83.55/78.16 eprover: CPU time limit exceeded, terminating
% 85.76/80.17 eprover: CPU time limit exceeded, terminating
% 87.89/82.18 eprover: CPU time limit exceeded, terminating
% 90.08/84.19 eprover: CPU time limit exceeded, terminating
% 92.21/86.20 eprover: CPU time limit exceeded, terminating
% 94.35/88.21 eprover: CPU time limit exceeded, terminating
% 96.56/90.22 eprover: CPU time limit exceeded, terminating
% 98.70/92.23 eprover: CPU time limit exceeded, terminating
% 100.92/94.25 eprover: CPU time limit exceeded, terminating
% 103.10/96.26 eprover: CPU time limit exceeded, terminating
% 105.27/98.27 eprover: CPU time limit exceeded, terminating
% 107.40/100.28 eprover: CPU time limit exceeded, terminating
% 109.53/102.29 eprover: CPU time limit exceeded, terminating
% 111.73/104.30 eprover: CPU time limit exceeded, terminating
% 113.90/106.31 eprover: CPU time limit exceeded, terminating
% 116.04/108.33 eprover: CPU time limit exceeded, terminating
% 118.14/110.34 eprover: CPU time limit exceeded, terminating
% 120.33/112.35 eprover: CPU time limit exceeded, terminating
% 122.50/114.36 eprover: CPU time limit exceeded, terminating
% 124.63/116.37 eprover: CPU time limit exceeded, terminating
% 126.83/118.38 eprover: CPU time limit exceeded, terminating
% 128.98/120.39 eprover: CPU time limit exceeded, terminating
% 131.13/122.40 eprover: CPU time limit exceeded, terminating
% 133.28/124.42 eprover: CPU time limit exceeded, terminating
% 135.48/126.43 eprover: CPU time limit exceeded, terminating
% 137.60/128.44 eprover: CPU time limit exceeded, terminating
% 139.80/130.45 eprover: CPU time limit exceeded, terminating
% 141.91/132.46 eprover: CPU time limit exceeded, terminating
% 144.05/134.47 eprover: CPU time limit exceeded, terminating
% 146.26/136.49 eprover: CPU time limit exceeded, terminating
% 148.42/138.50 eprover: CPU time limit exceeded, terminating
% 150.55/140.51 eprover: CPU time limit exceeded, terminating
% 152.70/142.52 eprover: CPU time limit exceeded, terminating
% 154.86/144.53 eprover: CPU time limit exceeded, terminating
% 157.02/146.54 eprover: CPU time limit exceeded, terminating
% 159.16/148.55 eprover: CPU time limit exceeded, terminating
% 161.34/150.56 eprover: CPU time limit exceeded, terminating
% 163.47/152.57 eprover: CPU time limit exceeded, terminating
% 165.64/154.59 eprover: CPU time limit exceeded, terminating
% 167.80/156.60 eprover: CPU time limit exceeded, terminating
% 169.96/158.61 eprover: CPU time limit exceeded, terminating
% 172.11/160.62 eprover: CPU time limit exceeded, terminating
% 174.32/162.63 eprover: CPU time limit exceeded, terminating
% 176.42/164.64 eprover: CPU time limit exceeded, terminating
% 178.61/166.66 eprover: CPU time limit exceeded, terminating
% 180.72/168.67 eprover: CPU time limit exceeded, terminating
% 182.94/170.68 eprover: CPU time limit exceeded, terminating
% 185.01/172.69 eprover: CPU time limit exceeded, terminating
% 187.22/174.70 eprover: CPU time limit exceeded, terminating
% 189.39/176.71 eprover: CPU time limit exceeded, terminating
% 191.54/178.72 eprover: CPU time limit exceeded, terminating
% 193.71/180.74 eprover: CPU time limit exceeded, terminating
% 195.83/182.75 eprover: CPU time limit exceeded, terminating
% 198.02/184.76 eprover: CPU time limit exceeded, terminating
% 200.13/186.77 eprover: CPU time limit exceeded, terminating
% 202.30/188.78 eprover: CPU time limit exceeded, terminating
% 204.50/190.79 eprover: CPU time limit exceeded, terminating
% 206.59/192.81 eprover: CPU time limit exceeded, terminating
% 208.79/194.82 eprover: CPU time limit exceeded, terminating
% 210.96/196.83 eprover: CPU time limit exceeded, terminating
% 213.09/198.84 eprover: CPU time limit exceeded, terminating
% 215.28/200.85 eprover: CPU time limit exceeded, terminating
% 217.42/202.86 eprover: CPU time limit exceeded, terminating
% 219.60/204.87 eprover: CPU time limit exceeded, terminating
% 221.71/206.89 eprover: CPU time limit exceeded, terminating
% 223.89/208.90 eprover: CPU time limit exceeded, terminating
% 226.09/210.91 eprover: CPU time limit exceeded, terminating
% 228.19/212.92 eprover: CPU time limit exceeded, terminating
% 230.29/214.93 eprover: CPU time limit exceeded, terminating
% 232.39/216.94 eprover: CPU time limit exceeded, terminating
% 234.51/218.96 eprover: CPU time limit exceeded, terminating
% 236.65/220.97 eprover: CPU time limit exceeded, terminating
% 238.87/222.98 eprover: CPU time limit exceeded, terminating
% 240.96/224.99 eprover: CPU time limit exceeded, terminating
% 243.14/227.00 eprover: CPU time limit exceeded, terminating
% 245.34/229.01 eprover: CPU time limit exceeded, terminating
% 247.43/231.02 eprover: CPU time limit exceeded, terminating
% 249.60/233.03 eprover: CPU time limit exceeded, terminating
% 251.63/235.05 eprover: CPU time limit exceeded, terminating
% 253.75/237.06 eprover: CPU time limit exceeded, terminating
% 255.81/239.07 eprover: CPU time limit exceeded, terminating
% 257.97/241.08 eprover: CPU time limit exceeded, terminating
% 260.15/243.09 eprover: CPU time limit exceeded, terminating
% 262.24/245.11 eprover: CPU time limit exceeded, terminating
% 264.35/247.12 eprover: CPU time limit exceeded, terminating
% 266.49/249.13 eprover: CPU time limit exceeded, terminating
% 268.68/251.14 eprover: CPU time limit exceeded, terminating
% 270.86/253.15 eprover: CPU time limit exceeded, terminating
% 272.94/255.16 eprover: CPU time limit exceeded, terminating
% 275.11/257.18 eprover: CPU time limit exceeded, terminating
% 277.27/259.19 eprover: CPU time limit exceeded, terminating
% 279.46/261.20 eprover: CPU time limit exceeded, terminating
% 281.59/263.21 eprover: CPU time limit exceeded, terminating
% 283.78/265.22 eprover: CPU time limit exceeded, terminating
% 285.94/267.24 eprover: CPU time limit exceeded, terminating
% 288.05/269.25 eprover: CPU time limit exceeded, terminating
% 290.19/271.26 eprover: CPU time limit exceeded, terminating
% 292.38/273.27 eprover: CPU time limit exceeded, terminating
% 294.55/275.29 eprover: CPU time limit exceeded, terminating
% 296.59/277.30 eprover: CPU time limit exceeded, terminating
% 298.64/279.31 eprover: CPU time limit exceeded, terminating
% 300.02/280.57 eprover: CPU time limit exceeded, terminating
% 300.02/280.59 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------