TSTP Solution File: CSR045+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR045+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:30 EDT 2022
% Result : Timeout 288.37s 210.81s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR045+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 00:03:50 EDT 2022
% 0.13/0.34 % CPUTime :
% 15.05/14.72 eprover: CPU time limit exceeded, terminating
% 17.82/16.75 eprover: CPU time limit exceeded, terminating
% 20.64/18.77 eprover: CPU time limit exceeded, terminating
% 23.50/20.79 eprover: CPU time limit exceeded, terminating
% 26.30/22.81 eprover: CPU time limit exceeded, terminating
% 29.11/24.83 eprover: CPU time limit exceeded, terminating
% 31.94/26.85 eprover: CPU time limit exceeded, terminating
% 34.77/28.87 eprover: CPU time limit exceeded, terminating
% 37.69/30.89 eprover: CPU time limit exceeded, terminating
% 40.41/32.91 eprover: CPU time limit exceeded, terminating
% 43.32/34.94 eprover: CPU time limit exceeded, terminating
% 46.16/36.96 eprover: CPU time limit exceeded, terminating
% 49.03/38.98 eprover: CPU time limit exceeded, terminating
% 51.82/41.00 eprover: CPU time limit exceeded, terminating
% 54.69/43.03 eprover: CPU time limit exceeded, terminating
% 57.51/45.05 eprover: CPU time limit exceeded, terminating
% 60.34/47.07 eprover: CPU time limit exceeded, terminating
% 63.15/49.09 eprover: CPU time limit exceeded, terminating
% 65.94/51.11 eprover: CPU time limit exceeded, terminating
% 68.82/53.14 eprover: CPU time limit exceeded, terminating
% 71.66/55.16 eprover: CPU time limit exceeded, terminating
% 74.45/57.18 eprover: CPU time limit exceeded, terminating
% 77.21/59.20 eprover: CPU time limit exceeded, terminating
% 80.04/61.22 eprover: CPU time limit exceeded, terminating
% 82.91/63.24 eprover: CPU time limit exceeded, terminating
% 85.70/65.27 eprover: CPU time limit exceeded, terminating
% 88.52/67.29 eprover: CPU time limit exceeded, terminating
% 91.29/69.31 eprover: CPU time limit exceeded, terminating
% 94.18/71.33 eprover: CPU time limit exceeded, terminating
% 97.02/73.35 eprover: CPU time limit exceeded, terminating
% 99.80/75.38 eprover: CPU time limit exceeded, terminating
% 102.65/77.40 eprover: CPU time limit exceeded, terminating
% 105.49/79.42 eprover: CPU time limit exceeded, terminating
% 108.30/81.44 eprover: CPU time limit exceeded, terminating
% 111.19/83.46 eprover: CPU time limit exceeded, terminating
% 113.99/85.48 eprover: CPU time limit exceeded, terminating
% 116.76/87.51 eprover: CPU time limit exceeded, terminating
% 119.58/89.53 eprover: CPU time limit exceeded, terminating
% 122.44/91.55 eprover: CPU time limit exceeded, terminating
% 125.34/93.57 eprover: CPU time limit exceeded, terminating
% 128.09/95.59 eprover: CPU time limit exceeded, terminating
% 130.88/97.61 eprover: CPU time limit exceeded, terminating
% 133.70/99.64 eprover: CPU time limit exceeded, terminating
% 136.52/101.66 eprover: CPU time limit exceeded, terminating
% 139.31/103.68 eprover: CPU time limit exceeded, terminating
% 142.16/105.70 eprover: CPU time limit exceeded, terminating
% 144.91/107.72 eprover: CPU time limit exceeded, terminating
% 147.77/109.75 eprover: CPU time limit exceeded, terminating
% 150.58/111.77 eprover: CPU time limit exceeded, terminating
% 153.39/113.79 eprover: CPU time limit exceeded, terminating
% 156.15/115.81 eprover: CPU time limit exceeded, terminating
% 158.99/117.84 eprover: CPU time limit exceeded, terminating
% 161.74/119.86 eprover: CPU time limit exceeded, terminating
% 164.59/121.88 eprover: CPU time limit exceeded, terminating
% 167.43/123.90 eprover: CPU time limit exceeded, terminating
% 170.31/125.92 eprover: CPU time limit exceeded, terminating
% 173.10/127.95 eprover: CPU time limit exceeded, terminating
% 175.87/129.97 eprover: CPU time limit exceeded, terminating
% 178.75/131.99 eprover: CPU time limit exceeded, terminating
% 181.50/134.01 eprover: CPU time limit exceeded, terminating
% 184.40/136.03 eprover: CPU time limit exceeded, terminating
% 187.15/138.05 eprover: CPU time limit exceeded, terminating
% 189.98/140.07 eprover: CPU time limit exceeded, terminating
% 192.77/142.09 eprover: CPU time limit exceeded, terminating
% 195.60/144.12 eprover: CPU time limit exceeded, terminating
% 198.41/146.14 eprover: CPU time limit exceeded, terminating
% 201.25/148.16 eprover: CPU time limit exceeded, terminating
% 204.07/150.18 eprover: CPU time limit exceeded, terminating
% 206.89/152.20 eprover: CPU time limit exceeded, terminating
% 209.68/154.22 eprover: CPU time limit exceeded, terminating
% 212.50/156.24 eprover: CPU time limit exceeded, terminating
% 215.34/158.27 eprover: CPU time limit exceeded, terminating
% 218.11/160.29 eprover: CPU time limit exceeded, terminating
% 220.94/162.31 eprover: CPU time limit exceeded, terminating
% 223.71/164.33 eprover: CPU time limit exceeded, terminating
% 226.55/166.35 eprover: CPU time limit exceeded, terminating
% 229.34/168.37 eprover: CPU time limit exceeded, terminating
% 232.15/170.40 eprover: CPU time limit exceeded, terminating
% 234.98/172.42 eprover: CPU time limit exceeded, terminating
% 237.77/174.44 eprover: CPU time limit exceeded, terminating
% 240.60/176.46 eprover: CPU time limit exceeded, terminating
% 243.43/178.48 eprover: CPU time limit exceeded, terminating
% 246.24/180.50 eprover: CPU time limit exceeded, terminating
% 249.04/182.52 eprover: CPU time limit exceeded, terminating
% 251.76/184.55 eprover: CPU time limit exceeded, terminating
% 254.62/186.57 eprover: CPU time limit exceeded, terminating
% 257.43/188.59 eprover: CPU time limit exceeded, terminating
% 260.26/190.61 eprover: CPU time limit exceeded, terminating
% 263.12/192.63 eprover: CPU time limit exceeded, terminating
% 265.86/194.65 eprover: CPU time limit exceeded, terminating
% 268.72/196.67 eprover: CPU time limit exceeded, terminating
% 271.54/198.69 eprover: CPU time limit exceeded, terminating
% 274.36/200.71 eprover: CPU time limit exceeded, terminating
% 277.15/202.73 eprover: CPU time limit exceeded, terminating
% 279.96/204.75 eprover: CPU time limit exceeded, terminating
% 282.74/206.77 eprover: CPU time limit exceeded, terminating
% 285.58/208.79 eprover: CPU time limit exceeded, terminating
% 288.37/210.81 eprover: CPU time limit exceeded, terminating
% 291.13/212.83 eprover: CPU time limit exceeded, terminating
% 293.98/214.85 eprover: CPU time limit exceeded, terminating
% 296.77/216.87 eprover: CPU time limit exceeded, terminating
% 299.55/218.89 eprover: CPU time limit exceeded, terminating
% 300.04/219.29 eprover: CPU time limit exceeded, terminating
% 300.04/219.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------