TSTP Solution File: CSR053+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR053+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:36 EDT 2022
% Result : Timeout 287.53s 214.81s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : CSR053+4 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n018.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 : Fri Jun 10 08:36:54 EDT 2022
% 0.14/0.35 % CPUTime :
% 15.11/14.79 eprover: CPU time limit exceeded, terminating
% 17.90/16.81 eprover: CPU time limit exceeded, terminating
% 20.65/18.83 eprover: CPU time limit exceeded, terminating
% 23.46/20.86 eprover: CPU time limit exceeded, terminating
% 26.25/22.88 eprover: CPU time limit exceeded, terminating
% 29.06/24.90 eprover: CPU time limit exceeded, terminating
% 31.73/26.92 eprover: CPU time limit exceeded, terminating
% 34.57/28.94 eprover: CPU time limit exceeded, terminating
% 37.36/30.97 eprover: CPU time limit exceeded, terminating
% 40.24/32.99 eprover: CPU time limit exceeded, terminating
% 43.00/35.01 eprover: CPU time limit exceeded, terminating
% 45.78/37.03 eprover: CPU time limit exceeded, terminating
% 48.57/39.06 eprover: CPU time limit exceeded, terminating
% 51.33/41.08 eprover: CPU time limit exceeded, terminating
% 54.15/43.10 eprover: CPU time limit exceeded, terminating
% 56.96/45.12 eprover: CPU time limit exceeded, terminating
% 59.66/47.14 eprover: CPU time limit exceeded, terminating
% 62.45/49.16 eprover: CPU time limit exceeded, terminating
% 65.24/51.18 eprover: CPU time limit exceeded, terminating
% 67.97/53.20 eprover: CPU time limit exceeded, terminating
% 70.72/55.22 eprover: CPU time limit exceeded, terminating
% 73.47/57.24 eprover: CPU time limit exceeded, terminating
% 76.24/59.26 eprover: CPU time limit exceeded, terminating
% 78.95/61.28 eprover: CPU time limit exceeded, terminating
% 81.68/63.30 eprover: CPU time limit exceeded, terminating
% 84.50/65.32 eprover: CPU time limit exceeded, terminating
% 87.24/67.34 eprover: CPU time limit exceeded, terminating
% 89.97/69.35 eprover: CPU time limit exceeded, terminating
% 92.73/71.38 eprover: CPU time limit exceeded, terminating
% 95.47/73.40 eprover: CPU time limit exceeded, terminating
% 98.23/75.42 eprover: CPU time limit exceeded, terminating
% 100.96/77.43 eprover: CPU time limit exceeded, terminating
% 103.74/79.45 eprover: CPU time limit exceeded, terminating
% 106.55/81.47 eprover: CPU time limit exceeded, terminating
% 109.23/83.49 eprover: CPU time limit exceeded, terminating
% 112.05/85.51 eprover: CPU time limit exceeded, terminating
% 114.78/87.53 eprover: CPU time limit exceeded, terminating
% 117.49/89.55 eprover: CPU time limit exceeded, terminating
% 120.28/91.57 eprover: CPU time limit exceeded, terminating
% 122.97/93.59 eprover: CPU time limit exceeded, terminating
% 125.70/95.61 eprover: CPU time limit exceeded, terminating
% 128.47/97.63 eprover: CPU time limit exceeded, terminating
% 131.29/99.66 eprover: CPU time limit exceeded, terminating
% 133.96/101.68 eprover: CPU time limit exceeded, terminating
% 136.77/103.70 eprover: CPU time limit exceeded, terminating
% 139.47/105.72 eprover: CPU time limit exceeded, terminating
% 142.22/107.74 eprover: CPU time limit exceeded, terminating
% 144.96/109.76 eprover: CPU time limit exceeded, terminating
% 147.66/111.78 eprover: CPU time limit exceeded, terminating
% 150.49/113.80 eprover: CPU time limit exceeded, terminating
% 153.24/115.82 eprover: CPU time limit exceeded, terminating
% 155.92/117.85 eprover: CPU time limit exceeded, terminating
% 158.74/119.87 eprover: CPU time limit exceeded, terminating
% 161.51/121.89 eprover: CPU time limit exceeded, terminating
% 164.20/123.91 eprover: CPU time limit exceeded, terminating
% 166.93/125.93 eprover: CPU time limit exceeded, terminating
% 169.68/127.96 eprover: CPU time limit exceeded, terminating
% 172.41/129.98 eprover: CPU time limit exceeded, terminating
% 175.10/132.00 eprover: CPU time limit exceeded, terminating
% 177.88/134.01 eprover: CPU time limit exceeded, terminating
% 180.64/136.03 eprover: CPU time limit exceeded, terminating
% 183.37/138.05 eprover: CPU time limit exceeded, terminating
% 186.09/140.08 eprover: CPU time limit exceeded, terminating
% 188.82/142.10 eprover: CPU time limit exceeded, terminating
% 191.48/144.12 eprover: CPU time limit exceeded, terminating
% 194.29/146.14 eprover: CPU time limit exceeded, terminating
% 197.01/148.16 eprover: CPU time limit exceeded, terminating
% 199.74/150.18 eprover: CPU time limit exceeded, terminating
% 202.48/152.20 eprover: CPU time limit exceeded, terminating
% 205.21/154.22 eprover: CPU time limit exceeded, terminating
% 207.92/156.24 eprover: CPU time limit exceeded, terminating
% 210.67/158.26 eprover: CPU time limit exceeded, terminating
% 213.45/160.28 eprover: CPU time limit exceeded, terminating
% 216.18/162.30 eprover: CPU time limit exceeded, terminating
% 218.88/164.32 eprover: CPU time limit exceeded, terminating
% 221.62/166.34 eprover: CPU time limit exceeded, terminating
% 224.44/168.36 eprover: CPU time limit exceeded, terminating
% 227.16/170.38 eprover: CPU time limit exceeded, terminating
% 229.91/172.39 eprover: CPU time limit exceeded, terminating
% 232.67/174.41 eprover: CPU time limit exceeded, terminating
% 235.37/176.43 eprover: CPU time limit exceeded, terminating
% 238.12/178.45 eprover: CPU time limit exceeded, terminating
% 240.83/180.47 eprover: CPU time limit exceeded, terminating
% 243.57/182.49 eprover: CPU time limit exceeded, terminating
% 246.29/184.51 eprover: CPU time limit exceeded, terminating
% 249.03/186.53 eprover: CPU time limit exceeded, terminating
% 251.78/188.55 eprover: CPU time limit exceeded, terminating
% 254.52/190.58 eprover: CPU time limit exceeded, terminating
% 257.23/192.60 eprover: CPU time limit exceeded, terminating
% 260.03/194.62 eprover: CPU time limit exceeded, terminating
% 262.83/196.64 eprover: CPU time limit exceeded, terminating
% 265.55/198.66 eprover: CPU time limit exceeded, terminating
% 268.32/200.68 eprover: CPU time limit exceeded, terminating
% 271.07/202.70 eprover: CPU time limit exceeded, terminating
% 273.82/204.72 eprover: CPU time limit exceeded, terminating
% 276.56/206.74 eprover: CPU time limit exceeded, terminating
% 279.23/208.76 eprover: CPU time limit exceeded, terminating
% 282.04/210.78 eprover: CPU time limit exceeded, terminating
% 284.78/212.79 eprover: CPU time limit exceeded, terminating
% 287.53/214.81 eprover: CPU time limit exceeded, terminating
% 290.28/216.83 eprover: CPU time limit exceeded, terminating
% 292.97/218.85 eprover: CPU time limit exceeded, terminating
% 295.67/220.87 eprover: CPU time limit exceeded, terminating
% 298.54/222.90 eprover: CPU time limit exceeded, terminating
% 300.13/224.01 eprover: CPU time limit exceeded, terminating
% 300.13/224.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------