TSTP Solution File: CSR035+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR035+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:22 EDT 2022
% Result : Timeout 287.56s 266.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : CSR035+3 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.16/0.37 % Computer : n022.cluster.edu
% 0.16/0.37 % Model : x86_64 x86_64
% 0.16/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.16/0.37 % Memory : 8042.1875MB
% 0.16/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.16/0.37 % CPULimit : 300
% 0.16/0.37 % WCLimit : 600
% 0.16/0.37 % DateTime : Fri Jun 10 17:33:04 EDT 2022
% 0.16/0.37 % CPUTime :
% 4.35/4.44 eprover: CPU time limit exceeded, terminating
% 6.48/6.45 eprover: CPU time limit exceeded, terminating
% 8.71/8.47 eprover: CPU time limit exceeded, terminating
% 10.82/10.48 eprover: CPU time limit exceeded, terminating
% 13.03/12.49 eprover: CPU time limit exceeded, terminating
% 15.22/14.51 eprover: CPU time limit exceeded, terminating
% 17.33/16.52 eprover: CPU time limit exceeded, terminating
% 19.58/18.53 eprover: CPU time limit exceeded, terminating
% 21.77/20.55 eprover: CPU time limit exceeded, terminating
% 23.96/22.56 eprover: CPU time limit exceeded, terminating
% 26.10/24.57 eprover: CPU time limit exceeded, terminating
% 28.35/26.59 eprover: CPU time limit exceeded, terminating
% 30.55/28.60 eprover: CPU time limit exceeded, terminating
% 32.75/30.61 eprover: CPU time limit exceeded, terminating
% 34.90/32.63 eprover: CPU time limit exceeded, terminating
% 37.09/34.64 eprover: CPU time limit exceeded, terminating
% 39.29/36.65 eprover: CPU time limit exceeded, terminating
% 41.44/38.66 eprover: CPU time limit exceeded, terminating
% 43.65/40.68 eprover: CPU time limit exceeded, terminating
% 45.80/42.69 eprover: CPU time limit exceeded, terminating
% 48.07/44.70 eprover: CPU time limit exceeded, terminating
% 50.24/46.72 eprover: CPU time limit exceeded, terminating
% 52.43/48.73 eprover: CPU time limit exceeded, terminating
% 54.59/50.74 eprover: CPU time limit exceeded, terminating
% 56.76/52.76 eprover: CPU time limit exceeded, terminating
% 58.95/54.77 eprover: CPU time limit exceeded, terminating
% 61.19/56.78 eprover: CPU time limit exceeded, terminating
% 63.30/58.80 eprover: CPU time limit exceeded, terminating
% 65.51/60.81 eprover: CPU time limit exceeded, terminating
% 67.74/62.82 eprover: CPU time limit exceeded, terminating
% 69.94/64.84 eprover: CPU time limit exceeded, terminating
% 72.08/66.85 eprover: CPU time limit exceeded, terminating
% 74.24/68.86 eprover: CPU time limit exceeded, terminating
% 76.50/70.88 eprover: CPU time limit exceeded, terminating
% 78.62/72.89 eprover: CPU time limit exceeded, terminating
% 80.87/74.90 eprover: CPU time limit exceeded, terminating
% 82.95/76.92 eprover: CPU time limit exceeded, terminating
% 85.24/78.93 eprover: CPU time limit exceeded, terminating
% 87.42/80.94 eprover: CPU time limit exceeded, terminating
% 89.63/82.95 eprover: CPU time limit exceeded, terminating
% 91.81/84.97 eprover: CPU time limit exceeded, terminating
% 93.97/86.98 eprover: CPU time limit exceeded, terminating
% 96.19/89.00 eprover: CPU time limit exceeded, terminating
% 98.41/91.01 eprover: CPU time limit exceeded, terminating
% 100.59/93.02 eprover: CPU time limit exceeded, terminating
% 102.77/95.03 eprover: CPU time limit exceeded, terminating
% 104.90/97.05 eprover: CPU time limit exceeded, terminating
% 107.09/99.06 eprover: CPU time limit exceeded, terminating
% 109.30/101.07 eprover: CPU time limit exceeded, terminating
% 111.53/103.08 eprover: CPU time limit exceeded, terminating
% 113.64/105.10 eprover: CPU time limit exceeded, terminating
% 115.90/107.11 eprover: CPU time limit exceeded, terminating
% 118.05/109.12 eprover: CPU time limit exceeded, terminating
% 120.22/111.14 eprover: CPU time limit exceeded, terminating
% 122.43/113.15 eprover: CPU time limit exceeded, terminating
% 124.58/115.16 eprover: CPU time limit exceeded, terminating
% 126.80/117.18 eprover: CPU time limit exceeded, terminating
% 129.02/119.19 eprover: CPU time limit exceeded, terminating
% 131.14/121.20 eprover: CPU time limit exceeded, terminating
% 133.35/123.22 eprover: CPU time limit exceeded, terminating
% 135.56/125.23 eprover: CPU time limit exceeded, terminating
% 137.70/127.24 eprover: CPU time limit exceeded, terminating
% 139.91/129.26 eprover: CPU time limit exceeded, terminating
% 142.12/131.27 eprover: CPU time limit exceeded, terminating
% 144.24/133.28 eprover: CPU time limit exceeded, terminating
% 146.49/135.29 eprover: CPU time limit exceeded, terminating
% 148.68/137.31 eprover: CPU time limit exceeded, terminating
% 150.86/139.32 eprover: CPU time limit exceeded, terminating
% 153.08/141.33 eprover: CPU time limit exceeded, terminating
% 155.23/143.35 eprover: CPU time limit exceeded, terminating
% 157.44/145.36 eprover: CPU time limit exceeded, terminating
% 159.59/147.37 eprover: CPU time limit exceeded, terminating
% 161.77/149.39 eprover: CPU time limit exceeded, terminating
% 163.99/151.40 eprover: CPU time limit exceeded, terminating
% 166.11/153.41 eprover: CPU time limit exceeded, terminating
% 168.31/155.42 eprover: CPU time limit exceeded, terminating
% 170.53/157.43 eprover: CPU time limit exceeded, terminating
% 172.71/159.44 eprover: CPU time limit exceeded, terminating
% 174.84/161.45 eprover: CPU time limit exceeded, terminating
% 177.00/163.46 eprover: CPU time limit exceeded, terminating
% 179.18/165.47 eprover: CPU time limit exceeded, terminating
% 181.33/167.48 eprover: CPU time limit exceeded, terminating
% 183.56/169.49 eprover: CPU time limit exceeded, terminating
% 185.75/171.50 eprover: CPU time limit exceeded, terminating
% 187.88/173.51 eprover: CPU time limit exceeded, terminating
% 190.09/175.52 eprover: CPU time limit exceeded, terminating
% 192.26/177.53 eprover: CPU time limit exceeded, terminating
% 194.41/179.54 eprover: CPU time limit exceeded, terminating
% 196.58/181.55 eprover: CPU time limit exceeded, terminating
% 198.77/183.56 eprover: CPU time limit exceeded, terminating
% 200.90/185.57 eprover: CPU time limit exceeded, terminating
% 203.10/187.59 eprover: CPU time limit exceeded, terminating
% 205.24/189.60 eprover: CPU time limit exceeded, terminating
% 207.45/191.61 eprover: CPU time limit exceeded, terminating
% 209.60/193.62 eprover: CPU time limit exceeded, terminating
% 211.76/195.63 eprover: CPU time limit exceeded, terminating
% 213.95/197.64 eprover: CPU time limit exceeded, terminating
% 216.10/199.65 eprover: CPU time limit exceeded, terminating
% 218.25/201.66 eprover: CPU time limit exceeded, terminating
% 220.43/203.68 eprover: CPU time limit exceeded, terminating
% 222.56/205.69 eprover: CPU time limit exceeded, terminating
% 224.74/207.70 eprover: CPU time limit exceeded, terminating
% 226.93/209.71 eprover: CPU time limit exceeded, terminating
% 229.07/211.72 eprover: CPU time limit exceeded, terminating
% 231.30/213.73 eprover: CPU time limit exceeded, terminating
% 233.40/215.74 eprover: CPU time limit exceeded, terminating
% 235.64/217.75 eprover: CPU time limit exceeded, terminating
% 237.72/219.77 eprover: CPU time limit exceeded, terminating
% 239.94/221.78 eprover: CPU time limit exceeded, terminating
% 242.13/223.79 eprover: CPU time limit exceeded, terminating
% 244.24/225.80 eprover: CPU time limit exceeded, terminating
% 246.41/227.81 eprover: CPU time limit exceeded, terminating
% 248.62/229.82 eprover: CPU time limit exceeded, terminating
% 250.75/231.83 eprover: CPU time limit exceeded, terminating
% 252.96/233.85 eprover: CPU time limit exceeded, terminating
% 255.07/235.86 eprover: CPU time limit exceeded, terminating
% 257.28/237.87 eprover: CPU time limit exceeded, terminating
% 259.48/239.88 eprover: CPU time limit exceeded, terminating
% 261.61/241.89 eprover: CPU time limit exceeded, terminating
% 263.79/243.90 eprover: CPU time limit exceeded, terminating
% 265.91/245.91 eprover: CPU time limit exceeded, terminating
% 268.09/247.93 eprover: CPU time limit exceeded, terminating
% 270.31/249.94 eprover: CPU time limit exceeded, terminating
% 272.48/251.95 eprover: CPU time limit exceeded, terminating
% 274.63/253.96 eprover: CPU time limit exceeded, terminating
% 276.80/255.97 eprover: CPU time limit exceeded, terminating
% 278.97/257.98 eprover: CPU time limit exceeded, terminating
% 281.13/259.99 eprover: CPU time limit exceeded, terminating
% 283.27/262.00 eprover: CPU time limit exceeded, terminating
% 285.46/264.01 eprover: CPU time limit exceeded, terminating
% 287.56/266.02 eprover: CPU time limit exceeded, terminating
% 289.77/268.03 eprover: CPU time limit exceeded, terminating
% 291.96/270.05 eprover: CPU time limit exceeded, terminating
% 294.15/272.06 eprover: CPU time limit exceeded, terminating
% 296.27/274.07 eprover: CPU time limit exceeded, terminating
% 298.45/276.08 eprover: CPU time limit exceeded, terminating
% 300.06/277.49 eprover: CPU time limit exceeded, terminating
% 300.06/277.50 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------