TSTP Solution File: CSR115+26 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+26 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:29 EDT 2022
% Result : Timeout 285.98s 267.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR115+26 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n019.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 04:31:40 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.78/3.82 eprover: CPU time limit exceeded, terminating
% 5.89/5.83 eprover: CPU time limit exceeded, terminating
% 8.09/7.84 eprover: CPU time limit exceeded, terminating
% 10.21/9.85 eprover: CPU time limit exceeded, terminating
% 12.39/11.86 eprover: CPU time limit exceeded, terminating
% 14.55/13.88 eprover: CPU time limit exceeded, terminating
% 16.71/15.89 eprover: CPU time limit exceeded, terminating
% 18.91/17.90 eprover: CPU time limit exceeded, terminating
% 21.10/19.92 eprover: CPU time limit exceeded, terminating
% 23.17/21.96 eprover: CPU time limit exceeded, terminating
% 25.38/23.97 eprover: CPU time limit exceeded, terminating
% 27.59/25.98 eprover: CPU time limit exceeded, terminating
% 29.76/27.99 eprover: CPU time limit exceeded, terminating
% 31.92/30.01 eprover: CPU time limit exceeded, terminating
% 34.07/32.02 eprover: CPU time limit exceeded, terminating
% 36.24/34.03 eprover: CPU time limit exceeded, terminating
% 38.36/36.04 eprover: CPU time limit exceeded, terminating
% 40.55/38.05 eprover: CPU time limit exceeded, terminating
% 42.70/40.07 eprover: CPU time limit exceeded, terminating
% 44.83/42.08 eprover: CPU time limit exceeded, terminating
% 47.02/44.09 eprover: CPU time limit exceeded, terminating
% 49.20/46.10 eprover: CPU time limit exceeded, terminating
% 51.33/48.11 eprover: CPU time limit exceeded, terminating
% 53.46/50.12 eprover: CPU time limit exceeded, terminating
% 55.66/52.13 eprover: CPU time limit exceeded, terminating
% 57.79/54.15 eprover: CPU time limit exceeded, terminating
% 59.96/56.16 eprover: CPU time limit exceeded, terminating
% 62.17/58.17 eprover: CPU time limit exceeded, terminating
% 64.26/60.18 eprover: CPU time limit exceeded, terminating
% 66.45/62.19 eprover: CPU time limit exceeded, terminating
% 68.65/64.20 eprover: CPU time limit exceeded, terminating
% 70.83/66.22 eprover: CPU time limit exceeded, terminating
% 72.95/68.23 eprover: CPU time limit exceeded, terminating
% 75.15/70.24 eprover: CPU time limit exceeded, terminating
% 77.27/72.25 eprover: CPU time limit exceeded, terminating
% 79.45/74.27 eprover: CPU time limit exceeded, terminating
% 81.56/76.28 eprover: CPU time limit exceeded, terminating
% 83.59/78.29 eprover: CPU time limit exceeded, terminating
% 85.81/80.31 eprover: CPU time limit exceeded, terminating
% 87.90/82.32 eprover: CPU time limit exceeded, terminating
% 90.10/84.33 eprover: CPU time limit exceeded, terminating
% 92.28/86.34 eprover: CPU time limit exceeded, terminating
% 94.43/88.36 eprover: CPU time limit exceeded, terminating
% 96.59/90.37 eprover: CPU time limit exceeded, terminating
% 98.66/92.38 eprover: CPU time limit exceeded, terminating
% 100.92/94.39 eprover: CPU time limit exceeded, terminating
% 103.06/96.41 eprover: CPU time limit exceeded, terminating
% 105.23/98.42 eprover: CPU time limit exceeded, terminating
% 107.40/100.43 eprover: CPU time limit exceeded, terminating
% 109.53/102.44 eprover: CPU time limit exceeded, terminating
% 111.71/104.46 eprover: CPU time limit exceeded, terminating
% 113.84/106.47 eprover: CPU time limit exceeded, terminating
% 116.00/108.48 eprover: CPU time limit exceeded, terminating
% 118.19/110.49 eprover: CPU time limit exceeded, terminating
% 120.36/112.51 eprover: CPU time limit exceeded, terminating
% 122.52/114.52 eprover: CPU time limit exceeded, terminating
% 124.68/116.53 eprover: CPU time limit exceeded, terminating
% 126.86/118.55 eprover: CPU time limit exceeded, terminating
% 129.00/120.56 eprover: CPU time limit exceeded, terminating
% 131.16/122.58 eprover: CPU time limit exceeded, terminating
% 133.30/124.59 eprover: CPU time limit exceeded, terminating
% 135.48/126.60 eprover: CPU time limit exceeded, terminating
% 137.59/128.62 eprover: CPU time limit exceeded, terminating
% 139.80/130.63 eprover: CPU time limit exceeded, terminating
% 141.93/132.64 eprover: CPU time limit exceeded, terminating
% 144.08/134.66 eprover: CPU time limit exceeded, terminating
% 146.15/136.67 eprover: CPU time limit exceeded, terminating
% 148.38/138.68 eprover: CPU time limit exceeded, terminating
% 150.54/140.70 eprover: CPU time limit exceeded, terminating
% 152.65/142.71 eprover: CPU time limit exceeded, terminating
% 154.83/144.72 eprover: CPU time limit exceeded, terminating
% 156.99/146.73 eprover: CPU time limit exceeded, terminating
% 159.16/148.74 eprover: CPU time limit exceeded, terminating
% 161.28/150.76 eprover: CPU time limit exceeded, terminating
% 163.48/152.77 eprover: CPU time limit exceeded, terminating
% 165.56/154.78 eprover: CPU time limit exceeded, terminating
% 167.75/156.79 eprover: CPU time limit exceeded, terminating
% 169.93/158.80 eprover: CPU time limit exceeded, terminating
% 172.09/160.82 eprover: CPU time limit exceeded, terminating
% 174.20/162.83 eprover: CPU time limit exceeded, terminating
% 176.38/164.84 eprover: CPU time limit exceeded, terminating
% 178.51/166.85 eprover: CPU time limit exceeded, terminating
% 180.69/168.87 eprover: CPU time limit exceeded, terminating
% 182.86/170.88 eprover: CPU time limit exceeded, terminating
% 184.98/172.89 eprover: CPU time limit exceeded, terminating
% 187.16/174.90 eprover: CPU time limit exceeded, terminating
% 189.33/176.92 eprover: CPU time limit exceeded, terminating
% 191.44/178.93 eprover: CPU time limit exceeded, terminating
% 193.63/180.95 eprover: CPU time limit exceeded, terminating
% 195.78/182.96 eprover: CPU time limit exceeded, terminating
% 197.91/184.97 eprover: CPU time limit exceeded, terminating
% 200.11/186.98 eprover: CPU time limit exceeded, terminating
% 202.20/189.00 eprover: CPU time limit exceeded, terminating
% 204.38/191.01 eprover: CPU time limit exceeded, terminating
% 206.61/193.02 eprover: CPU time limit exceeded, terminating
% 208.68/195.04 eprover: CPU time limit exceeded, terminating
% 210.86/197.05 eprover: CPU time limit exceeded, terminating
% 213.06/199.06 eprover: CPU time limit exceeded, terminating
% 215.24/201.07 eprover: CPU time limit exceeded, terminating
% 217.35/203.09 eprover: CPU time limit exceeded, terminating
% 219.58/205.10 eprover: CPU time limit exceeded, terminating
% 221.66/207.11 eprover: CPU time limit exceeded, terminating
% 223.90/209.13 eprover: CPU time limit exceeded, terminating
% 226.05/211.14 eprover: CPU time limit exceeded, terminating
% 228.16/213.15 eprover: CPU time limit exceeded, terminating
% 230.24/215.17 eprover: CPU time limit exceeded, terminating
% 232.36/217.18 eprover: CPU time limit exceeded, terminating
% 234.48/219.19 eprover: CPU time limit exceeded, terminating
% 236.69/221.21 eprover: CPU time limit exceeded, terminating
% 238.85/223.22 eprover: CPU time limit exceeded, terminating
% 240.98/225.23 eprover: CPU time limit exceeded, terminating
% 243.16/227.24 eprover: CPU time limit exceeded, terminating
% 245.32/229.25 eprover: CPU time limit exceeded, terminating
% 247.51/231.27 eprover: CPU time limit exceeded, terminating
% 249.61/233.28 eprover: CPU time limit exceeded, terminating
% 251.68/235.30 eprover: CPU time limit exceeded, terminating
% 253.79/237.31 eprover: CPU time limit exceeded, terminating
% 255.84/239.33 eprover: CPU time limit exceeded, terminating
% 258.06/241.34 eprover: CPU time limit exceeded, terminating
% 260.16/243.36 eprover: CPU time limit exceeded, terminating
% 262.35/245.38 eprover: CPU time limit exceeded, terminating
% 264.47/247.39 eprover: CPU time limit exceeded, terminating
% 266.58/249.41 eprover: CPU time limit exceeded, terminating
% 268.79/251.42 eprover: CPU time limit exceeded, terminating
% 270.95/253.43 eprover: CPU time limit exceeded, terminating
% 273.04/255.45 eprover: CPU time limit exceeded, terminating
% 275.24/257.46 eprover: CPU time limit exceeded, terminating
% 277.41/259.47 eprover: CPU time limit exceeded, terminating
% 279.53/261.49 eprover: CPU time limit exceeded, terminating
% 281.71/263.50 eprover: CPU time limit exceeded, terminating
% 283.85/265.51 eprover: CPU time limit exceeded, terminating
% 285.98/267.53 eprover: CPU time limit exceeded, terminating
% 288.19/269.54 eprover: CPU time limit exceeded, terminating
% 290.32/271.55 eprover: CPU time limit exceeded, terminating
% 292.52/273.57 eprover: CPU time limit exceeded, terminating
% 294.68/275.58 eprover: CPU time limit exceeded, terminating
% 296.72/277.59 eprover: CPU time limit exceeded, terminating
% 298.80/279.60 eprover: CPU time limit exceeded, terminating
% 300.05/280.76 eprover: CPU time limit exceeded, terminating
% 300.05/280.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------