TSTP Solution File: CSR047+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR047+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:31 EDT 2022
% Result : Timeout 288.43s 214.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR047+4 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n018.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 18:37:24 EDT 2022
% 0.12/0.34 % CPUTime :
% 14.72/14.34 eprover: CPU time limit exceeded, terminating
% 17.44/16.36 eprover: CPU time limit exceeded, terminating
% 20.16/18.38 eprover: CPU time limit exceeded, terminating
% 23.00/20.40 eprover: CPU time limit exceeded, terminating
% 25.70/22.43 eprover: CPU time limit exceeded, terminating
% 28.51/24.45 eprover: CPU time limit exceeded, terminating
% 31.22/26.47 eprover: CPU time limit exceeded, terminating
% 33.99/28.49 eprover: CPU time limit exceeded, terminating
% 36.76/30.51 eprover: CPU time limit exceeded, terminating
% 39.61/32.54 eprover: CPU time limit exceeded, terminating
% 42.33/34.56 eprover: CPU time limit exceeded, terminating
% 45.07/36.58 eprover: CPU time limit exceeded, terminating
% 47.89/38.60 eprover: CPU time limit exceeded, terminating
% 50.57/40.63 eprover: CPU time limit exceeded, terminating
% 53.32/42.65 eprover: CPU time limit exceeded, terminating
% 56.19/44.67 eprover: CPU time limit exceeded, terminating
% 58.95/46.69 eprover: CPU time limit exceeded, terminating
% 61.75/48.71 eprover: CPU time limit exceeded, terminating
% 64.48/50.74 eprover: CPU time limit exceeded, terminating
% 67.22/52.76 eprover: CPU time limit exceeded, terminating
% 69.96/54.78 eprover: CPU time limit exceeded, terminating
% 72.82/56.80 eprover: CPU time limit exceeded, terminating
% 75.54/58.83 eprover: CPU time limit exceeded, terminating
% 78.34/60.85 eprover: CPU time limit exceeded, terminating
% 81.09/62.87 eprover: CPU time limit exceeded, terminating
% 83.87/64.90 eprover: CPU time limit exceeded, terminating
% 86.59/66.92 eprover: CPU time limit exceeded, terminating
% 89.33/68.94 eprover: CPU time limit exceeded, terminating
% 92.20/70.96 eprover: CPU time limit exceeded, terminating
% 94.97/72.99 eprover: CPU time limit exceeded, terminating
% 97.67/75.01 eprover: CPU time limit exceeded, terminating
% 100.43/77.03 eprover: CPU time limit exceeded, terminating
% 103.25/79.05 eprover: CPU time limit exceeded, terminating
% 106.04/81.08 eprover: CPU time limit exceeded, terminating
% 108.77/83.10 eprover: CPU time limit exceeded, terminating
% 111.59/85.12 eprover: CPU time limit exceeded, terminating
% 114.37/87.14 eprover: CPU time limit exceeded, terminating
% 117.06/89.16 eprover: CPU time limit exceeded, terminating
% 119.86/91.19 eprover: CPU time limit exceeded, terminating
% 122.62/93.21 eprover: CPU time limit exceeded, terminating
% 125.36/95.23 eprover: CPU time limit exceeded, terminating
% 128.18/97.25 eprover: CPU time limit exceeded, terminating
% 130.99/99.28 eprover: CPU time limit exceeded, terminating
% 133.75/101.30 eprover: CPU time limit exceeded, terminating
% 136.45/103.32 eprover: CPU time limit exceeded, terminating
% 139.24/105.34 eprover: CPU time limit exceeded, terminating
% 142.02/107.36 eprover: CPU time limit exceeded, terminating
% 144.72/109.39 eprover: CPU time limit exceeded, terminating
% 147.48/111.41 eprover: CPU time limit exceeded, terminating
% 150.19/113.43 eprover: CPU time limit exceeded, terminating
% 153.02/115.45 eprover: CPU time limit exceeded, terminating
% 155.78/117.48 eprover: CPU time limit exceeded, terminating
% 158.54/119.50 eprover: CPU time limit exceeded, terminating
% 161.30/121.52 eprover: CPU time limit exceeded, terminating
% 164.05/123.54 eprover: CPU time limit exceeded, terminating
% 166.76/125.57 eprover: CPU time limit exceeded, terminating
% 169.56/127.59 eprover: CPU time limit exceeded, terminating
% 172.30/129.61 eprover: CPU time limit exceeded, terminating
% 175.01/131.64 eprover: CPU time limit exceeded, terminating
% 177.76/133.66 eprover: CPU time limit exceeded, terminating
% 180.65/135.68 eprover: CPU time limit exceeded, terminating
% 183.35/137.70 eprover: CPU time limit exceeded, terminating
% 186.10/139.73 eprover: CPU time limit exceeded, terminating
% 188.90/141.75 eprover: CPU time limit exceeded, terminating
% 191.57/143.77 eprover: CPU time limit exceeded, terminating
% 194.35/145.79 eprover: CPU time limit exceeded, terminating
% 197.17/147.82 eprover: CPU time limit exceeded, terminating
% 199.95/149.84 eprover: CPU time limit exceeded, terminating
% 202.69/151.86 eprover: CPU time limit exceeded, terminating
% 205.42/153.88 eprover: CPU time limit exceeded, terminating
% 208.20/155.90 eprover: CPU time limit exceeded, terminating
% 211.04/157.93 eprover: CPU time limit exceeded, terminating
% 213.73/159.95 eprover: CPU time limit exceeded, terminating
% 216.49/161.97 eprover: CPU time limit exceeded, terminating
% 219.26/163.99 eprover: CPU time limit exceeded, terminating
% 222.09/166.02 eprover: CPU time limit exceeded, terminating
% 224.89/168.04 eprover: CPU time limit exceeded, terminating
% 227.59/170.06 eprover: CPU time limit exceeded, terminating
% 230.43/172.08 eprover: CPU time limit exceeded, terminating
% 233.21/174.11 eprover: CPU time limit exceeded, terminating
% 235.94/176.13 eprover: CPU time limit exceeded, terminating
% 238.71/178.15 eprover: CPU time limit exceeded, terminating
% 241.42/180.17 eprover: CPU time limit exceeded, terminating
% 244.20/182.20 eprover: CPU time limit exceeded, terminating
% 247.02/184.22 eprover: CPU time limit exceeded, terminating
% 249.77/186.24 eprover: CPU time limit exceeded, terminating
% 252.50/188.26 eprover: CPU time limit exceeded, terminating
% 255.27/190.29 eprover: CPU time limit exceeded, terminating
% 258.01/192.31 eprover: CPU time limit exceeded, terminating
% 260.80/194.33 eprover: CPU time limit exceeded, terminating
% 263.56/196.35 eprover: CPU time limit exceeded, terminating
% 266.27/198.38 eprover: CPU time limit exceeded, terminating
% 269.12/200.40 eprover: CPU time limit exceeded, terminating
% 271.87/202.42 eprover: CPU time limit exceeded, terminating
% 274.65/204.44 eprover: CPU time limit exceeded, terminating
% 277.35/206.47 eprover: CPU time limit exceeded, terminating
% 280.16/208.49 eprover: CPU time limit exceeded, terminating
% 282.84/210.51 eprover: CPU time limit exceeded, terminating
% 285.70/212.53 eprover: CPU time limit exceeded, terminating
% 288.43/214.56 eprover: CPU time limit exceeded, terminating
% 291.18/216.58 eprover: CPU time limit exceeded, terminating
% 293.94/218.60 eprover: CPU time limit exceeded, terminating
% 296.75/220.62 eprover: CPU time limit exceeded, terminating
% 299.50/222.65 eprover: CPU time limit exceeded, terminating
% 300.14/223.12 eprover: CPU time limit exceeded, terminating
% 300.14/223.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------