TSTP Solution File: CSR116+21 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+21 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:40 EDT 2022
% Result : Timeout 287.80s 269.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR116+21 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 14:13:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.72/3.73 eprover: CPU time limit exceeded, terminating
% 5.90/5.74 eprover: CPU time limit exceeded, terminating
% 8.03/7.76 eprover: CPU time limit exceeded, terminating
% 10.18/9.77 eprover: CPU time limit exceeded, terminating
% 12.33/11.78 eprover: CPU time limit exceeded, terminating
% 14.51/13.79 eprover: CPU time limit exceeded, terminating
% 16.67/15.81 eprover: CPU time limit exceeded, terminating
% 18.78/17.82 eprover: CPU time limit exceeded, terminating
% 20.92/19.83 eprover: CPU time limit exceeded, terminating
% 23.08/21.84 eprover: CPU time limit exceeded, terminating
% 25.27/23.85 eprover: CPU time limit exceeded, terminating
% 27.46/25.86 eprover: CPU time limit exceeded, terminating
% 29.57/27.87 eprover: CPU time limit exceeded, terminating
% 31.74/29.88 eprover: CPU time limit exceeded, terminating
% 33.88/31.89 eprover: CPU time limit exceeded, terminating
% 36.06/33.90 eprover: CPU time limit exceeded, terminating
% 38.18/35.92 eprover: CPU time limit exceeded, terminating
% 40.35/37.93 eprover: CPU time limit exceeded, terminating
% 42.52/39.94 eprover: CPU time limit exceeded, terminating
% 44.65/41.95 eprover: CPU time limit exceeded, terminating
% 46.83/43.96 eprover: CPU time limit exceeded, terminating
% 48.98/45.97 eprover: CPU time limit exceeded, terminating
% 51.13/47.98 eprover: CPU time limit exceeded, terminating
% 53.34/49.99 eprover: CPU time limit exceeded, terminating
% 55.42/52.00 eprover: CPU time limit exceeded, terminating
% 57.62/54.02 eprover: CPU time limit exceeded, terminating
% 59.78/56.03 eprover: CPU time limit exceeded, terminating
% 61.95/58.04 eprover: CPU time limit exceeded, terminating
% 64.09/60.05 eprover: CPU time limit exceeded, terminating
% 66.15/62.06 eprover: CPU time limit exceeded, terminating
% 68.38/64.07 eprover: CPU time limit exceeded, terminating
% 70.49/66.09 eprover: CPU time limit exceeded, terminating
% 72.64/68.10 eprover: CPU time limit exceeded, terminating
% 74.81/70.11 eprover: CPU time limit exceeded, terminating
% 76.92/72.12 eprover: CPU time limit exceeded, terminating
% 79.12/74.13 eprover: CPU time limit exceeded, terminating
% 81.16/76.14 eprover: CPU time limit exceeded, terminating
% 83.19/78.15 eprover: CPU time limit exceeded, terminating
% 85.41/80.17 eprover: CPU time limit exceeded, terminating
% 87.60/82.18 eprover: CPU time limit exceeded, terminating
% 89.70/84.19 eprover: CPU time limit exceeded, terminating
% 91.93/86.21 eprover: CPU time limit exceeded, terminating
% 94.08/88.22 eprover: CPU time limit exceeded, terminating
% 96.24/90.23 eprover: CPU time limit exceeded, terminating
% 98.39/92.24 eprover: CPU time limit exceeded, terminating
% 100.55/94.26 eprover: CPU time limit exceeded, terminating
% 102.71/96.27 eprover: CPU time limit exceeded, terminating
% 104.81/98.28 eprover: CPU time limit exceeded, terminating
% 107.00/100.29 eprover: CPU time limit exceeded, terminating
% 109.12/102.31 eprover: CPU time limit exceeded, terminating
% 111.31/104.32 eprover: CPU time limit exceeded, terminating
% 113.47/106.33 eprover: CPU time limit exceeded, terminating
% 115.60/108.34 eprover: CPU time limit exceeded, terminating
% 117.76/110.35 eprover: CPU time limit exceeded, terminating
% 119.91/112.36 eprover: CPU time limit exceeded, terminating
% 122.10/114.38 eprover: CPU time limit exceeded, terminating
% 124.28/116.39 eprover: CPU time limit exceeded, terminating
% 126.40/118.40 eprover: CPU time limit exceeded, terminating
% 128.54/120.41 eprover: CPU time limit exceeded, terminating
% 130.76/122.42 eprover: CPU time limit exceeded, terminating
% 132.87/124.43 eprover: CPU time limit exceeded, terminating
% 135.07/126.44 eprover: CPU time limit exceeded, terminating
% 137.14/128.46 eprover: CPU time limit exceeded, terminating
% 139.35/130.47 eprover: CPU time limit exceeded, terminating
% 141.51/132.48 eprover: CPU time limit exceeded, terminating
% 143.67/134.49 eprover: CPU time limit exceeded, terminating
% 145.84/136.50 eprover: CPU time limit exceeded, terminating
% 148.04/138.52 eprover: CPU time limit exceeded, terminating
% 150.14/140.53 eprover: CPU time limit exceeded, terminating
% 152.30/142.54 eprover: CPU time limit exceeded, terminating
% 154.42/144.55 eprover: CPU time limit exceeded, terminating
% 156.64/146.56 eprover: CPU time limit exceeded, terminating
% 158.78/148.57 eprover: CPU time limit exceeded, terminating
% 160.92/150.59 eprover: CPU time limit exceeded, terminating
% 163.15/152.60 eprover: CPU time limit exceeded, terminating
% 165.29/154.61 eprover: CPU time limit exceeded, terminating
% 167.44/156.62 eprover: CPU time limit exceeded, terminating
% 169.59/158.63 eprover: CPU time limit exceeded, terminating
% 171.70/160.65 eprover: CPU time limit exceeded, terminating
% 173.90/162.66 eprover: CPU time limit exceeded, terminating
% 176.09/164.67 eprover: CPU time limit exceeded, terminating
% 178.24/166.68 eprover: CPU time limit exceeded, terminating
% 180.40/168.70 eprover: CPU time limit exceeded, terminating
% 182.52/170.71 eprover: CPU time limit exceeded, terminating
% 184.73/172.72 eprover: CPU time limit exceeded, terminating
% 186.81/174.73 eprover: CPU time limit exceeded, terminating
% 189.03/176.74 eprover: CPU time limit exceeded, terminating
% 191.19/178.75 eprover: CPU time limit exceeded, terminating
% 193.38/180.77 eprover: CPU time limit exceeded, terminating
% 195.53/182.78 eprover: CPU time limit exceeded, terminating
% 197.66/184.79 eprover: CPU time limit exceeded, terminating
% 199.82/186.80 eprover: CPU time limit exceeded, terminating
% 201.94/188.81 eprover: CPU time limit exceeded, terminating
% 204.14/190.83 eprover: CPU time limit exceeded, terminating
% 206.31/192.84 eprover: CPU time limit exceeded, terminating
% 208.42/194.85 eprover: CPU time limit exceeded, terminating
% 210.58/196.86 eprover: CPU time limit exceeded, terminating
% 212.75/198.87 eprover: CPU time limit exceeded, terminating
% 214.93/200.88 eprover: CPU time limit exceeded, terminating
% 217.10/202.90 eprover: CPU time limit exceeded, terminating
% 219.27/204.91 eprover: CPU time limit exceeded, terminating
% 221.40/206.92 eprover: CPU time limit exceeded, terminating
% 223.58/208.93 eprover: CPU time limit exceeded, terminating
% 225.72/210.95 eprover: CPU time limit exceeded, terminating
% 227.91/212.96 eprover: CPU time limit exceeded, terminating
% 229.98/214.97 eprover: CPU time limit exceeded, terminating
% 232.01/216.98 eprover: CPU time limit exceeded, terminating
% 234.22/218.99 eprover: CPU time limit exceeded, terminating
% 236.31/221.01 eprover: CPU time limit exceeded, terminating
% 238.49/223.02 eprover: CPU time limit exceeded, terminating
% 240.70/225.03 eprover: CPU time limit exceeded, terminating
% 242.83/227.04 eprover: CPU time limit exceeded, terminating
% 245.01/229.06 eprover: CPU time limit exceeded, terminating
% 247.09/231.07 eprover: CPU time limit exceeded, terminating
% 249.33/233.08 eprover: CPU time limit exceeded, terminating
% 251.35/235.09 eprover: CPU time limit exceeded, terminating
% 253.42/237.10 eprover: CPU time limit exceeded, terminating
% 255.54/239.12 eprover: CPU time limit exceeded, terminating
% 257.64/241.13 eprover: CPU time limit exceeded, terminating
% 259.86/243.14 eprover: CPU time limit exceeded, terminating
% 261.94/245.15 eprover: CPU time limit exceeded, terminating
% 264.06/247.16 eprover: CPU time limit exceeded, terminating
% 266.22/249.18 eprover: CPU time limit exceeded, terminating
% 268.38/251.19 eprover: CPU time limit exceeded, terminating
% 270.58/253.20 eprover: CPU time limit exceeded, terminating
% 272.69/255.21 eprover: CPU time limit exceeded, terminating
% 274.79/257.23 eprover: CPU time limit exceeded, terminating
% 277.02/259.24 eprover: CPU time limit exceeded, terminating
% 279.11/261.25 eprover: CPU time limit exceeded, terminating
% 281.29/263.26 eprover: CPU time limit exceeded, terminating
% 283.50/265.27 eprover: CPU time limit exceeded, terminating
% 285.58/267.29 eprover: CPU time limit exceeded, terminating
% 287.80/269.30 eprover: CPU time limit exceeded, terminating
% 289.95/271.31 eprover: CPU time limit exceeded, terminating
% 292.11/273.33 eprover: CPU time limit exceeded, terminating
% 294.16/275.34 eprover: CPU time limit exceeded, terminating
% 296.31/277.35 eprover: CPU time limit exceeded, terminating
% 298.39/279.36 eprover: CPU time limit exceeded, terminating
% 300.05/280.94 eprover: CPU time limit exceeded, terminating
% 300.05/280.95 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------