TSTP Solution File: CSR044+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR044+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:29 EDT 2022
% Result : Timeout 287.13s 263.85s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : CSR044+3 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 : Sat Jun 11 05:20:37 EDT 2022
% 0.12/0.33 % CPUTime :
% 4.25/4.36 eprover: CPU time limit exceeded, terminating
% 6.42/6.37 eprover: CPU time limit exceeded, terminating
% 8.60/8.38 eprover: CPU time limit exceeded, terminating
% 10.83/10.39 eprover: CPU time limit exceeded, terminating
% 12.91/12.40 eprover: CPU time limit exceeded, terminating
% 15.11/14.41 eprover: CPU time limit exceeded, terminating
% 17.33/16.42 eprover: CPU time limit exceeded, terminating
% 19.52/18.43 eprover: CPU time limit exceeded, terminating
% 21.70/20.44 eprover: CPU time limit exceeded, terminating
% 23.82/22.46 eprover: CPU time limit exceeded, terminating
% 25.99/24.47 eprover: CPU time limit exceeded, terminating
% 28.17/26.48 eprover: CPU time limit exceeded, terminating
% 30.46/28.49 eprover: CPU time limit exceeded, terminating
% 32.63/30.50 eprover: CPU time limit exceeded, terminating
% 34.81/32.51 eprover: CPU time limit exceeded, terminating
% 36.97/34.52 eprover: CPU time limit exceeded, terminating
% 39.15/36.53 eprover: CPU time limit exceeded, terminating
% 41.33/38.54 eprover: CPU time limit exceeded, terminating
% 43.45/40.55 eprover: CPU time limit exceeded, terminating
% 45.62/42.57 eprover: CPU time limit exceeded, terminating
% 47.75/44.58 eprover: CPU time limit exceeded, terminating
% 50.01/46.59 eprover: CPU time limit exceeded, terminating
% 52.20/48.60 eprover: CPU time limit exceeded, terminating
% 54.31/50.61 eprover: CPU time limit exceeded, terminating
% 56.55/52.62 eprover: CPU time limit exceeded, terminating
% 58.72/54.63 eprover: CPU time limit exceeded, terminating
% 60.87/56.64 eprover: CPU time limit exceeded, terminating
% 63.07/58.65 eprover: CPU time limit exceeded, terminating
% 65.29/60.66 eprover: CPU time limit exceeded, terminating
% 67.42/62.67 eprover: CPU time limit exceeded, terminating
% 69.63/64.68 eprover: CPU time limit exceeded, terminating
% 71.77/66.69 eprover: CPU time limit exceeded, terminating
% 74.00/68.70 eprover: CPU time limit exceeded, terminating
% 76.10/70.71 eprover: CPU time limit exceeded, terminating
% 78.34/72.73 eprover: CPU time limit exceeded, terminating
% 80.55/74.74 eprover: CPU time limit exceeded, terminating
% 82.69/76.75 eprover: CPU time limit exceeded, terminating
% 84.90/78.76 eprover: CPU time limit exceeded, terminating
% 87.01/80.77 eprover: CPU time limit exceeded, terminating
% 89.23/82.79 eprover: CPU time limit exceeded, terminating
% 91.46/84.80 eprover: CPU time limit exceeded, terminating
% 93.56/86.81 eprover: CPU time limit exceeded, terminating
% 95.79/88.82 eprover: CPU time limit exceeded, terminating
% 97.99/90.83 eprover: CPU time limit exceeded, terminating
% 100.15/92.84 eprover: CPU time limit exceeded, terminating
% 102.32/94.86 eprover: CPU time limit exceeded, terminating
% 104.52/96.87 eprover: CPU time limit exceeded, terminating
% 106.68/98.88 eprover: CPU time limit exceeded, terminating
% 108.87/100.89 eprover: CPU time limit exceeded, terminating
% 111.10/102.91 eprover: CPU time limit exceeded, terminating
% 113.28/104.92 eprover: CPU time limit exceeded, terminating
% 115.45/106.93 eprover: CPU time limit exceeded, terminating
% 117.63/108.94 eprover: CPU time limit exceeded, terminating
% 119.81/110.96 eprover: CPU time limit exceeded, terminating
% 121.96/112.97 eprover: CPU time limit exceeded, terminating
% 124.16/114.98 eprover: CPU time limit exceeded, terminating
% 126.36/116.99 eprover: CPU time limit exceeded, terminating
% 128.49/119.01 eprover: CPU time limit exceeded, terminating
% 130.74/121.02 eprover: CPU time limit exceeded, terminating
% 132.94/123.03 eprover: CPU time limit exceeded, terminating
% 135.09/125.04 eprover: CPU time limit exceeded, terminating
% 137.26/127.05 eprover: CPU time limit exceeded, terminating
% 139.40/129.07 eprover: CPU time limit exceeded, terminating
% 141.65/131.08 eprover: CPU time limit exceeded, terminating
% 143.76/133.09 eprover: CPU time limit exceeded, terminating
% 145.99/135.10 eprover: CPU time limit exceeded, terminating
% 148.18/137.12 eprover: CPU time limit exceeded, terminating
% 150.33/139.13 eprover: CPU time limit exceeded, terminating
% 152.50/141.14 eprover: CPU time limit exceeded, terminating
% 154.72/143.15 eprover: CPU time limit exceeded, terminating
% 156.84/145.16 eprover: CPU time limit exceeded, terminating
% 159.02/147.17 eprover: CPU time limit exceeded, terminating
% 161.27/149.19 eprover: CPU time limit exceeded, terminating
% 163.47/151.20 eprover: CPU time limit exceeded, terminating
% 165.61/153.21 eprover: CPU time limit exceeded, terminating
% 167.79/155.22 eprover: CPU time limit exceeded, terminating
% 169.99/157.23 eprover: CPU time limit exceeded, terminating
% 172.14/159.25 eprover: CPU time limit exceeded, terminating
% 174.30/161.26 eprover: CPU time limit exceeded, terminating
% 176.47/163.27 eprover: CPU time limit exceeded, terminating
% 178.70/165.28 eprover: CPU time limit exceeded, terminating
% 180.87/167.29 eprover: CPU time limit exceeded, terminating
% 182.94/169.30 eprover: CPU time limit exceeded, terminating
% 185.16/171.31 eprover: CPU time limit exceeded, terminating
% 187.36/173.32 eprover: CPU time limit exceeded, terminating
% 189.47/175.33 eprover: CPU time limit exceeded, terminating
% 191.69/177.34 eprover: CPU time limit exceeded, terminating
% 193.83/179.35 eprover: CPU time limit exceeded, terminating
% 196.04/181.36 eprover: CPU time limit exceeded, terminating
% 198.12/183.37 eprover: CPU time limit exceeded, terminating
% 200.36/185.38 eprover: CPU time limit exceeded, terminating
% 202.55/187.39 eprover: CPU time limit exceeded, terminating
% 204.67/189.41 eprover: CPU time limit exceeded, terminating
% 206.89/191.42 eprover: CPU time limit exceeded, terminating
% 209.09/193.43 eprover: CPU time limit exceeded, terminating
% 211.22/195.44 eprover: CPU time limit exceeded, terminating
% 213.34/197.46 eprover: CPU time limit exceeded, terminating
% 215.49/199.47 eprover: CPU time limit exceeded, terminating
% 217.69/201.48 eprover: CPU time limit exceeded, terminating
% 219.86/203.49 eprover: CPU time limit exceeded, terminating
% 222.09/205.50 eprover: CPU time limit exceeded, terminating
% 224.24/207.51 eprover: CPU time limit exceeded, terminating
% 226.43/209.52 eprover: CPU time limit exceeded, terminating
% 228.59/211.54 eprover: CPU time limit exceeded, terminating
% 230.75/213.55 eprover: CPU time limit exceeded, terminating
% 232.94/215.56 eprover: CPU time limit exceeded, terminating
% 235.15/217.57 eprover: CPU time limit exceeded, terminating
% 237.25/219.58 eprover: CPU time limit exceeded, terminating
% 239.44/221.59 eprover: CPU time limit exceeded, terminating
% 241.66/223.61 eprover: CPU time limit exceeded, terminating
% 243.85/225.62 eprover: CPU time limit exceeded, terminating
% 245.99/227.63 eprover: CPU time limit exceeded, terminating
% 248.18/229.65 eprover: CPU time limit exceeded, terminating
% 250.33/231.65 eprover: CPU time limit exceeded, terminating
% 252.53/233.67 eprover: CPU time limit exceeded, terminating
% 254.72/235.68 eprover: CPU time limit exceeded, terminating
% 256.92/237.69 eprover: CPU time limit exceeded, terminating
% 261.07/239.70 eprover: CPU time limit exceeded, terminating
% 263.25/241.72 eprover: CPU time limit exceeded, terminating
% 265.41/243.73 eprover: CPU time limit exceeded, terminating
% 267.56/245.74 eprover: CPU time limit exceeded, terminating
% 269.74/247.75 eprover: CPU time limit exceeded, terminating
% 271.88/249.76 eprover: CPU time limit exceeded, terminating
% 274.04/251.78 eprover: CPU time limit exceeded, terminating
% 276.24/253.79 eprover: CPU time limit exceeded, terminating
% 278.47/255.80 eprover: CPU time limit exceeded, terminating
% 280.66/257.82 eprover: CPU time limit exceeded, terminating
% 282.84/259.83 eprover: CPU time limit exceeded, terminating
% 284.97/261.84 eprover: CPU time limit exceeded, terminating
% 287.13/263.85 eprover: CPU time limit exceeded, terminating
% 289.31/265.86 eprover: CPU time limit exceeded, terminating
% 291.48/267.87 eprover: CPU time limit exceeded, terminating
% 293.61/269.88 eprover: CPU time limit exceeded, terminating
% 295.86/271.90 eprover: CPU time limit exceeded, terminating
% 298.05/273.91 eprover: CPU time limit exceeded, terminating
% 300.01/275.71 eprover: CPU time limit exceeded, terminating
% 300.01/275.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------