TSTP Solution File: CSR069+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR069+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:48 EDT 2022
% Result : Timeout 287.68s 265.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR069+3 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.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 15:45:51 EDT 2022
% 0.12/0.33 % CPUTime :
% 4.35/4.45 eprover: CPU time limit exceeded, terminating
% 6.53/6.46 eprover: CPU time limit exceeded, terminating
% 8.73/8.47 eprover: CPU time limit exceeded, terminating
% 10.86/10.48 eprover: CPU time limit exceeded, terminating
% 13.06/12.49 eprover: CPU time limit exceeded, terminating
% 15.20/14.50 eprover: CPU time limit exceeded, terminating
% 17.45/16.51 eprover: CPU time limit exceeded, terminating
% 19.61/18.52 eprover: CPU time limit exceeded, terminating
% 21.74/20.53 eprover: CPU time limit exceeded, terminating
% 23.94/22.54 eprover: CPU time limit exceeded, terminating
% 26.07/24.55 eprover: CPU time limit exceeded, terminating
% 28.29/26.56 eprover: CPU time limit exceeded, terminating
% 30.50/28.57 eprover: CPU time limit exceeded, terminating
% 32.65/30.58 eprover: CPU time limit exceeded, terminating
% 34.84/32.60 eprover: CPU time limit exceeded, terminating
% 37.07/34.61 eprover: CPU time limit exceeded, terminating
% 39.17/36.62 eprover: CPU time limit exceeded, terminating
% 41.41/38.63 eprover: CPU time limit exceeded, terminating
% 43.58/40.64 eprover: CPU time limit exceeded, terminating
% 45.74/42.65 eprover: CPU time limit exceeded, terminating
% 47.93/44.66 eprover: CPU time limit exceeded, terminating
% 50.11/46.67 eprover: CPU time limit exceeded, terminating
% 52.29/48.68 eprover: CPU time limit exceeded, terminating
% 54.48/50.69 eprover: CPU time limit exceeded, terminating
% 56.66/52.70 eprover: CPU time limit exceeded, terminating
% 58.81/54.71 eprover: CPU time limit exceeded, terminating
% 61.03/56.73 eprover: CPU time limit exceeded, terminating
% 63.15/58.74 eprover: CPU time limit exceeded, terminating
% 65.39/60.75 eprover: CPU time limit exceeded, terminating
% 67.52/62.76 eprover: CPU time limit exceeded, terminating
% 69.73/64.77 eprover: CPU time limit exceeded, terminating
% 71.86/66.78 eprover: CPU time limit exceeded, terminating
% 74.10/68.79 eprover: CPU time limit exceeded, terminating
% 76.27/70.80 eprover: CPU time limit exceeded, terminating
% 78.43/72.81 eprover: CPU time limit exceeded, terminating
% 80.55/74.82 eprover: CPU time limit exceeded, terminating
% 82.82/76.83 eprover: CPU time limit exceeded, terminating
% 84.95/78.84 eprover: CPU time limit exceeded, terminating
% 87.13/80.86 eprover: CPU time limit exceeded, terminating
% 89.27/82.87 eprover: CPU time limit exceeded, terminating
% 91.48/84.88 eprover: CPU time limit exceeded, terminating
% 93.72/86.89 eprover: CPU time limit exceeded, terminating
% 95.84/88.90 eprover: CPU time limit exceeded, terminating
% 98.07/90.91 eprover: CPU time limit exceeded, terminating
% 100.27/92.92 eprover: CPU time limit exceeded, terminating
% 102.42/94.93 eprover: CPU time limit exceeded, terminating
% 104.62/96.94 eprover: CPU time limit exceeded, terminating
% 106.77/98.95 eprover: CPU time limit exceeded, terminating
% 108.99/100.96 eprover: CPU time limit exceeded, terminating
% 111.12/102.97 eprover: CPU time limit exceeded, terminating
% 113.34/104.98 eprover: CPU time limit exceeded, terminating
% 115.52/106.99 eprover: CPU time limit exceeded, terminating
% 117.61/109.01 eprover: CPU time limit exceeded, terminating
% 119.86/111.02 eprover: CPU time limit exceeded, terminating
% 122.05/113.03 eprover: CPU time limit exceeded, terminating
% 124.21/115.04 eprover: CPU time limit exceeded, terminating
% 126.38/117.05 eprover: CPU time limit exceeded, terminating
% 128.57/119.06 eprover: CPU time limit exceeded, terminating
% 130.73/121.07 eprover: CPU time limit exceeded, terminating
% 132.90/123.08 eprover: CPU time limit exceeded, terminating
% 135.12/125.09 eprover: CPU time limit exceeded, terminating
% 137.23/127.10 eprover: CPU time limit exceeded, terminating
% 139.46/129.11 eprover: CPU time limit exceeded, terminating
% 141.65/131.12 eprover: CPU time limit exceeded, terminating
% 143.83/133.13 eprover: CPU time limit exceeded, terminating
% 146.00/135.15 eprover: CPU time limit exceeded, terminating
% 148.19/137.16 eprover: CPU time limit exceeded, terminating
% 150.35/139.17 eprover: CPU time limit exceeded, terminating
% 152.50/141.18 eprover: CPU time limit exceeded, terminating
% 154.76/143.19 eprover: CPU time limit exceeded, terminating
% 156.89/145.20 eprover: CPU time limit exceeded, terminating
% 159.13/147.21 eprover: CPU time limit exceeded, terminating
% 161.30/149.22 eprover: CPU time limit exceeded, terminating
% 163.47/151.23 eprover: CPU time limit exceeded, terminating
% 165.66/153.25 eprover: CPU time limit exceeded, terminating
% 167.79/155.26 eprover: CPU time limit exceeded, terminating
% 170.00/157.27 eprover: CPU time limit exceeded, terminating
% 172.12/159.28 eprover: CPU time limit exceeded, terminating
% 174.38/161.29 eprover: CPU time limit exceeded, terminating
% 176.57/163.30 eprover: CPU time limit exceeded, terminating
% 178.73/165.31 eprover: CPU time limit exceeded, terminating
% 180.89/167.32 eprover: CPU time limit exceeded, terminating
% 183.09/169.33 eprover: CPU time limit exceeded, terminating
% 185.23/171.35 eprover: CPU time limit exceeded, terminating
% 187.45/173.36 eprover: CPU time limit exceeded, terminating
% 189.61/175.37 eprover: CPU time limit exceeded, terminating
% 191.74/177.38 eprover: CPU time limit exceeded, terminating
% 193.96/179.39 eprover: CPU time limit exceeded, terminating
% 196.18/181.40 eprover: CPU time limit exceeded, terminating
% 198.34/183.41 eprover: CPU time limit exceeded, terminating
% 200.52/185.42 eprover: CPU time limit exceeded, terminating
% 202.69/187.44 eprover: CPU time limit exceeded, terminating
% 204.86/189.45 eprover: CPU time limit exceeded, terminating
% 207.05/191.46 eprover: CPU time limit exceeded, terminating
% 209.20/193.47 eprover: CPU time limit exceeded, terminating
% 211.35/195.48 eprover: CPU time limit exceeded, terminating
% 213.50/197.49 eprover: CPU time limit exceeded, terminating
% 215.78/199.50 eprover: CPU time limit exceeded, terminating
% 217.93/201.51 eprover: CPU time limit exceeded, terminating
% 220.11/203.53 eprover: CPU time limit exceeded, terminating
% 222.30/205.54 eprover: CPU time limit exceeded, terminating
% 224.48/207.55 eprover: CPU time limit exceeded, terminating
% 226.62/209.56 eprover: CPU time limit exceeded, terminating
% 228.79/211.57 eprover: CPU time limit exceeded, terminating
% 230.99/213.58 eprover: CPU time limit exceeded, terminating
% 233.18/215.60 eprover: CPU time limit exceeded, terminating
% 235.44/217.61 eprover: CPU time limit exceeded, terminating
% 237.59/219.62 eprover: CPU time limit exceeded, terminating
% 239.76/221.63 eprover: CPU time limit exceeded, terminating
% 241.95/223.64 eprover: CPU time limit exceeded, terminating
% 244.09/225.65 eprover: CPU time limit exceeded, terminating
% 246.29/227.66 eprover: CPU time limit exceeded, terminating
% 248.45/229.67 eprover: CPU time limit exceeded, terminating
% 250.68/231.68 eprover: CPU time limit exceeded, terminating
% 252.85/233.70 eprover: CPU time limit exceeded, terminating
% 254.95/235.71 eprover: CPU time limit exceeded, terminating
% 257.21/237.72 eprover: CPU time limit exceeded, terminating
% 259.38/239.73 eprover: CPU time limit exceeded, terminating
% 261.53/241.74 eprover: CPU time limit exceeded, terminating
% 263.72/243.75 eprover: CPU time limit exceeded, terminating
% 265.91/245.76 eprover: CPU time limit exceeded, terminating
% 268.06/247.77 eprover: CPU time limit exceeded, terminating
% 270.25/249.78 eprover: CPU time limit exceeded, terminating
% 272.49/251.80 eprover: CPU time limit exceeded, terminating
% 274.59/253.81 eprover: CPU time limit exceeded, terminating
% 276.84/255.82 eprover: CPU time limit exceeded, terminating
% 279.00/257.83 eprover: CPU time limit exceeded, terminating
% 281.14/259.84 eprover: CPU time limit exceeded, terminating
% 283.32/261.85 eprover: CPU time limit exceeded, terminating
% 285.54/263.86 eprover: CPU time limit exceeded, terminating
% 287.68/265.87 eprover: CPU time limit exceeded, terminating
% 289.87/267.88 eprover: CPU time limit exceeded, terminating
% 292.04/269.89 eprover: CPU time limit exceeded, terminating
% 294.29/271.91 eprover: CPU time limit exceeded, terminating
% 296.47/273.92 eprover: CPU time limit exceeded, terminating
% 298.62/275.93 eprover: CPU time limit exceeded, terminating
% 300.03/277.13 eprover: CPU time limit exceeded, terminating
% 300.03/277.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------