TSTP Solution File: CSR058+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR058+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:40 EDT 2022
% Result : Timeout 287.37s 213.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : CSR058+4 : TPTP v8.1.0. Released v3.4.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n024.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 11 02:12:04 EDT 2022
% 0.14/0.36 % CPUTime :
% 15.35/15.00 eprover: CPU time limit exceeded, terminating
% 18.12/17.02 eprover: CPU time limit exceeded, terminating
% 20.87/19.05 eprover: CPU time limit exceeded, terminating
% 23.67/21.07 eprover: CPU time limit exceeded, terminating
% 26.50/23.09 eprover: CPU time limit exceeded, terminating
% 29.30/25.12 eprover: CPU time limit exceeded, terminating
% 32.01/27.14 eprover: CPU time limit exceeded, terminating
% 34.84/29.16 eprover: CPU time limit exceeded, terminating
% 37.68/31.19 eprover: CPU time limit exceeded, terminating
% 40.48/33.21 eprover: CPU time limit exceeded, terminating
% 43.27/35.23 eprover: CPU time limit exceeded, terminating
% 46.05/37.25 eprover: CPU time limit exceeded, terminating
% 48.82/39.28 eprover: CPU time limit exceeded, terminating
% 51.58/41.30 eprover: CPU time limit exceeded, terminating
% 54.47/43.32 eprover: CPU time limit exceeded, terminating
% 57.29/45.35 eprover: CPU time limit exceeded, terminating
% 59.98/47.37 eprover: CPU time limit exceeded, terminating
% 62.79/49.39 eprover: CPU time limit exceeded, terminating
% 65.53/51.42 eprover: CPU time limit exceeded, terminating
% 68.31/53.44 eprover: CPU time limit exceeded, terminating
% 71.01/55.47 eprover: CPU time limit exceeded, terminating
% 73.92/57.49 eprover: CPU time limit exceeded, terminating
% 76.66/59.51 eprover: CPU time limit exceeded, terminating
% 79.41/61.53 eprover: CPU time limit exceeded, terminating
% 82.20/63.56 eprover: CPU time limit exceeded, terminating
% 84.96/65.58 eprover: CPU time limit exceeded, terminating
% 87.79/67.60 eprover: CPU time limit exceeded, terminating
% 90.56/69.62 eprover: CPU time limit exceeded, terminating
% 93.38/71.64 eprover: CPU time limit exceeded, terminating
% 96.09/73.66 eprover: CPU time limit exceeded, terminating
% 98.88/75.69 eprover: CPU time limit exceeded, terminating
% 101.65/77.71 eprover: CPU time limit exceeded, terminating
% 104.42/79.73 eprover: CPU time limit exceeded, terminating
% 107.18/81.76 eprover: CPU time limit exceeded, terminating
% 109.90/83.78 eprover: CPU time limit exceeded, terminating
% 112.73/85.80 eprover: CPU time limit exceeded, terminating
% 115.52/87.83 eprover: CPU time limit exceeded, terminating
% 118.36/89.85 eprover: CPU time limit exceeded, terminating
% 121.09/91.87 eprover: CPU time limit exceeded, terminating
% 123.86/93.90 eprover: CPU time limit exceeded, terminating
% 126.63/95.92 eprover: CPU time limit exceeded, terminating
% 129.42/97.94 eprover: CPU time limit exceeded, terminating
% 132.24/99.96 eprover: CPU time limit exceeded, terminating
% 135.01/101.99 eprover: CPU time limit exceeded, terminating
% 137.76/104.01 eprover: CPU time limit exceeded, terminating
% 140.49/106.03 eprover: CPU time limit exceeded, terminating
% 143.27/108.06 eprover: CPU time limit exceeded, terminating
% 146.10/110.08 eprover: CPU time limit exceeded, terminating
% 148.83/112.10 eprover: CPU time limit exceeded, terminating
% 151.63/114.12 eprover: CPU time limit exceeded, terminating
% 154.44/116.14 eprover: CPU time limit exceeded, terminating
% 157.24/118.17 eprover: CPU time limit exceeded, terminating
% 159.99/120.19 eprover: CPU time limit exceeded, terminating
% 162.78/122.21 eprover: CPU time limit exceeded, terminating
% 165.55/124.24 eprover: CPU time limit exceeded, terminating
% 168.32/126.26 eprover: CPU time limit exceeded, terminating
% 171.13/128.28 eprover: CPU time limit exceeded, terminating
% 173.86/130.31 eprover: CPU time limit exceeded, terminating
% 176.65/132.33 eprover: CPU time limit exceeded, terminating
% 179.50/134.35 eprover: CPU time limit exceeded, terminating
% 182.23/136.37 eprover: CPU time limit exceeded, terminating
% 185.00/138.39 eprover: CPU time limit exceeded, terminating
% 187.79/140.42 eprover: CPU time limit exceeded, terminating
% 190.48/142.44 eprover: CPU time limit exceeded, terminating
% 193.37/144.46 eprover: CPU time limit exceeded, terminating
% 196.16/146.48 eprover: CPU time limit exceeded, terminating
% 198.97/148.51 eprover: CPU time limit exceeded, terminating
% 201.74/150.53 eprover: CPU time limit exceeded, terminating
% 204.52/152.55 eprover: CPU time limit exceeded, terminating
% 207.25/154.58 eprover: CPU time limit exceeded, terminating
% 210.11/156.60 eprover: CPU time limit exceeded, terminating
% 212.86/158.62 eprover: CPU time limit exceeded, terminating
% 215.61/160.64 eprover: CPU time limit exceeded, terminating
% 218.42/162.67 eprover: CPU time limit exceeded, terminating
% 221.19/164.69 eprover: CPU time limit exceeded, terminating
% 223.94/166.72 eprover: CPU time limit exceeded, terminating
% 226.73/168.75 eprover: CPU time limit exceeded, terminating
% 229.50/170.78 eprover: CPU time limit exceeded, terminating
% 232.25/172.80 eprover: CPU time limit exceeded, terminating
% 235.01/174.82 eprover: CPU time limit exceeded, terminating
% 237.80/176.85 eprover: CPU time limit exceeded, terminating
% 240.54/178.88 eprover: CPU time limit exceeded, terminating
% 243.30/180.91 eprover: CPU time limit exceeded, terminating
% 246.04/182.93 eprover: CPU time limit exceeded, terminating
% 248.79/184.96 eprover: CPU time limit exceeded, terminating
% 251.56/186.99 eprover: CPU time limit exceeded, terminating
% 254.30/189.00 eprover: CPU time limit exceeded, terminating
% 257.12/191.03 eprover: CPU time limit exceeded, terminating
% 259.86/193.06 eprover: CPU time limit exceeded, terminating
% 262.64/195.09 eprover: CPU time limit exceeded, terminating
% 265.36/197.12 eprover: CPU time limit exceeded, terminating
% 268.13/199.15 eprover: CPU time limit exceeded, terminating
% 270.89/201.17 eprover: CPU time limit exceeded, terminating
% 273.60/203.19 eprover: CPU time limit exceeded, terminating
% 276.40/205.22 eprover: CPU time limit exceeded, terminating
% 279.14/207.25 eprover: CPU time limit exceeded, terminating
% 281.88/209.27 eprover: CPU time limit exceeded, terminating
% 284.58/211.29 eprover: CPU time limit exceeded, terminating
% 287.37/213.32 eprover: CPU time limit exceeded, terminating
% 290.15/215.34 eprover: CPU time limit exceeded, terminating
% 292.98/217.37 eprover: CPU time limit exceeded, terminating
% 295.65/219.40 eprover: CPU time limit exceeded, terminating
% 298.36/221.42 eprover: CPU time limit exceeded, terminating
% 300.02/222.59 eprover: CPU time limit exceeded, terminating
% 300.02/222.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------