TSTP Solution File: CSR072+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR072+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:50 EDT 2022
% Result : Timeout 286.45s 212.96s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR072+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 10 17:46:54 EDT 2022
% 0.12/0.33 % CPUTime :
% 15.32/14.62 eprover: CPU time limit exceeded, terminating
% 17.97/16.65 eprover: CPU time limit exceeded, terminating
% 20.79/18.68 eprover: CPU time limit exceeded, terminating
% 23.59/20.71 eprover: CPU time limit exceeded, terminating
% 26.32/22.73 eprover: CPU time limit exceeded, terminating
% 29.06/24.76 eprover: CPU time limit exceeded, terminating
% 31.83/26.78 eprover: CPU time limit exceeded, terminating
% 34.63/28.81 eprover: CPU time limit exceeded, terminating
% 37.37/30.83 eprover: CPU time limit exceeded, terminating
% 40.14/32.85 eprover: CPU time limit exceeded, terminating
% 42.89/34.87 eprover: CPU time limit exceeded, terminating
% 45.66/36.90 eprover: CPU time limit exceeded, terminating
% 48.48/38.93 eprover: CPU time limit exceeded, terminating
% 51.26/40.96 eprover: CPU time limit exceeded, terminating
% 54.07/42.98 eprover: CPU time limit exceeded, terminating
% 56.74/45.00 eprover: CPU time limit exceeded, terminating
% 59.46/47.02 eprover: CPU time limit exceeded, terminating
% 62.29/49.05 eprover: CPU time limit exceeded, terminating
% 65.00/51.06 eprover: CPU time limit exceeded, terminating
% 67.67/53.09 eprover: CPU time limit exceeded, terminating
% 70.39/55.11 eprover: CPU time limit exceeded, terminating
% 73.16/57.13 eprover: CPU time limit exceeded, terminating
% 75.79/59.15 eprover: CPU time limit exceeded, terminating
% 78.58/61.17 eprover: CPU time limit exceeded, terminating
% 81.28/63.20 eprover: CPU time limit exceeded, terminating
% 84.12/65.22 eprover: CPU time limit exceeded, terminating
% 86.91/67.24 eprover: CPU time limit exceeded, terminating
% 89.70/69.27 eprover: CPU time limit exceeded, terminating
% 92.39/71.29 eprover: CPU time limit exceeded, terminating
% 95.25/73.31 eprover: CPU time limit exceeded, terminating
% 97.98/75.34 eprover: CPU time limit exceeded, terminating
% 100.75/77.36 eprover: CPU time limit exceeded, terminating
% 103.59/79.39 eprover: CPU time limit exceeded, terminating
% 106.32/81.41 eprover: CPU time limit exceeded, terminating
% 109.04/83.43 eprover: CPU time limit exceeded, terminating
% 111.85/85.46 eprover: CPU time limit exceeded, terminating
% 114.69/87.48 eprover: CPU time limit exceeded, terminating
% 117.41/89.51 eprover: CPU time limit exceeded, terminating
% 120.19/91.53 eprover: CPU time limit exceeded, terminating
% 123.00/93.55 eprover: CPU time limit exceeded, terminating
% 125.69/95.58 eprover: CPU time limit exceeded, terminating
% 128.55/97.60 eprover: CPU time limit exceeded, terminating
% 131.25/99.63 eprover: CPU time limit exceeded, terminating
% 134.04/101.65 eprover: CPU time limit exceeded, terminating
% 136.83/103.67 eprover: CPU time limit exceeded, terminating
% 139.53/105.70 eprover: CPU time limit exceeded, terminating
% 142.32/107.72 eprover: CPU time limit exceeded, terminating
% 145.07/109.75 eprover: CPU time limit exceeded, terminating
% 147.83/111.77 eprover: CPU time limit exceeded, terminating
% 150.62/113.79 eprover: CPU time limit exceeded, terminating
% 153.41/115.82 eprover: CPU time limit exceeded, terminating
% 156.18/117.84 eprover: CPU time limit exceeded, terminating
% 158.92/119.86 eprover: CPU time limit exceeded, terminating
% 161.71/121.89 eprover: CPU time limit exceeded, terminating
% 164.48/123.91 eprover: CPU time limit exceeded, terminating
% 167.23/125.94 eprover: CPU time limit exceeded, terminating
% 169.98/127.96 eprover: CPU time limit exceeded, terminating
% 172.73/129.98 eprover: CPU time limit exceeded, terminating
% 175.54/132.01 eprover: CPU time limit exceeded, terminating
% 178.29/134.03 eprover: CPU time limit exceeded, terminating
% 181.11/136.06 eprover: CPU time limit exceeded, terminating
% 183.82/138.08 eprover: CPU time limit exceeded, terminating
% 186.59/140.10 eprover: CPU time limit exceeded, terminating
% 189.37/142.13 eprover: CPU time limit exceeded, terminating
% 192.18/144.15 eprover: CPU time limit exceeded, terminating
% 194.97/146.18 eprover: CPU time limit exceeded, terminating
% 197.67/148.20 eprover: CPU time limit exceeded, terminating
% 200.45/150.22 eprover: CPU time limit exceeded, terminating
% 203.23/152.25 eprover: CPU time limit exceeded, terminating
% 206.02/154.27 eprover: CPU time limit exceeded, terminating
% 208.84/156.30 eprover: CPU time limit exceeded, terminating
% 211.66/158.32 eprover: CPU time limit exceeded, terminating
% 214.44/160.34 eprover: CPU time limit exceeded, terminating
% 217.12/162.37 eprover: CPU time limit exceeded, terminating
% 219.94/164.39 eprover: CPU time limit exceeded, terminating
% 222.78/166.42 eprover: CPU time limit exceeded, terminating
% 225.47/168.44 eprover: CPU time limit exceeded, terminating
% 228.29/170.46 eprover: CPU time limit exceeded, terminating
% 231.09/172.49 eprover: CPU time limit exceeded, terminating
% 233.85/174.51 eprover: CPU time limit exceeded, terminating
% 236.55/176.54 eprover: CPU time limit exceeded, terminating
% 239.33/178.56 eprover: CPU time limit exceeded, terminating
% 242.16/180.58 eprover: CPU time limit exceeded, terminating
% 244.95/182.61 eprover: CPU time limit exceeded, terminating
% 247.74/184.63 eprover: CPU time limit exceeded, terminating
% 250.46/186.66 eprover: CPU time limit exceeded, terminating
% 253.22/188.68 eprover: CPU time limit exceeded, terminating
% 256.06/190.70 eprover: CPU time limit exceeded, terminating
% 258.83/192.73 eprover: CPU time limit exceeded, terminating
% 261.56/194.75 eprover: CPU time limit exceeded, terminating
% 264.36/196.77 eprover: CPU time limit exceeded, terminating
% 267.13/198.80 eprover: CPU time limit exceeded, terminating
% 269.84/200.82 eprover: CPU time limit exceeded, terminating
% 272.61/202.85 eprover: CPU time limit exceeded, terminating
% 275.42/204.87 eprover: CPU time limit exceeded, terminating
% 278.19/206.89 eprover: CPU time limit exceeded, terminating
% 280.94/208.92 eprover: CPU time limit exceeded, terminating
% 283.68/210.94 eprover: CPU time limit exceeded, terminating
% 286.45/212.96 eprover: CPU time limit exceeded, terminating
% 289.23/214.99 eprover: CPU time limit exceeded, terminating
% 292.01/217.01 eprover: CPU time limit exceeded, terminating
% 294.79/219.03 eprover: CPU time limit exceeded, terminating
% 297.56/221.06 eprover: CPU time limit exceeded, terminating
% 300.07/222.82 eprover: CPU time limit exceeded, terminating
% 300.07/222.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------