TSTP Solution File: CSR115+64 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+64 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:34 EDT 2022
% Result : Timeout 286.12s 267.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : CSR115+64 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.32 % Computer : n029.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Sat Jun 11 01:33:38 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.68/3.74 eprover: CPU time limit exceeded, terminating
% 5.85/5.75 eprover: CPU time limit exceeded, terminating
% 7.96/7.76 eprover: CPU time limit exceeded, terminating
% 10.12/9.77 eprover: CPU time limit exceeded, terminating
% 12.30/11.78 eprover: CPU time limit exceeded, terminating
% 14.48/13.79 eprover: CPU time limit exceeded, terminating
% 16.59/15.80 eprover: CPU time limit exceeded, terminating
% 18.74/17.81 eprover: CPU time limit exceeded, terminating
% 20.89/19.83 eprover: CPU time limit exceeded, terminating
% 23.09/21.84 eprover: CPU time limit exceeded, terminating
% 25.24/23.85 eprover: CPU time limit exceeded, terminating
% 27.38/25.86 eprover: CPU time limit exceeded, terminating
% 29.54/27.87 eprover: CPU time limit exceeded, terminating
% 31.71/29.88 eprover: CPU time limit exceeded, terminating
% 33.86/31.89 eprover: CPU time limit exceeded, terminating
% 36.02/33.90 eprover: CPU time limit exceeded, terminating
% 38.21/35.92 eprover: CPU time limit exceeded, terminating
% 40.40/37.93 eprover: CPU time limit exceeded, terminating
% 42.52/39.94 eprover: CPU time limit exceeded, terminating
% 44.69/41.95 eprover: CPU time limit exceeded, terminating
% 46.85/43.96 eprover: CPU time limit exceeded, terminating
% 49.03/45.97 eprover: CPU time limit exceeded, terminating
% 51.18/47.98 eprover: CPU time limit exceeded, terminating
% 53.33/49.99 eprover: CPU time limit exceeded, terminating
% 55.47/52.00 eprover: CPU time limit exceeded, terminating
% 57.69/54.02 eprover: CPU time limit exceeded, terminating
% 59.84/56.03 eprover: CPU time limit exceeded, terminating
% 62.01/58.04 eprover: CPU time limit exceeded, terminating
% 64.17/60.05 eprover: CPU time limit exceeded, terminating
% 66.31/62.06 eprover: CPU time limit exceeded, terminating
% 68.49/64.07 eprover: CPU time limit exceeded, terminating
% 70.65/66.08 eprover: CPU time limit exceeded, terminating
% 72.78/68.09 eprover: CPU time limit exceeded, terminating
% 74.98/70.10 eprover: CPU time limit exceeded, terminating
% 77.09/72.11 eprover: CPU time limit exceeded, terminating
% 79.27/74.13 eprover: CPU time limit exceeded, terminating
% 81.38/76.14 eprover: CPU time limit exceeded, terminating
% 83.43/78.15 eprover: CPU time limit exceeded, terminating
% 85.61/80.16 eprover: CPU time limit exceeded, terminating
% 87.78/82.17 eprover: CPU time limit exceeded, terminating
% 89.91/84.18 eprover: CPU time limit exceeded, terminating
% 92.10/86.19 eprover: CPU time limit exceeded, terminating
% 94.26/88.20 eprover: CPU time limit exceeded, terminating
% 96.36/90.21 eprover: CPU time limit exceeded, terminating
% 98.61/92.22 eprover: CPU time limit exceeded, terminating
% 100.76/94.24 eprover: CPU time limit exceeded, terminating
% 102.92/96.25 eprover: CPU time limit exceeded, terminating
% 105.10/98.26 eprover: CPU time limit exceeded, terminating
% 107.24/100.27 eprover: CPU time limit exceeded, terminating
% 109.40/102.28 eprover: CPU time limit exceeded, terminating
% 111.59/104.29 eprover: CPU time limit exceeded, terminating
% 113.72/106.30 eprover: CPU time limit exceeded, terminating
% 115.91/108.31 eprover: CPU time limit exceeded, terminating
% 118.04/110.33 eprover: CPU time limit exceeded, terminating
% 120.17/112.34 eprover: CPU time limit exceeded, terminating
% 122.40/114.35 eprover: CPU time limit exceeded, terminating
% 124.55/116.36 eprover: CPU time limit exceeded, terminating
% 126.71/118.37 eprover: CPU time limit exceeded, terminating
% 128.84/120.38 eprover: CPU time limit exceeded, terminating
% 131.01/122.39 eprover: CPU time limit exceeded, terminating
% 133.19/124.40 eprover: CPU time limit exceeded, terminating
% 135.36/126.41 eprover: CPU time limit exceeded, terminating
% 137.50/128.42 eprover: CPU time limit exceeded, terminating
% 139.61/130.44 eprover: CPU time limit exceeded, terminating
% 141.79/132.45 eprover: CPU time limit exceeded, terminating
% 143.98/134.46 eprover: CPU time limit exceeded, terminating
% 146.13/136.47 eprover: CPU time limit exceeded, terminating
% 148.26/138.48 eprover: CPU time limit exceeded, terminating
% 150.41/140.49 eprover: CPU time limit exceeded, terminating
% 152.61/142.50 eprover: CPU time limit exceeded, terminating
% 154.76/144.51 eprover: CPU time limit exceeded, terminating
% 156.91/146.52 eprover: CPU time limit exceeded, terminating
% 159.06/148.53 eprover: CPU time limit exceeded, terminating
% 161.20/150.54 eprover: CPU time limit exceeded, terminating
% 163.36/152.55 eprover: CPU time limit exceeded, terminating
% 165.55/154.56 eprover: CPU time limit exceeded, terminating
% 167.70/156.58 eprover: CPU time limit exceeded, terminating
% 169.86/158.59 eprover: CPU time limit exceeded, terminating
% 172.00/160.60 eprover: CPU time limit exceeded, terminating
% 174.22/162.61 eprover: CPU time limit exceeded, terminating
% 176.30/164.62 eprover: CPU time limit exceeded, terminating
% 178.53/166.63 eprover: CPU time limit exceeded, terminating
% 180.64/168.65 eprover: CPU time limit exceeded, terminating
% 182.85/170.66 eprover: CPU time limit exceeded, terminating
% 184.97/172.67 eprover: CPU time limit exceeded, terminating
% 187.13/174.68 eprover: CPU time limit exceeded, terminating
% 189.29/176.69 eprover: CPU time limit exceeded, terminating
% 191.48/178.71 eprover: CPU time limit exceeded, terminating
% 193.59/180.72 eprover: CPU time limit exceeded, terminating
% 195.78/182.73 eprover: CPU time limit exceeded, terminating
% 197.98/184.74 eprover: CPU time limit exceeded, terminating
% 200.14/186.76 eprover: CPU time limit exceeded, terminating
% 202.26/188.77 eprover: CPU time limit exceeded, terminating
% 204.45/190.79 eprover: CPU time limit exceeded, terminating
% 206.58/192.80 eprover: CPU time limit exceeded, terminating
% 208.81/194.81 eprover: CPU time limit exceeded, terminating
% 210.95/196.82 eprover: CPU time limit exceeded, terminating
% 213.08/198.84 eprover: CPU time limit exceeded, terminating
% 215.25/200.85 eprover: CPU time limit exceeded, terminating
% 217.45/202.87 eprover: CPU time limit exceeded, terminating
% 219.58/204.88 eprover: CPU time limit exceeded, terminating
% 221.74/206.89 eprover: CPU time limit exceeded, terminating
% 223.88/208.90 eprover: CPU time limit exceeded, terminating
% 226.07/210.92 eprover: CPU time limit exceeded, terminating
% 228.23/212.93 eprover: CPU time limit exceeded, terminating
% 230.32/214.94 eprover: CPU time limit exceeded, terminating
% 232.41/216.96 eprover: CPU time limit exceeded, terminating
% 234.60/218.97 eprover: CPU time limit exceeded, terminating
% 236.75/220.98 eprover: CPU time limit exceeded, terminating
% 238.88/222.99 eprover: CPU time limit exceeded, terminating
% 241.06/225.01 eprover: CPU time limit exceeded, terminating
% 243.25/227.02 eprover: CPU time limit exceeded, terminating
% 245.37/229.03 eprover: CPU time limit exceeded, terminating
% 247.54/231.05 eprover: CPU time limit exceeded, terminating
% 249.71/233.06 eprover: CPU time limit exceeded, terminating
% 251.79/235.07 eprover: CPU time limit exceeded, terminating
% 253.85/237.09 eprover: CPU time limit exceeded, terminating
% 255.93/239.10 eprover: CPU time limit exceeded, terminating
% 258.11/241.11 eprover: CPU time limit exceeded, terminating
% 260.22/243.12 eprover: CPU time limit exceeded, terminating
% 262.38/245.14 eprover: CPU time limit exceeded, terminating
% 264.47/247.15 eprover: CPU time limit exceeded, terminating
% 266.65/249.16 eprover: CPU time limit exceeded, terminating
% 268.82/251.18 eprover: CPU time limit exceeded, terminating
% 270.97/253.19 eprover: CPU time limit exceeded, terminating
% 273.16/255.20 eprover: CPU time limit exceeded, terminating
% 275.34/257.22 eprover: CPU time limit exceeded, terminating
% 277.47/259.23 eprover: CPU time limit exceeded, terminating
% 279.65/261.24 eprover: CPU time limit exceeded, terminating
% 281.81/263.26 eprover: CPU time limit exceeded, terminating
% 283.99/265.27 eprover: CPU time limit exceeded, terminating
% 286.12/267.28 eprover: CPU time limit exceeded, terminating
% 288.28/269.30 eprover: CPU time limit exceeded, terminating
% 290.43/271.31 eprover: CPU time limit exceeded, terminating
% 292.61/273.32 eprover: CPU time limit exceeded, terminating
% 294.76/275.34 eprover: CPU time limit exceeded, terminating
% 296.85/277.35 eprover: CPU time limit exceeded, terminating
% 298.97/279.37 eprover: CPU time limit exceeded, terminating
% 300.01/280.35 eprover: CPU time limit exceeded, terminating
% 300.01/280.36 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------