TSTP Solution File: CSR115+66 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+66 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 287.43s 269.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.32 % Problem : CSR115+66 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.33 % Command : run_infinox %s
% 0.17/0.74 % Computer : n020.cluster.edu
% 0.17/0.74 % Model : x86_64 x86_64
% 0.17/0.74 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.17/0.74 % Memory : 8042.1875MB
% 0.17/0.74 % OS : Linux 3.10.0-693.el7.x86_64
% 0.17/0.74 % CPULimit : 300
% 0.17/0.74 % WCLimit : 600
% 0.17/0.74 % DateTime : Fri Jun 10 12:12:36 EDT 2022
% 0.17/0.75 % CPUTime :
% 3.72/4.16 eprover: CPU time limit exceeded, terminating
% 5.89/6.17 eprover: CPU time limit exceeded, terminating
% 8.00/8.18 eprover: CPU time limit exceeded, terminating
% 10.15/10.19 eprover: CPU time limit exceeded, terminating
% 12.34/12.20 eprover: CPU time limit exceeded, terminating
% 14.48/14.21 eprover: CPU time limit exceeded, terminating
% 16.57/16.22 eprover: CPU time limit exceeded, terminating
% 18.79/18.24 eprover: CPU time limit exceeded, terminating
% 20.96/20.25 eprover: CPU time limit exceeded, terminating
% 23.07/22.26 eprover: CPU time limit exceeded, terminating
% 25.28/24.27 eprover: CPU time limit exceeded, terminating
% 27.41/26.28 eprover: CPU time limit exceeded, terminating
% 29.57/28.29 eprover: CPU time limit exceeded, terminating
% 31.71/30.30 eprover: CPU time limit exceeded, terminating
% 33.92/32.32 eprover: CPU time limit exceeded, terminating
% 36.01/34.33 eprover: CPU time limit exceeded, terminating
% 38.12/36.34 eprover: CPU time limit exceeded, terminating
% 40.35/38.35 eprover: CPU time limit exceeded, terminating
% 42.53/40.36 eprover: CPU time limit exceeded, terminating
% 44.67/42.37 eprover: CPU time limit exceeded, terminating
% 46.83/44.38 eprover: CPU time limit exceeded, terminating
% 48.97/46.39 eprover: CPU time limit exceeded, terminating
% 51.13/48.40 eprover: CPU time limit exceeded, terminating
% 53.31/50.41 eprover: CPU time limit exceeded, terminating
% 55.41/52.42 eprover: CPU time limit exceeded, terminating
% 57.60/54.44 eprover: CPU time limit exceeded, terminating
% 59.70/56.45 eprover: CPU time limit exceeded, terminating
% 61.89/58.46 eprover: CPU time limit exceeded, terminating
% 64.04/60.47 eprover: CPU time limit exceeded, terminating
% 66.21/62.48 eprover: CPU time limit exceeded, terminating
% 68.37/64.49 eprover: CPU time limit exceeded, terminating
% 70.47/66.50 eprover: CPU time limit exceeded, terminating
% 72.63/68.51 eprover: CPU time limit exceeded, terminating
% 74.81/70.52 eprover: CPU time limit exceeded, terminating
% 76.97/72.53 eprover: CPU time limit exceeded, terminating
% 79.10/74.54 eprover: CPU time limit exceeded, terminating
% 81.13/76.55 eprover: CPU time limit exceeded, terminating
% 83.27/78.56 eprover: CPU time limit exceeded, terminating
% 85.42/80.57 eprover: CPU time limit exceeded, terminating
% 87.58/82.58 eprover: CPU time limit exceeded, terminating
% 89.73/84.59 eprover: CPU time limit exceeded, terminating
% 91.86/86.60 eprover: CPU time limit exceeded, terminating
% 93.98/88.61 eprover: CPU time limit exceeded, terminating
% 96.15/90.62 eprover: CPU time limit exceeded, terminating
% 98.29/92.63 eprover: CPU time limit exceeded, terminating
% 100.41/94.64 eprover: CPU time limit exceeded, terminating
% 102.65/96.65 eprover: CPU time limit exceeded, terminating
% 104.77/98.66 eprover: CPU time limit exceeded, terminating
% 106.92/100.67 eprover: CPU time limit exceeded, terminating
% 109.09/102.69 eprover: CPU time limit exceeded, terminating
% 111.26/104.70 eprover: CPU time limit exceeded, terminating
% 113.37/106.71 eprover: CPU time limit exceeded, terminating
% 115.54/108.72 eprover: CPU time limit exceeded, terminating
% 117.68/110.73 eprover: CPU time limit exceeded, terminating
% 119.88/112.74 eprover: CPU time limit exceeded, terminating
% 122.03/114.75 eprover: CPU time limit exceeded, terminating
% 124.17/116.76 eprover: CPU time limit exceeded, terminating
% 126.36/118.77 eprover: CPU time limit exceeded, terminating
% 128.49/120.78 eprover: CPU time limit exceeded, terminating
% 130.65/122.80 eprover: CPU time limit exceeded, terminating
% 132.79/124.81 eprover: CPU time limit exceeded, terminating
% 134.94/126.82 eprover: CPU time limit exceeded, terminating
% 137.08/128.83 eprover: CPU time limit exceeded, terminating
% 139.23/130.84 eprover: CPU time limit exceeded, terminating
% 141.40/132.85 eprover: CPU time limit exceeded, terminating
% 143.60/134.86 eprover: CPU time limit exceeded, terminating
% 145.71/136.87 eprover: CPU time limit exceeded, terminating
% 147.87/138.88 eprover: CPU time limit exceeded, terminating
% 150.00/140.89 eprover: CPU time limit exceeded, terminating
% 152.20/142.90 eprover: CPU time limit exceeded, terminating
% 154.33/144.91 eprover: CPU time limit exceeded, terminating
% 156.50/146.92 eprover: CPU time limit exceeded, terminating
% 158.60/148.94 eprover: CPU time limit exceeded, terminating
% 160.77/150.95 eprover: CPU time limit exceeded, terminating
% 162.98/152.96 eprover: CPU time limit exceeded, terminating
% 165.11/154.97 eprover: CPU time limit exceeded, terminating
% 167.27/156.98 eprover: CPU time limit exceeded, terminating
% 169.41/158.99 eprover: CPU time limit exceeded, terminating
% 171.54/161.00 eprover: CPU time limit exceeded, terminating
% 173.74/163.01 eprover: CPU time limit exceeded, terminating
% 175.84/165.02 eprover: CPU time limit exceeded, terminating
% 178.03/167.04 eprover: CPU time limit exceeded, terminating
% 180.12/169.05 eprover: CPU time limit exceeded, terminating
% 182.36/171.06 eprover: CPU time limit exceeded, terminating
% 184.51/173.07 eprover: CPU time limit exceeded, terminating
% 186.67/175.09 eprover: CPU time limit exceeded, terminating
% 188.84/177.10 eprover: CPU time limit exceeded, terminating
% 190.95/179.11 eprover: CPU time limit exceeded, terminating
% 193.16/181.12 eprover: CPU time limit exceeded, terminating
% 195.24/183.13 eprover: CPU time limit exceeded, terminating
% 197.44/185.15 eprover: CPU time limit exceeded, terminating
% 199.62/187.16 eprover: CPU time limit exceeded, terminating
% 201.77/189.17 eprover: CPU time limit exceeded, terminating
% 203.92/191.18 eprover: CPU time limit exceeded, terminating
% 206.08/193.19 eprover: CPU time limit exceeded, terminating
% 208.22/195.21 eprover: CPU time limit exceeded, terminating
% 210.34/197.22 eprover: CPU time limit exceeded, terminating
% 212.57/199.23 eprover: CPU time limit exceeded, terminating
% 214.63/201.25 eprover: CPU time limit exceeded, terminating
% 216.86/203.26 eprover: CPU time limit exceeded, terminating
% 219.02/205.27 eprover: CPU time limit exceeded, terminating
% 221.16/207.28 eprover: CPU time limit exceeded, terminating
% 223.32/209.29 eprover: CPU time limit exceeded, terminating
% 225.50/211.30 eprover: CPU time limit exceeded, terminating
% 227.62/213.32 eprover: CPU time limit exceeded, terminating
% 229.72/215.33 eprover: CPU time limit exceeded, terminating
% 231.74/217.34 eprover: CPU time limit exceeded, terminating
% 233.98/219.35 eprover: CPU time limit exceeded, terminating
% 236.11/221.36 eprover: CPU time limit exceeded, terminating
% 238.28/223.38 eprover: CPU time limit exceeded, terminating
% 240.41/225.39 eprover: CPU time limit exceeded, terminating
% 242.61/227.40 eprover: CPU time limit exceeded, terminating
% 244.72/229.41 eprover: CPU time limit exceeded, terminating
% 246.88/231.42 eprover: CPU time limit exceeded, terminating
% 249.03/233.44 eprover: CPU time limit exceeded, terminating
% 251.04/235.45 eprover: CPU time limit exceeded, terminating
% 253.19/237.46 eprover: CPU time limit exceeded, terminating
% 255.23/239.47 eprover: CPU time limit exceeded, terminating
% 257.39/241.48 eprover: CPU time limit exceeded, terminating
% 259.56/243.50 eprover: CPU time limit exceeded, terminating
% 261.68/245.51 eprover: CPU time limit exceeded, terminating
% 263.73/247.52 eprover: CPU time limit exceeded, terminating
% 265.92/249.53 eprover: CPU time limit exceeded, terminating
% 268.13/251.54 eprover: CPU time limit exceeded, terminating
% 270.29/253.56 eprover: CPU time limit exceeded, terminating
% 272.42/255.57 eprover: CPU time limit exceeded, terminating
% 274.57/257.58 eprover: CPU time limit exceeded, terminating
% 276.72/259.59 eprover: CPU time limit exceeded, terminating
% 278.86/261.60 eprover: CPU time limit exceeded, terminating
% 280.99/263.62 eprover: CPU time limit exceeded, terminating
% 283.18/265.63 eprover: CPU time limit exceeded, terminating
% 285.35/267.65 eprover: CPU time limit exceeded, terminating
% 287.43/269.66 eprover: CPU time limit exceeded, terminating
% 289.64/271.67 eprover: CPU time limit exceeded, terminating
% 291.76/273.68 eprover: CPU time limit exceeded, terminating
% 293.91/275.69 eprover: CPU time limit exceeded, terminating
% 296.02/277.71 eprover: CPU time limit exceeded, terminating
% 298.08/279.72 eprover: CPU time limit exceeded, terminating
% 300.09/281.65 eprover: CPU time limit exceeded, terminating
% 300.09/281.67 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------