TSTP Solution File: CSR030+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR030+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:19 EDT 2022
% Result : Timeout 287.77s 265.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR030+3 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n014.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 17:21:38 EDT 2022
% 0.19/0.34 % CPUTime :
% 4.39/4.42 eprover: CPU time limit exceeded, terminating
% 6.51/6.43 eprover: CPU time limit exceeded, terminating
% 8.68/8.44 eprover: CPU time limit exceeded, terminating
% 10.88/10.45 eprover: CPU time limit exceeded, terminating
% 13.03/12.46 eprover: CPU time limit exceeded, terminating
% 15.22/14.47 eprover: CPU time limit exceeded, terminating
% 17.33/16.48 eprover: CPU time limit exceeded, terminating
% 19.58/18.49 eprover: CPU time limit exceeded, terminating
% 21.78/20.50 eprover: CPU time limit exceeded, terminating
% 23.89/22.51 eprover: CPU time limit exceeded, terminating
% 26.13/24.52 eprover: CPU time limit exceeded, terminating
% 28.29/26.54 eprover: CPU time limit exceeded, terminating
% 30.50/28.55 eprover: CPU time limit exceeded, terminating
% 32.69/30.56 eprover: CPU time limit exceeded, terminating
% 34.82/32.57 eprover: CPU time limit exceeded, terminating
% 37.00/34.58 eprover: CPU time limit exceeded, terminating
% 39.17/36.59 eprover: CPU time limit exceeded, terminating
% 41.43/38.60 eprover: CPU time limit exceeded, terminating
% 43.60/40.62 eprover: CPU time limit exceeded, terminating
% 45.78/42.63 eprover: CPU time limit exceeded, terminating
% 47.97/44.64 eprover: CPU time limit exceeded, terminating
% 50.12/46.65 eprover: CPU time limit exceeded, terminating
% 52.33/48.66 eprover: CPU time limit exceeded, terminating
% 54.50/50.67 eprover: CPU time limit exceeded, terminating
% 56.65/52.68 eprover: CPU time limit exceeded, terminating
% 58.93/54.69 eprover: CPU time limit exceeded, terminating
% 61.12/56.71 eprover: CPU time limit exceeded, terminating
% 63.27/58.72 eprover: CPU time limit exceeded, terminating
% 65.44/60.73 eprover: CPU time limit exceeded, terminating
% 67.63/62.74 eprover: CPU time limit exceeded, terminating
% 69.79/64.75 eprover: CPU time limit exceeded, terminating
% 71.97/66.76 eprover: CPU time limit exceeded, terminating
% 74.14/68.77 eprover: CPU time limit exceeded, terminating
% 76.39/70.78 eprover: CPU time limit exceeded, terminating
% 78.48/72.80 eprover: CPU time limit exceeded, terminating
% 80.66/74.81 eprover: CPU time limit exceeded, terminating
% 82.93/76.82 eprover: CPU time limit exceeded, terminating
% 85.12/78.83 eprover: CPU time limit exceeded, terminating
% 87.27/80.84 eprover: CPU time limit exceeded, terminating
% 89.46/82.85 eprover: CPU time limit exceeded, terminating
% 91.63/84.86 eprover: CPU time limit exceeded, terminating
% 93.81/86.87 eprover: CPU time limit exceeded, terminating
% 95.99/88.89 eprover: CPU time limit exceeded, terminating
% 98.25/90.90 eprover: CPU time limit exceeded, terminating
% 100.42/92.91 eprover: CPU time limit exceeded, terminating
% 102.60/94.92 eprover: CPU time limit exceeded, terminating
% 104.76/96.93 eprover: CPU time limit exceeded, terminating
% 106.95/98.94 eprover: CPU time limit exceeded, terminating
% 109.12/100.95 eprover: CPU time limit exceeded, terminating
% 111.27/102.96 eprover: CPU time limit exceeded, terminating
% 113.53/104.98 eprover: CPU time limit exceeded, terminating
% 115.64/106.99 eprover: CPU time limit exceeded, terminating
% 117.89/109.00 eprover: CPU time limit exceeded, terminating
% 120.05/111.01 eprover: CPU time limit exceeded, terminating
% 122.25/113.02 eprover: CPU time limit exceeded, terminating
% 124.42/115.04 eprover: CPU time limit exceeded, terminating
% 126.59/117.05 eprover: CPU time limit exceeded, terminating
% 128.75/119.06 eprover: CPU time limit exceeded, terminating
% 130.90/121.07 eprover: CPU time limit exceeded, terminating
% 133.08/123.08 eprover: CPU time limit exceeded, terminating
% 135.34/125.10 eprover: CPU time limit exceeded, terminating
% 137.51/127.11 eprover: CPU time limit exceeded, terminating
% 139.70/129.12 eprover: CPU time limit exceeded, terminating
% 141.86/131.13 eprover: CPU time limit exceeded, terminating
% 144.04/133.14 eprover: CPU time limit exceeded, terminating
% 146.20/135.15 eprover: CPU time limit exceeded, terminating
% 148.35/137.17 eprover: CPU time limit exceeded, terminating
% 150.54/139.18 eprover: CPU time limit exceeded, terminating
% 152.70/141.19 eprover: CPU time limit exceeded, terminating
% 154.95/143.20 eprover: CPU time limit exceeded, terminating
% 157.13/145.21 eprover: CPU time limit exceeded, terminating
% 159.30/147.22 eprover: CPU time limit exceeded, terminating
% 161.47/149.24 eprover: CPU time limit exceeded, terminating
% 163.63/151.25 eprover: CPU time limit exceeded, terminating
% 165.78/153.26 eprover: CPU time limit exceeded, terminating
% 167.97/155.27 eprover: CPU time limit exceeded, terminating
% 170.13/157.28 eprover: CPU time limit exceeded, terminating
% 172.28/159.30 eprover: CPU time limit exceeded, terminating
% 174.56/161.31 eprover: CPU time limit exceeded, terminating
% 176.75/163.32 eprover: CPU time limit exceeded, terminating
% 178.89/165.33 eprover: CPU time limit exceeded, terminating
% 181.07/167.34 eprover: CPU time limit exceeded, terminating
% 183.24/169.35 eprover: CPU time limit exceeded, terminating
% 185.38/171.37 eprover: CPU time limit exceeded, terminating
% 187.56/173.38 eprover: CPU time limit exceeded, terminating
% 189.75/175.39 eprover: CPU time limit exceeded, terminating
% 191.99/177.40 eprover: CPU time limit exceeded, terminating
% 194.14/179.41 eprover: CPU time limit exceeded, terminating
% 196.33/181.43 eprover: CPU time limit exceeded, terminating
% 198.48/183.44 eprover: CPU time limit exceeded, terminating
% 200.68/185.45 eprover: CPU time limit exceeded, terminating
% 202.83/187.46 eprover: CPU time limit exceeded, terminating
% 205.02/189.47 eprover: CPU time limit exceeded, terminating
% 207.18/191.48 eprover: CPU time limit exceeded, terminating
% 209.41/193.50 eprover: CPU time limit exceeded, terminating
% 211.62/195.51 eprover: CPU time limit exceeded, terminating
% 213.78/197.52 eprover: CPU time limit exceeded, terminating
% 215.93/199.53 eprover: CPU time limit exceeded, terminating
% 218.11/201.55 eprover: CPU time limit exceeded, terminating
% 220.28/203.56 eprover: CPU time limit exceeded, terminating
% 222.41/205.57 eprover: CPU time limit exceeded, terminating
% 224.62/207.58 eprover: CPU time limit exceeded, terminating
% 226.81/209.59 eprover: CPU time limit exceeded, terminating
% 229.04/211.61 eprover: CPU time limit exceeded, terminating
% 231.20/213.62 eprover: CPU time limit exceeded, terminating
% 233.38/215.63 eprover: CPU time limit exceeded, terminating
% 235.57/217.64 eprover: CPU time limit exceeded, terminating
% 237.71/219.65 eprover: CPU time limit exceeded, terminating
% 239.90/221.67 eprover: CPU time limit exceeded, terminating
% 242.04/223.68 eprover: CPU time limit exceeded, terminating
% 244.32/225.69 eprover: CPU time limit exceeded, terminating
% 246.41/227.70 eprover: CPU time limit exceeded, terminating
% 248.66/229.71 eprover: CPU time limit exceeded, terminating
% 250.80/231.72 eprover: CPU time limit exceeded, terminating
% 252.96/233.73 eprover: CPU time limit exceeded, terminating
% 255.15/235.74 eprover: CPU time limit exceeded, terminating
% 257.28/237.75 eprover: CPU time limit exceeded, terminating
% 259.47/239.76 eprover: CPU time limit exceeded, terminating
% 261.64/241.77 eprover: CPU time limit exceeded, terminating
% 263.86/243.78 eprover: CPU time limit exceeded, terminating
% 265.93/245.79 eprover: CPU time limit exceeded, terminating
% 268.12/247.80 eprover: CPU time limit exceeded, terminating
% 270.36/249.81 eprover: CPU time limit exceeded, terminating
% 272.51/251.82 eprover: CPU time limit exceeded, terminating
% 274.69/253.83 eprover: CPU time limit exceeded, terminating
% 276.85/255.84 eprover: CPU time limit exceeded, terminating
% 279.02/257.85 eprover: CPU time limit exceeded, terminating
% 281.19/259.86 eprover: CPU time limit exceeded, terminating
% 283.35/261.88 eprover: CPU time limit exceeded, terminating
% 285.50/263.89 eprover: CPU time limit exceeded, terminating
% 287.77/265.90 eprover: CPU time limit exceeded, terminating
% 289.93/267.91 eprover: CPU time limit exceeded, terminating
% 292.07/269.92 eprover: CPU time limit exceeded, terminating
% 294.27/271.94 eprover: CPU time limit exceeded, terminating
% 296.45/273.95 eprover: CPU time limit exceeded, terminating
% 298.59/275.96 eprover: CPU time limit exceeded, terminating
% 300.05/277.21 eprover: CPU time limit exceeded, terminating
% 300.05/277.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------