TSTP Solution File: CSR115+76 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+76 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:36 EDT 2022
% Result : Timeout 285.93s 267.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR115+76 : TPTP v8.1.0. Released v4.0.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.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 : Fri Jun 10 18:56:24 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.64/3.78 eprover: CPU time limit exceeded, terminating
% 5.89/5.79 eprover: CPU time limit exceeded, terminating
% 8.01/7.80 eprover: CPU time limit exceeded, terminating
% 10.19/9.82 eprover: CPU time limit exceeded, terminating
% 12.30/11.83 eprover: CPU time limit exceeded, terminating
% 14.49/13.84 eprover: CPU time limit exceeded, terminating
% 16.64/15.85 eprover: CPU time limit exceeded, terminating
% 18.75/17.86 eprover: CPU time limit exceeded, terminating
% 20.92/19.87 eprover: CPU time limit exceeded, terminating
% 23.13/21.89 eprover: CPU time limit exceeded, terminating
% 25.31/23.90 eprover: CPU time limit exceeded, terminating
% 27.40/25.91 eprover: CPU time limit exceeded, terminating
% 29.63/27.92 eprover: CPU time limit exceeded, terminating
% 31.83/29.93 eprover: CPU time limit exceeded, terminating
% 33.96/31.94 eprover: CPU time limit exceeded, terminating
% 36.14/33.95 eprover: CPU time limit exceeded, terminating
% 38.27/35.96 eprover: CPU time limit exceeded, terminating
% 40.40/37.98 eprover: CPU time limit exceeded, terminating
% 42.66/39.99 eprover: CPU time limit exceeded, terminating
% 44.76/42.00 eprover: CPU time limit exceeded, terminating
% 46.92/44.01 eprover: CPU time limit exceeded, terminating
% 49.16/46.02 eprover: CPU time limit exceeded, terminating
% 51.29/48.03 eprover: CPU time limit exceeded, terminating
% 53.45/50.04 eprover: CPU time limit exceeded, terminating
% 55.66/52.06 eprover: CPU time limit exceeded, terminating
% 57.80/54.07 eprover: CPU time limit exceeded, terminating
% 59.96/56.08 eprover: CPU time limit exceeded, terminating
% 62.19/58.09 eprover: CPU time limit exceeded, terminating
% 64.36/60.10 eprover: CPU time limit exceeded, terminating
% 66.51/62.11 eprover: CPU time limit exceeded, terminating
% 68.66/64.12 eprover: CPU time limit exceeded, terminating
% 70.82/66.14 eprover: CPU time limit exceeded, terminating
% 72.98/68.15 eprover: CPU time limit exceeded, terminating
% 75.10/70.16 eprover: CPU time limit exceeded, terminating
% 77.26/72.17 eprover: CPU time limit exceeded, terminating
% 79.44/74.18 eprover: CPU time limit exceeded, terminating
% 81.53/76.19 eprover: CPU time limit exceeded, terminating
% 83.66/78.21 eprover: CPU time limit exceeded, terminating
% 85.79/80.22 eprover: CPU time limit exceeded, terminating
% 87.96/82.23 eprover: CPU time limit exceeded, terminating
% 90.11/84.24 eprover: CPU time limit exceeded, terminating
% 92.27/86.25 eprover: CPU time limit exceeded, terminating
% 94.44/88.26 eprover: CPU time limit exceeded, terminating
% 96.57/90.27 eprover: CPU time limit exceeded, terminating
% 98.80/92.28 eprover: CPU time limit exceeded, terminating
% 100.89/94.30 eprover: CPU time limit exceeded, terminating
% 103.13/96.31 eprover: CPU time limit exceeded, terminating
% 105.27/98.32 eprover: CPU time limit exceeded, terminating
% 107.44/100.33 eprover: CPU time limit exceeded, terminating
% 109.61/102.34 eprover: CPU time limit exceeded, terminating
% 111.73/104.35 eprover: CPU time limit exceeded, terminating
% 113.89/106.37 eprover: CPU time limit exceeded, terminating
% 116.05/108.38 eprover: CPU time limit exceeded, terminating
% 118.28/110.39 eprover: CPU time limit exceeded, terminating
% 120.35/112.40 eprover: CPU time limit exceeded, terminating
% 122.59/114.41 eprover: CPU time limit exceeded, terminating
% 124.74/116.43 eprover: CPU time limit exceeded, terminating
% 126.86/118.44 eprover: CPU time limit exceeded, terminating
% 129.03/120.45 eprover: CPU time limit exceeded, terminating
% 131.19/122.46 eprover: CPU time limit exceeded, terminating
% 133.31/124.48 eprover: CPU time limit exceeded, terminating
% 135.46/126.49 eprover: CPU time limit exceeded, terminating
% 137.64/128.50 eprover: CPU time limit exceeded, terminating
% 139.86/130.51 eprover: CPU time limit exceeded, terminating
% 141.95/132.52 eprover: CPU time limit exceeded, terminating
% 144.14/134.54 eprover: CPU time limit exceeded, terminating
% 146.29/136.55 eprover: CPU time limit exceeded, terminating
% 148.41/138.56 eprover: CPU time limit exceeded, terminating
% 150.59/140.57 eprover: CPU time limit exceeded, terminating
% 152.73/142.58 eprover: CPU time limit exceeded, terminating
% 154.88/144.59 eprover: CPU time limit exceeded, terminating
% 157.10/146.60 eprover: CPU time limit exceeded, terminating
% 159.26/148.61 eprover: CPU time limit exceeded, terminating
% 161.40/150.62 eprover: CPU time limit exceeded, terminating
% 163.57/152.64 eprover: CPU time limit exceeded, terminating
% 165.69/154.65 eprover: CPU time limit exceeded, terminating
% 167.87/156.66 eprover: CPU time limit exceeded, terminating
% 169.98/158.67 eprover: CPU time limit exceeded, terminating
% 172.16/160.68 eprover: CPU time limit exceeded, terminating
% 174.30/162.69 eprover: CPU time limit exceeded, terminating
% 176.53/164.70 eprover: CPU time limit exceeded, terminating
% 178.71/166.72 eprover: CPU time limit exceeded, terminating
% 180.82/168.73 eprover: CPU time limit exceeded, terminating
% 182.96/170.74 eprover: CPU time limit exceeded, terminating
% 185.09/172.75 eprover: CPU time limit exceeded, terminating
% 187.25/174.76 eprover: CPU time limit exceeded, terminating
% 189.42/176.78 eprover: CPU time limit exceeded, terminating
% 191.54/178.79 eprover: CPU time limit exceeded, terminating
% 193.79/180.80 eprover: CPU time limit exceeded, terminating
% 195.95/182.81 eprover: CPU time limit exceeded, terminating
% 198.09/184.82 eprover: CPU time limit exceeded, terminating
% 200.20/186.84 eprover: CPU time limit exceeded, terminating
% 202.37/188.85 eprover: CPU time limit exceeded, terminating
% 204.51/190.86 eprover: CPU time limit exceeded, terminating
% 206.68/192.87 eprover: CPU time limit exceeded, terminating
% 208.80/194.88 eprover: CPU time limit exceeded, terminating
% 210.96/196.89 eprover: CPU time limit exceeded, terminating
% 213.19/198.90 eprover: CPU time limit exceeded, terminating
% 215.35/200.91 eprover: CPU time limit exceeded, terminating
% 217.47/202.93 eprover: CPU time limit exceeded, terminating
% 219.63/204.94 eprover: CPU time limit exceeded, terminating
% 221.79/206.95 eprover: CPU time limit exceeded, terminating
% 223.92/208.96 eprover: CPU time limit exceeded, terminating
% 226.09/210.97 eprover: CPU time limit exceeded, terminating
% 228.22/212.98 eprover: CPU time limit exceeded, terminating
% 230.35/214.99 eprover: CPU time limit exceeded, terminating
% 232.44/217.01 eprover: CPU time limit exceeded, terminating
% 234.58/219.02 eprover: CPU time limit exceeded, terminating
% 236.74/221.03 eprover: CPU time limit exceeded, terminating
% 238.89/223.04 eprover: CPU time limit exceeded, terminating
% 241.00/225.05 eprover: CPU time limit exceeded, terminating
% 243.16/227.06 eprover: CPU time limit exceeded, terminating
% 245.32/229.08 eprover: CPU time limit exceeded, terminating
% 247.44/231.09 eprover: CPU time limit exceeded, terminating
% 249.65/233.10 eprover: CPU time limit exceeded, terminating
% 251.73/235.11 eprover: CPU time limit exceeded, terminating
% 253.78/237.12 eprover: CPU time limit exceeded, terminating
% 255.86/239.14 eprover: CPU time limit exceeded, terminating
% 257.99/241.15 eprover: CPU time limit exceeded, terminating
% 260.14/243.16 eprover: CPU time limit exceeded, terminating
% 262.26/245.18 eprover: CPU time limit exceeded, terminating
% 264.33/247.19 eprover: CPU time limit exceeded, terminating
% 266.56/249.20 eprover: CPU time limit exceeded, terminating
% 268.71/251.22 eprover: CPU time limit exceeded, terminating
% 270.85/253.23 eprover: CPU time limit exceeded, terminating
% 273.02/255.24 eprover: CPU time limit exceeded, terminating
% 275.11/257.25 eprover: CPU time limit exceeded, terminating
% 277.27/259.26 eprover: CPU time limit exceeded, terminating
% 279.39/261.27 eprover: CPU time limit exceeded, terminating
% 281.55/263.28 eprover: CPU time limit exceeded, terminating
% 283.76/265.30 eprover: CPU time limit exceeded, terminating
% 285.93/267.31 eprover: CPU time limit exceeded, terminating
% 288.10/269.32 eprover: CPU time limit exceeded, terminating
% 290.18/271.33 eprover: CPU time limit exceeded, terminating
% 292.34/273.34 eprover: CPU time limit exceeded, terminating
% 294.47/275.35 eprover: CPU time limit exceeded, terminating
% 296.54/277.36 eprover: CPU time limit exceeded, terminating
% 298.59/279.38 eprover: CPU time limit exceeded, terminating
% 300.07/280.71 eprover: CPU time limit exceeded, terminating
% 300.07/280.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------