TSTP Solution File: CSR263+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR263+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:36:11 EDT 2022
% Result : Timeout 285.82s 260.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR263+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Fri Jun 10 12:02:05 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.91/5.96 eprover: CPU time limit exceeded, terminating
% 8.11/7.97 eprover: CPU time limit exceeded, terminating
% 10.32/9.99 eprover: CPU time limit exceeded, terminating
% 12.58/12.00 eprover: CPU time limit exceeded, terminating
% 14.74/14.02 eprover: CPU time limit exceeded, terminating
% 16.95/16.04 eprover: CPU time limit exceeded, terminating
% 19.16/18.06 eprover: CPU time limit exceeded, terminating
% 21.34/20.07 eprover: CPU time limit exceeded, terminating
% 23.59/22.10 eprover: CPU time limit exceeded, terminating
% 25.79/24.12 eprover: CPU time limit exceeded, terminating
% 27.98/26.14 eprover: CPU time limit exceeded, terminating
% 30.18/28.15 eprover: CPU time limit exceeded, terminating
% 32.38/30.16 eprover: CPU time limit exceeded, terminating
% 34.59/32.18 eprover: CPU time limit exceeded, terminating
% 36.77/34.19 eprover: CPU time limit exceeded, terminating
% 39.05/36.21 eprover: CPU time limit exceeded, terminating
% 41.24/38.23 eprover: CPU time limit exceeded, terminating
% 43.43/40.24 eprover: CPU time limit exceeded, terminating
% 45.64/42.26 eprover: CPU time limit exceeded, terminating
% 47.83/44.27 eprover: CPU time limit exceeded, terminating
% 50.03/46.29 eprover: CPU time limit exceeded, terminating
% 52.30/48.31 eprover: CPU time limit exceeded, terminating
% 54.48/50.32 eprover: CPU time limit exceeded, terminating
% 56.67/52.35 eprover: CPU time limit exceeded, terminating
% 58.87/54.36 eprover: CPU time limit exceeded, terminating
% 61.06/56.39 eprover: CPU time limit exceeded, terminating
% 63.36/58.41 eprover: CPU time limit exceeded, terminating
% 65.56/60.43 eprover: CPU time limit exceeded, terminating
% 67.74/62.44 eprover: CPU time limit exceeded, terminating
% 69.97/64.46 eprover: CPU time limit exceeded, terminating
% 72.14/66.48 eprover: CPU time limit exceeded, terminating
% 74.37/68.49 eprover: CPU time limit exceeded, terminating
% 76.59/70.51 eprover: CPU time limit exceeded, terminating
% 78.79/72.52 eprover: CPU time limit exceeded, terminating
% 81.01/74.54 eprover: CPU time limit exceeded, terminating
% 83.23/76.55 eprover: CPU time limit exceeded, terminating
% 85.45/78.57 eprover: CPU time limit exceeded, terminating
% 87.61/80.59 eprover: CPU time limit exceeded, terminating
% 89.79/82.61 eprover: CPU time limit exceeded, terminating
% 92.03/84.62 eprover: CPU time limit exceeded, terminating
% 94.24/86.64 eprover: CPU time limit exceeded, terminating
% 96.45/88.66 eprover: CPU time limit exceeded, terminating
% 98.65/90.67 eprover: CPU time limit exceeded, terminating
% 100.83/92.69 eprover: CPU time limit exceeded, terminating
% 103.06/94.70 eprover: CPU time limit exceeded, terminating
% 105.22/96.72 eprover: CPU time limit exceeded, terminating
% 107.46/98.75 eprover: CPU time limit exceeded, terminating
% 109.63/100.77 eprover: CPU time limit exceeded, terminating
% 111.88/102.78 eprover: CPU time limit exceeded, terminating
% 114.08/104.80 eprover: CPU time limit exceeded, terminating
% 116.27/106.81 eprover: CPU time limit exceeded, terminating
% 118.48/108.83 eprover: CPU time limit exceeded, terminating
% 120.71/110.85 eprover: CPU time limit exceeded, terminating
% 122.94/112.87 eprover: CPU time limit exceeded, terminating
% 125.13/114.89 eprover: CPU time limit exceeded, terminating
% 127.32/116.90 eprover: CPU time limit exceeded, terminating
% 129.50/118.91 eprover: CPU time limit exceeded, terminating
% 131.75/120.93 eprover: CPU time limit exceeded, terminating
% 133.98/122.95 eprover: CPU time limit exceeded, terminating
% 136.21/124.96 eprover: CPU time limit exceeded, terminating
% 138.40/126.98 eprover: CPU time limit exceeded, terminating
% 140.60/129.00 eprover: CPU time limit exceeded, terminating
% 142.85/131.01 eprover: CPU time limit exceeded, terminating
% 145.07/133.03 eprover: CPU time limit exceeded, terminating
% 147.27/135.05 eprover: CPU time limit exceeded, terminating
% 149.47/137.06 eprover: CPU time limit exceeded, terminating
% 151.68/139.07 eprover: CPU time limit exceeded, terminating
% 153.89/141.08 eprover: CPU time limit exceeded, terminating
% 156.08/143.09 eprover: CPU time limit exceeded, terminating
% 158.32/145.10 eprover: CPU time limit exceeded, terminating
% 160.50/147.12 eprover: CPU time limit exceeded, terminating
% 162.70/149.13 eprover: CPU time limit exceeded, terminating
% 164.90/151.14 eprover: CPU time limit exceeded, terminating
% 167.08/153.15 eprover: CPU time limit exceeded, terminating
% 169.35/155.17 eprover: CPU time limit exceeded, terminating
% 171.55/157.18 eprover: CPU time limit exceeded, terminating
% 173.78/159.20 eprover: CPU time limit exceeded, terminating
% 175.94/161.21 eprover: CPU time limit exceeded, terminating
% 178.12/163.22 eprover: CPU time limit exceeded, terminating
% 180.35/165.24 eprover: CPU time limit exceeded, terminating
% 182.57/167.25 eprover: CPU time limit exceeded, terminating
% 184.77/169.27 eprover: CPU time limit exceeded, terminating
% 187.00/171.29 eprover: CPU time limit exceeded, terminating
% 189.16/173.31 eprover: CPU time limit exceeded, terminating
% 193.29/175.32 eprover: CPU time limit exceeded, terminating
% 195.55/177.34 eprover: CPU time limit exceeded, terminating
% 197.74/179.36 eprover: CPU time limit exceeded, terminating
% 199.93/181.38 eprover: CPU time limit exceeded, terminating
% 202.15/183.40 eprover: CPU time limit exceeded, terminating
% 204.37/185.42 eprover: CPU time limit exceeded, terminating
% 206.53/187.43 eprover: CPU time limit exceeded, terminating
% 208.76/189.45 eprover: CPU time limit exceeded, terminating
% 210.94/191.47 eprover: CPU time limit exceeded, terminating
% 213.17/193.49 eprover: CPU time limit exceeded, terminating
% 215.37/195.50 eprover: CPU time limit exceeded, terminating
% 217.58/197.52 eprover: CPU time limit exceeded, terminating
% 219.74/199.54 eprover: CPU time limit exceeded, terminating
% 222.01/201.55 eprover: CPU time limit exceeded, terminating
% 224.19/203.57 eprover: CPU time limit exceeded, terminating
% 226.42/205.58 eprover: CPU time limit exceeded, terminating
% 228.61/207.61 eprover: CPU time limit exceeded, terminating
% 230.82/209.62 eprover: CPU time limit exceeded, terminating
% 233.01/211.64 eprover: CPU time limit exceeded, terminating
% 235.14/213.66 eprover: CPU time limit exceeded, terminating
% 237.41/215.67 eprover: CPU time limit exceeded, terminating
% 239.60/217.69 eprover: CPU time limit exceeded, terminating
% 241.82/219.70 eprover: CPU time limit exceeded, terminating
% 243.97/221.72 eprover: CPU time limit exceeded, terminating
% 246.16/223.74 eprover: CPU time limit exceeded, terminating
% 248.44/225.75 eprover: CPU time limit exceeded, terminating
% 250.65/227.76 eprover: CPU time limit exceeded, terminating
% 252.78/229.78 eprover: CPU time limit exceeded, terminating
% 255.01/231.80 eprover: CPU time limit exceeded, terminating
% 257.22/233.81 eprover: CPU time limit exceeded, terminating
% 259.37/235.83 eprover: CPU time limit exceeded, terminating
% 261.63/237.84 eprover: CPU time limit exceeded, terminating
% 263.80/239.87 eprover: CPU time limit exceeded, terminating
% 266.04/241.89 eprover: CPU time limit exceeded, terminating
% 268.21/243.90 eprover: CPU time limit exceeded, terminating
% 270.44/245.92 eprover: CPU time limit exceeded, terminating
% 272.60/247.93 eprover: CPU time limit exceeded, terminating
% 274.79/249.94 eprover: CPU time limit exceeded, terminating
% 277.05/251.97 eprover: CPU time limit exceeded, terminating
% 279.25/253.98 eprover: CPU time limit exceeded, terminating
% 281.44/256.00 eprover: CPU time limit exceeded, terminating
% 283.66/258.01 eprover: CPU time limit exceeded, terminating
% 285.82/260.03 eprover: CPU time limit exceeded, terminating
% 288.02/262.04 eprover: CPU time limit exceeded, terminating
% 290.24/264.05 eprover: CPU time limit exceeded, terminating
% 292.48/266.07 eprover: CPU time limit exceeded, terminating
% 294.67/268.09 eprover: CPU time limit exceeded, terminating
% 296.84/270.10 eprover: CPU time limit exceeded, terminating
% 299.02/272.12 eprover: CPU time limit exceeded, terminating
% 300.08/272.93 eprover: CPU time limit exceeded, terminating
% 300.08/272.95 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------