TSTP Solution File: CSR044+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR044+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:29 EDT 2022
% Result : Timeout 287.15s 214.93s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR044+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n014.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat Jun 11 02:50:53 EDT 2022
% 0.13/0.33 % CPUTime :
% 15.66/14.95 eprover: CPU time limit exceeded, terminating
% 18.37/16.97 eprover: CPU time limit exceeded, terminating
% 21.15/18.99 eprover: CPU time limit exceeded, terminating
% 23.86/21.01 eprover: CPU time limit exceeded, terminating
% 26.71/23.03 eprover: CPU time limit exceeded, terminating
% 29.51/25.05 eprover: CPU time limit exceeded, terminating
% 32.27/27.07 eprover: CPU time limit exceeded, terminating
% 35.04/29.09 eprover: CPU time limit exceeded, terminating
% 37.82/31.11 eprover: CPU time limit exceeded, terminating
% 40.59/33.13 eprover: CPU time limit exceeded, terminating
% 43.31/35.15 eprover: CPU time limit exceeded, terminating
% 46.08/37.17 eprover: CPU time limit exceeded, terminating
% 48.83/39.19 eprover: CPU time limit exceeded, terminating
% 51.55/41.21 eprover: CPU time limit exceeded, terminating
% 54.30/43.23 eprover: CPU time limit exceeded, terminating
% 57.07/45.25 eprover: CPU time limit exceeded, terminating
% 59.80/47.27 eprover: CPU time limit exceeded, terminating
% 62.51/49.29 eprover: CPU time limit exceeded, terminating
% 65.23/51.30 eprover: CPU time limit exceeded, terminating
% 67.94/53.32 eprover: CPU time limit exceeded, terminating
% 70.75/55.34 eprover: CPU time limit exceeded, terminating
% 73.56/57.36 eprover: CPU time limit exceeded, terminating
% 76.27/59.38 eprover: CPU time limit exceeded, terminating
% 78.97/61.41 eprover: CPU time limit exceeded, terminating
% 81.71/63.43 eprover: CPU time limit exceeded, terminating
% 84.54/65.45 eprover: CPU time limit exceeded, terminating
% 87.25/67.47 eprover: CPU time limit exceeded, terminating
% 90.00/69.49 eprover: CPU time limit exceeded, terminating
% 92.70/71.51 eprover: CPU time limit exceeded, terminating
% 95.45/73.53 eprover: CPU time limit exceeded, terminating
% 98.18/75.55 eprover: CPU time limit exceeded, terminating
% 100.94/77.57 eprover: CPU time limit exceeded, terminating
% 103.62/79.59 eprover: CPU time limit exceeded, terminating
% 106.33/81.61 eprover: CPU time limit exceeded, terminating
% 109.10/83.63 eprover: CPU time limit exceeded, terminating
% 111.80/85.65 eprover: CPU time limit exceeded, terminating
% 114.62/87.67 eprover: CPU time limit exceeded, terminating
% 117.35/89.69 eprover: CPU time limit exceeded, terminating
% 120.11/91.71 eprover: CPU time limit exceeded, terminating
% 122.84/93.73 eprover: CPU time limit exceeded, terminating
% 125.46/95.75 eprover: CPU time limit exceeded, terminating
% 128.29/97.77 eprover: CPU time limit exceeded, terminating
% 131.03/99.79 eprover: CPU time limit exceeded, terminating
% 133.81/101.81 eprover: CPU time limit exceeded, terminating
% 136.55/103.83 eprover: CPU time limit exceeded, terminating
% 139.26/105.85 eprover: CPU time limit exceeded, terminating
% 141.98/107.87 eprover: CPU time limit exceeded, terminating
% 144.72/109.89 eprover: CPU time limit exceeded, terminating
% 147.47/111.91 eprover: CPU time limit exceeded, terminating
% 150.14/113.93 eprover: CPU time limit exceeded, terminating
% 152.98/115.95 eprover: CPU time limit exceeded, terminating
% 155.65/117.96 eprover: CPU time limit exceeded, terminating
% 158.35/119.98 eprover: CPU time limit exceeded, terminating
% 161.07/122.00 eprover: CPU time limit exceeded, terminating
% 163.86/124.02 eprover: CPU time limit exceeded, terminating
% 166.59/126.04 eprover: CPU time limit exceeded, terminating
% 169.23/128.07 eprover: CPU time limit exceeded, terminating
% 172.06/130.09 eprover: CPU time limit exceeded, terminating
% 174.79/132.11 eprover: CPU time limit exceeded, terminating
% 177.46/134.13 eprover: CPU time limit exceeded, terminating
% 180.18/136.15 eprover: CPU time limit exceeded, terminating
% 182.93/138.17 eprover: CPU time limit exceeded, terminating
% 185.68/140.19 eprover: CPU time limit exceeded, terminating
% 188.41/142.21 eprover: CPU time limit exceeded, terminating
% 191.17/144.23 eprover: CPU time limit exceeded, terminating
% 193.93/146.25 eprover: CPU time limit exceeded, terminating
% 196.61/148.27 eprover: CPU time limit exceeded, terminating
% 199.36/150.29 eprover: CPU time limit exceeded, terminating
% 202.09/152.32 eprover: CPU time limit exceeded, terminating
% 204.81/154.34 eprover: CPU time limit exceeded, terminating
% 207.63/156.36 eprover: CPU time limit exceeded, terminating
% 210.40/158.38 eprover: CPU time limit exceeded, terminating
% 213.19/160.40 eprover: CPU time limit exceeded, terminating
% 216.00/162.42 eprover: CPU time limit exceeded, terminating
% 218.72/164.44 eprover: CPU time limit exceeded, terminating
% 221.53/166.46 eprover: CPU time limit exceeded, terminating
% 224.21/168.48 eprover: CPU time limit exceeded, terminating
% 226.94/170.50 eprover: CPU time limit exceeded, terminating
% 229.63/172.52 eprover: CPU time limit exceeded, terminating
% 232.43/174.54 eprover: CPU time limit exceeded, terminating
% 235.13/176.56 eprover: CPU time limit exceeded, terminating
% 237.87/178.58 eprover: CPU time limit exceeded, terminating
% 240.57/180.59 eprover: CPU time limit exceeded, terminating
% 243.35/182.61 eprover: CPU time limit exceeded, terminating
% 246.08/184.63 eprover: CPU time limit exceeded, terminating
% 248.79/186.65 eprover: CPU time limit exceeded, terminating
% 251.49/188.67 eprover: CPU time limit exceeded, terminating
% 254.22/190.69 eprover: CPU time limit exceeded, terminating
% 256.96/192.71 eprover: CPU time limit exceeded, terminating
% 259.68/194.73 eprover: CPU time limit exceeded, terminating
% 262.39/196.75 eprover: CPU time limit exceeded, terminating
% 265.23/198.77 eprover: CPU time limit exceeded, terminating
% 267.93/200.79 eprover: CPU time limit exceeded, terminating
% 270.71/202.81 eprover: CPU time limit exceeded, terminating
% 273.43/204.83 eprover: CPU time limit exceeded, terminating
% 276.20/206.85 eprover: CPU time limit exceeded, terminating
% 278.97/208.87 eprover: CPU time limit exceeded, terminating
% 281.71/210.89 eprover: CPU time limit exceeded, terminating
% 284.44/212.91 eprover: CPU time limit exceeded, terminating
% 287.15/214.93 eprover: CPU time limit exceeded, terminating
% 289.96/216.95 eprover: CPU time limit exceeded, terminating
% 292.67/218.97 eprover: CPU time limit exceeded, terminating
% 295.38/220.99 eprover: CPU time limit exceeded, terminating
% 298.09/223.01 eprover: CPU time limit exceeded, terminating
% 300.06/224.29 eprover: CPU time limit exceeded, terminating
% 300.06/224.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------