TSTP Solution File: CSR048+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR048+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:34:32 EDT 2022
% Result : Timeout 287.19s 215.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR048+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n009.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Sat Jun 11 06:09:23 EDT 2022
% 0.14/0.35 % CPUTime :
% 14.91/14.57 eprover: CPU time limit exceeded, terminating
% 17.58/16.59 eprover: CPU time limit exceeded, terminating
% 20.29/18.61 eprover: CPU time limit exceeded, terminating
% 23.12/20.63 eprover: CPU time limit exceeded, terminating
% 25.82/22.66 eprover: CPU time limit exceeded, terminating
% 28.61/24.68 eprover: CPU time limit exceeded, terminating
% 31.34/26.70 eprover: CPU time limit exceeded, terminating
% 34.10/28.72 eprover: CPU time limit exceeded, terminating
% 36.91/30.75 eprover: CPU time limit exceeded, terminating
% 39.72/32.78 eprover: CPU time limit exceeded, terminating
% 42.48/34.80 eprover: CPU time limit exceeded, terminating
% 45.20/36.83 eprover: CPU time limit exceeded, terminating
% 47.98/38.85 eprover: CPU time limit exceeded, terminating
% 50.81/40.88 eprover: CPU time limit exceeded, terminating
% 53.56/42.90 eprover: CPU time limit exceeded, terminating
% 56.37/44.93 eprover: CPU time limit exceeded, terminating
% 59.08/46.95 eprover: CPU time limit exceeded, terminating
% 61.87/48.98 eprover: CPU time limit exceeded, terminating
% 64.61/51.00 eprover: CPU time limit exceeded, terminating
% 67.30/53.03 eprover: CPU time limit exceeded, terminating
% 70.09/55.05 eprover: CPU time limit exceeded, terminating
% 72.87/57.07 eprover: CPU time limit exceeded, terminating
% 75.63/59.10 eprover: CPU time limit exceeded, terminating
% 78.42/61.12 eprover: CPU time limit exceeded, terminating
% 81.13/63.15 eprover: CPU time limit exceeded, terminating
% 83.95/65.17 eprover: CPU time limit exceeded, terminating
% 86.67/67.20 eprover: CPU time limit exceeded, terminating
% 89.37/69.23 eprover: CPU time limit exceeded, terminating
% 92.22/71.25 eprover: CPU time limit exceeded, terminating
% 94.92/73.27 eprover: CPU time limit exceeded, terminating
% 97.69/75.30 eprover: CPU time limit exceeded, terminating
% 100.43/77.32 eprover: CPU time limit exceeded, terminating
% 103.18/79.34 eprover: CPU time limit exceeded, terminating
% 105.94/81.37 eprover: CPU time limit exceeded, terminating
% 108.70/83.39 eprover: CPU time limit exceeded, terminating
% 111.36/85.42 eprover: CPU time limit exceeded, terminating
% 114.20/87.44 eprover: CPU time limit exceeded, terminating
% 116.97/89.47 eprover: CPU time limit exceeded, terminating
% 119.70/91.50 eprover: CPU time limit exceeded, terminating
% 122.43/93.52 eprover: CPU time limit exceeded, terminating
% 125.22/95.55 eprover: CPU time limit exceeded, terminating
% 127.94/97.58 eprover: CPU time limit exceeded, terminating
% 130.76/99.60 eprover: CPU time limit exceeded, terminating
% 133.52/101.63 eprover: CPU time limit exceeded, terminating
% 136.27/103.65 eprover: CPU time limit exceeded, terminating
% 139.06/105.68 eprover: CPU time limit exceeded, terminating
% 141.76/107.70 eprover: CPU time limit exceeded, terminating
% 144.53/109.73 eprover: CPU time limit exceeded, terminating
% 147.22/111.75 eprover: CPU time limit exceeded, terminating
% 149.99/113.78 eprover: CPU time limit exceeded, terminating
% 152.80/115.80 eprover: CPU time limit exceeded, terminating
% 155.48/117.83 eprover: CPU time limit exceeded, terminating
% 158.24/119.85 eprover: CPU time limit exceeded, terminating
% 161.00/121.88 eprover: CPU time limit exceeded, terminating
% 163.67/123.90 eprover: CPU time limit exceeded, terminating
% 166.45/125.93 eprover: CPU time limit exceeded, terminating
% 169.17/127.95 eprover: CPU time limit exceeded, terminating
% 171.89/129.98 eprover: CPU time limit exceeded, terminating
% 174.58/132.01 eprover: CPU time limit exceeded, terminating
% 177.36/134.03 eprover: CPU time limit exceeded, terminating
% 180.17/136.06 eprover: CPU time limit exceeded, terminating
% 182.94/138.08 eprover: CPU time limit exceeded, terminating
% 185.64/140.11 eprover: CPU time limit exceeded, terminating
% 188.42/142.13 eprover: CPU time limit exceeded, terminating
% 191.15/144.16 eprover: CPU time limit exceeded, terminating
% 193.87/146.18 eprover: CPU time limit exceeded, terminating
% 196.59/148.21 eprover: CPU time limit exceeded, terminating
% 199.30/150.23 eprover: CPU time limit exceeded, terminating
% 202.05/152.25 eprover: CPU time limit exceeded, terminating
% 204.82/154.28 eprover: CPU time limit exceeded, terminating
% 207.54/156.30 eprover: CPU time limit exceeded, terminating
% 210.36/158.33 eprover: CPU time limit exceeded, terminating
% 213.10/160.35 eprover: CPU time limit exceeded, terminating
% 215.83/162.38 eprover: CPU time limit exceeded, terminating
% 218.60/164.41 eprover: CPU time limit exceeded, terminating
% 221.30/166.43 eprover: CPU time limit exceeded, terminating
% 224.05/168.46 eprover: CPU time limit exceeded, terminating
% 226.73/170.48 eprover: CPU time limit exceeded, terminating
% 229.51/172.51 eprover: CPU time limit exceeded, terminating
% 232.22/174.53 eprover: CPU time limit exceeded, terminating
% 234.93/176.56 eprover: CPU time limit exceeded, terminating
% 237.76/178.59 eprover: CPU time limit exceeded, terminating
% 240.52/180.61 eprover: CPU time limit exceeded, terminating
% 243.19/182.63 eprover: CPU time limit exceeded, terminating
% 246.00/184.66 eprover: CPU time limit exceeded, terminating
% 248.67/186.69 eprover: CPU time limit exceeded, terminating
% 251.49/188.71 eprover: CPU time limit exceeded, terminating
% 254.21/190.74 eprover: CPU time limit exceeded, terminating
% 257.00/192.76 eprover: CPU time limit exceeded, terminating
% 259.76/194.79 eprover: CPU time limit exceeded, terminating
% 262.56/196.82 eprover: CPU time limit exceeded, terminating
% 265.24/198.84 eprover: CPU time limit exceeded, terminating
% 268.04/200.86 eprover: CPU time limit exceeded, terminating
% 270.78/202.89 eprover: CPU time limit exceeded, terminating
% 273.52/204.91 eprover: CPU time limit exceeded, terminating
% 276.25/206.94 eprover: CPU time limit exceeded, terminating
% 278.95/208.96 eprover: CPU time limit exceeded, terminating
% 281.72/210.99 eprover: CPU time limit exceeded, terminating
% 284.41/213.01 eprover: CPU time limit exceeded, terminating
% 287.19/215.04 eprover: CPU time limit exceeded, terminating
% 289.89/217.07 eprover: CPU time limit exceeded, terminating
% 292.61/219.09 eprover: CPU time limit exceeded, terminating
% 295.36/221.12 eprover: CPU time limit exceeded, terminating
% 298.10/223.14 eprover: CPU time limit exceeded, terminating
% 300.14/224.48 eprover: CPU time limit exceeded, terminating
% 300.14/224.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------