TSTP Solution File: CSR057+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR057+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:39 EDT 2022
% Result : Timeout 286.97s 216.06s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR057+4 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n029.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 01:15:37 EDT 2022
% 0.12/0.34 % CPUTime :
% 14.22/13.84 eprover: CPU time limit exceeded, terminating
% 16.89/15.86 eprover: CPU time limit exceeded, terminating
% 19.56/17.87 eprover: CPU time limit exceeded, terminating
% 22.38/19.89 eprover: CPU time limit exceeded, terminating
% 25.12/21.91 eprover: CPU time limit exceeded, terminating
% 27.93/23.93 eprover: CPU time limit exceeded, terminating
% 30.60/25.95 eprover: CPU time limit exceeded, terminating
% 33.36/27.97 eprover: CPU time limit exceeded, terminating
% 36.05/29.99 eprover: CPU time limit exceeded, terminating
% 38.93/32.01 eprover: CPU time limit exceeded, terminating
% 41.66/34.03 eprover: CPU time limit exceeded, terminating
% 44.43/36.05 eprover: CPU time limit exceeded, terminating
% 47.22/38.07 eprover: CPU time limit exceeded, terminating
% 49.92/40.09 eprover: CPU time limit exceeded, terminating
% 52.72/42.11 eprover: CPU time limit exceeded, terminating
% 55.51/44.13 eprover: CPU time limit exceeded, terminating
% 58.21/46.15 eprover: CPU time limit exceeded, terminating
% 60.94/48.17 eprover: CPU time limit exceeded, terminating
% 63.69/50.19 eprover: CPU time limit exceeded, terminating
% 66.38/52.21 eprover: CPU time limit exceeded, terminating
% 69.07/54.23 eprover: CPU time limit exceeded, terminating
% 71.76/56.25 eprover: CPU time limit exceeded, terminating
% 74.48/58.27 eprover: CPU time limit exceeded, terminating
% 77.28/60.29 eprover: CPU time limit exceeded, terminating
% 80.01/62.31 eprover: CPU time limit exceeded, terminating
% 82.71/64.33 eprover: CPU time limit exceeded, terminating
% 85.50/66.35 eprover: CPU time limit exceeded, terminating
% 88.15/68.37 eprover: CPU time limit exceeded, terminating
% 90.88/70.39 eprover: CPU time limit exceeded, terminating
% 93.63/72.41 eprover: CPU time limit exceeded, terminating
% 96.34/74.43 eprover: CPU time limit exceeded, terminating
% 99.06/76.45 eprover: CPU time limit exceeded, terminating
% 101.72/78.47 eprover: CPU time limit exceeded, terminating
% 104.48/80.49 eprover: CPU time limit exceeded, terminating
% 107.20/82.51 eprover: CPU time limit exceeded, terminating
% 109.93/84.53 eprover: CPU time limit exceeded, terminating
% 112.63/86.55 eprover: CPU time limit exceeded, terminating
% 115.36/88.57 eprover: CPU time limit exceeded, terminating
% 118.11/90.59 eprover: CPU time limit exceeded, terminating
% 120.84/92.61 eprover: CPU time limit exceeded, terminating
% 123.54/94.63 eprover: CPU time limit exceeded, terminating
% 126.22/96.65 eprover: CPU time limit exceeded, terminating
% 128.97/98.67 eprover: CPU time limit exceeded, terminating
% 131.77/100.69 eprover: CPU time limit exceeded, terminating
% 134.42/102.71 eprover: CPU time limit exceeded, terminating
% 137.15/104.73 eprover: CPU time limit exceeded, terminating
% 139.91/106.75 eprover: CPU time limit exceeded, terminating
% 142.64/108.77 eprover: CPU time limit exceeded, terminating
% 145.35/110.79 eprover: CPU time limit exceeded, terminating
% 148.01/112.81 eprover: CPU time limit exceeded, terminating
% 150.77/114.83 eprover: CPU time limit exceeded, terminating
% 153.49/116.85 eprover: CPU time limit exceeded, terminating
% 156.20/118.87 eprover: CPU time limit exceeded, terminating
% 158.93/120.89 eprover: CPU time limit exceeded, terminating
% 161.60/122.91 eprover: CPU time limit exceeded, terminating
% 164.35/124.93 eprover: CPU time limit exceeded, terminating
% 167.07/126.95 eprover: CPU time limit exceeded, terminating
% 169.84/128.97 eprover: CPU time limit exceeded, terminating
% 172.54/130.99 eprover: CPU time limit exceeded, terminating
% 175.22/133.01 eprover: CPU time limit exceeded, terminating
% 178.02/135.03 eprover: CPU time limit exceeded, terminating
% 180.69/137.05 eprover: CPU time limit exceeded, terminating
% 183.45/139.06 eprover: CPU time limit exceeded, terminating
% 186.13/141.08 eprover: CPU time limit exceeded, terminating
% 188.82/143.10 eprover: CPU time limit exceeded, terminating
% 191.52/145.12 eprover: CPU time limit exceeded, terminating
% 194.27/147.15 eprover: CPU time limit exceeded, terminating
% 197.00/149.18 eprover: CPU time limit exceeded, terminating
% 199.71/151.21 eprover: CPU time limit exceeded, terminating
% 202.37/153.24 eprover: CPU time limit exceeded, terminating
% 205.08/155.26 eprover: CPU time limit exceeded, terminating
% 207.79/157.29 eprover: CPU time limit exceeded, terminating
% 210.57/159.31 eprover: CPU time limit exceeded, terminating
% 213.24/161.34 eprover: CPU time limit exceeded, terminating
% 215.99/163.37 eprover: CPU time limit exceeded, terminating
% 218.69/165.39 eprover: CPU time limit exceeded, terminating
% 221.48/167.41 eprover: CPU time limit exceeded, terminating
% 224.15/169.43 eprover: CPU time limit exceeded, terminating
% 226.86/171.47 eprover: CPU time limit exceeded, terminating
% 229.56/173.49 eprover: CPU time limit exceeded, terminating
% 232.31/175.53 eprover: CPU time limit exceeded, terminating
% 234.94/177.55 eprover: CPU time limit exceeded, terminating
% 237.60/179.57 eprover: CPU time limit exceeded, terminating
% 240.35/181.61 eprover: CPU time limit exceeded, terminating
% 243.04/183.63 eprover: CPU time limit exceeded, terminating
% 245.78/185.66 eprover: CPU time limit exceeded, terminating
% 248.49/187.68 eprover: CPU time limit exceeded, terminating
% 251.32/189.71 eprover: CPU time limit exceeded, terminating
% 254.04/191.74 eprover: CPU time limit exceeded, terminating
% 256.76/193.77 eprover: CPU time limit exceeded, terminating
% 259.43/195.79 eprover: CPU time limit exceeded, terminating
% 262.27/197.82 eprover: CPU time limit exceeded, terminating
% 264.96/199.87 eprover: CPU time limit exceeded, terminating
% 267.76/201.90 eprover: CPU time limit exceeded, terminating
% 270.50/203.92 eprover: CPU time limit exceeded, terminating
% 273.25/205.94 eprover: CPU time limit exceeded, terminating
% 275.96/207.96 eprover: CPU time limit exceeded, terminating
% 278.76/209.99 eprover: CPU time limit exceeded, terminating
% 281.50/212.02 eprover: CPU time limit exceeded, terminating
% 284.24/214.04 eprover: CPU time limit exceeded, terminating
% 286.97/216.06 eprover: CPU time limit exceeded, terminating
% 289.72/218.08 eprover: CPU time limit exceeded, terminating
% 292.52/220.10 eprover: CPU time limit exceeded, terminating
% 295.26/222.13 eprover: CPU time limit exceeded, terminating
% 297.97/224.15 eprover: CPU time limit exceeded, terminating
% 300.09/225.51 eprover: CPU time limit exceeded, terminating
% 300.09/225.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------