TSTP Solution File: CSR029+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR029+4 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:18 EDT 2022
% Result : Timeout 286.72s 209.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR029+4 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n024.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 16:17:34 EDT 2022
% 0.13/0.33 % CPUTime :
% 14.39/13.84 eprover: CPU time limit exceeded, terminating
% 17.13/15.86 eprover: CPU time limit exceeded, terminating
% 19.88/17.89 eprover: CPU time limit exceeded, terminating
% 22.68/19.92 eprover: CPU time limit exceeded, terminating
% 25.38/21.94 eprover: CPU time limit exceeded, terminating
% 28.10/23.97 eprover: CPU time limit exceeded, terminating
% 30.79/26.00 eprover: CPU time limit exceeded, terminating
% 33.60/28.02 eprover: CPU time limit exceeded, terminating
% 36.37/30.04 eprover: CPU time limit exceeded, terminating
% 39.21/32.07 eprover: CPU time limit exceeded, terminating
% 41.89/34.10 eprover: CPU time limit exceeded, terminating
% 44.55/36.12 eprover: CPU time limit exceeded, terminating
% 47.32/38.15 eprover: CPU time limit exceeded, terminating
% 50.13/40.17 eprover: CPU time limit exceeded, terminating
% 52.92/42.20 eprover: CPU time limit exceeded, terminating
% 55.72/44.23 eprover: CPU time limit exceeded, terminating
% 58.47/46.26 eprover: CPU time limit exceeded, terminating
% 61.26/48.28 eprover: CPU time limit exceeded, terminating
% 63.91/50.31 eprover: CPU time limit exceeded, terminating
% 66.72/52.32 eprover: CPU time limit exceeded, terminating
% 69.43/54.35 eprover: CPU time limit exceeded, terminating
% 72.24/56.37 eprover: CPU time limit exceeded, terminating
% 74.97/58.40 eprover: CPU time limit exceeded, terminating
% 77.78/60.42 eprover: CPU time limit exceeded, terminating
% 80.51/62.44 eprover: CPU time limit exceeded, terminating
% 83.27/64.46 eprover: CPU time limit exceeded, terminating
% 86.07/66.49 eprover: CPU time limit exceeded, terminating
% 88.84/68.51 eprover: CPU time limit exceeded, terminating
% 91.56/70.53 eprover: CPU time limit exceeded, terminating
% 94.35/72.56 eprover: CPU time limit exceeded, terminating
% 97.14/74.58 eprover: CPU time limit exceeded, terminating
% 99.81/76.61 eprover: CPU time limit exceeded, terminating
% 102.62/78.63 eprover: CPU time limit exceeded, terminating
% 105.32/80.65 eprover: CPU time limit exceeded, terminating
% 108.05/82.67 eprover: CPU time limit exceeded, terminating
% 110.87/84.70 eprover: CPU time limit exceeded, terminating
% 113.67/86.73 eprover: CPU time limit exceeded, terminating
% 116.36/88.76 eprover: CPU time limit exceeded, terminating
% 119.14/90.78 eprover: CPU time limit exceeded, terminating
% 121.89/92.81 eprover: CPU time limit exceeded, terminating
% 124.63/94.84 eprover: CPU time limit exceeded, terminating
% 127.31/96.86 eprover: CPU time limit exceeded, terminating
% 130.09/98.89 eprover: CPU time limit exceeded, terminating
% 132.84/100.92 eprover: CPU time limit exceeded, terminating
% 135.58/102.95 eprover: CPU time limit exceeded, terminating
% 138.32/104.98 eprover: CPU time limit exceeded, terminating
% 141.13/107.01 eprover: CPU time limit exceeded, terminating
% 143.78/109.04 eprover: CPU time limit exceeded, terminating
% 146.46/111.07 eprover: CPU time limit exceeded, terminating
% 149.17/113.13 eprover: CPU time limit exceeded, terminating
% 151.92/115.15 eprover: CPU time limit exceeded, terminating
% 154.60/117.18 eprover: CPU time limit exceeded, terminating
% 157.28/119.20 eprover: CPU time limit exceeded, terminating
% 159.98/121.22 eprover: CPU time limit exceeded, terminating
% 162.73/123.24 eprover: CPU time limit exceeded, terminating
% 165.49/125.26 eprover: CPU time limit exceeded, terminating
% 168.22/127.30 eprover: CPU time limit exceeded, terminating
% 170.95/129.32 eprover: CPU time limit exceeded, terminating
% 173.72/131.34 eprover: CPU time limit exceeded, terminating
% 176.47/133.37 eprover: CPU time limit exceeded, terminating
% 179.17/135.38 eprover: CPU time limit exceeded, terminating
% 181.92/137.41 eprover: CPU time limit exceeded, terminating
% 184.72/139.45 eprover: CPU time limit exceeded, terminating
% 187.38/141.47 eprover: CPU time limit exceeded, terminating
% 190.16/143.49 eprover: CPU time limit exceeded, terminating
% 192.89/145.51 eprover: CPU time limit exceeded, terminating
% 195.65/147.53 eprover: CPU time limit exceeded, terminating
% 198.37/149.56 eprover: CPU time limit exceeded, terminating
% 201.00/151.58 eprover: CPU time limit exceeded, terminating
% 204.23/153.67 eprover: CPU time limit exceeded, terminating
% 207.48/155.69 eprover: CPU time limit exceeded, terminating
% 210.87/157.80 eprover: CPU time limit exceeded, terminating
% 214.17/159.82 eprover: CPU time limit exceeded, terminating
% 217.47/161.86 eprover: CPU time limit exceeded, terminating
% 220.69/163.96 eprover: CPU time limit exceeded, terminating
% 223.96/166.05 eprover: CPU time limit exceeded, terminating
% 227.27/168.16 eprover: CPU time limit exceeded, terminating
% 230.53/170.27 eprover: CPU time limit exceeded, terminating
% 233.76/172.36 eprover: CPU time limit exceeded, terminating
% 236.90/174.47 eprover: CPU time limit exceeded, terminating
% 240.09/176.57 eprover: CPU time limit exceeded, terminating
% 243.29/178.59 eprover: CPU time limit exceeded, terminating
% 246.41/180.69 eprover: CPU time limit exceeded, terminating
% 249.51/182.72 eprover: CPU time limit exceeded, terminating
% 252.75/184.83 eprover: CPU time limit exceeded, terminating
% 256.03/186.85 eprover: CPU time limit exceeded, terminating
% 259.31/188.93 eprover: CPU time limit exceeded, terminating
% 261.98/190.95 eprover: CPU time limit exceeded, terminating
% 264.68/192.97 eprover: CPU time limit exceeded, terminating
% 267.40/195.00 eprover: CPU time limit exceeded, terminating
% 270.24/197.06 eprover: CPU time limit exceeded, terminating
% 272.93/199.08 eprover: CPU time limit exceeded, terminating
% 275.74/201.10 eprover: CPU time limit exceeded, terminating
% 278.47/203.13 eprover: CPU time limit exceeded, terminating
% 281.21/205.15 eprover: CPU time limit exceeded, terminating
% 283.98/207.18 eprover: CPU time limit exceeded, terminating
% 286.72/209.22 eprover: CPU time limit exceeded, terminating
% 289.42/211.24 eprover: CPU time limit exceeded, terminating
% 292.11/213.27 eprover: CPU time limit exceeded, terminating
% 294.86/215.30 eprover: CPU time limit exceeded, terminating
% 297.60/217.33 eprover: CPU time limit exceeded, terminating
% 300.01/218.96 eprover: CPU time limit exceeded, terminating
% 300.01/218.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------