TSTP Solution File: GRP646+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP646+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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 : Sat Jul 16 09:33:55 EDT 2022
% Result : Timeout 287.20s 255.91s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : GRP646+2 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.16/0.36 % Computer : n004.cluster.edu
% 0.16/0.36 % Model : x86_64 x86_64
% 0.16/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.16/0.36 % Memory : 8042.1875MB
% 0.16/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.16/0.36 % CPULimit : 300
% 0.16/0.36 % WCLimit : 600
% 0.16/0.36 % DateTime : Mon Jun 13 22:45:54 EDT 2022
% 0.16/0.36 % CPUTime :
% 23.63/23.56 eprover: CPU time limit exceeded, terminating
% 25.95/25.58 eprover: CPU time limit exceeded, terminating
% 28.28/27.60 eprover: CPU time limit exceeded, terminating
% 30.51/29.62 eprover: CPU time limit exceeded, terminating
% 32.81/31.64 eprover: CPU time limit exceeded, terminating
% 35.06/33.66 eprover: CPU time limit exceeded, terminating
% 37.41/35.69 eprover: CPU time limit exceeded, terminating
% 39.70/37.72 eprover: CPU time limit exceeded, terminating
% 41.97/39.74 eprover: CPU time limit exceeded, terminating
% 44.27/41.76 eprover: CPU time limit exceeded, terminating
% 46.52/43.79 eprover: CPU time limit exceeded, terminating
% 48.86/45.84 eprover: CPU time limit exceeded, terminating
% 51.20/47.86 eprover: CPU time limit exceeded, terminating
% 53.45/49.88 eprover: CPU time limit exceeded, terminating
% 55.77/51.90 eprover: CPU time limit exceeded, terminating
% 58.09/53.91 eprover: CPU time limit exceeded, terminating
% 60.39/55.94 eprover: CPU time limit exceeded, terminating
% 62.62/57.96 eprover: CPU time limit exceeded, terminating
% 64.90/59.98 eprover: CPU time limit exceeded, terminating
% 67.23/62.01 eprover: CPU time limit exceeded, terminating
% 69.55/64.06 eprover: CPU time limit exceeded, terminating
% 71.83/66.08 eprover: CPU time limit exceeded, terminating
% 74.13/68.10 eprover: CPU time limit exceeded, terminating
% 76.47/70.13 eprover: CPU time limit exceeded, terminating
% 78.75/72.15 eprover: CPU time limit exceeded, terminating
% 81.06/74.17 eprover: CPU time limit exceeded, terminating
% 83.33/76.20 eprover: CPU time limit exceeded, terminating
% 85.66/78.24 eprover: CPU time limit exceeded, terminating
% 87.93/80.26 eprover: CPU time limit exceeded, terminating
% 90.25/82.28 eprover: CPU time limit exceeded, terminating
% 92.56/84.30 eprover: CPU time limit exceeded, terminating
% 94.82/86.31 eprover: CPU time limit exceeded, terminating
% 97.11/88.33 eprover: CPU time limit exceeded, terminating
% 99.45/90.36 eprover: CPU time limit exceeded, terminating
% 101.73/92.38 eprover: CPU time limit exceeded, terminating
% 103.93/94.40 eprover: CPU time limit exceeded, terminating
% 106.23/96.42 eprover: CPU time limit exceeded, terminating
% 108.55/98.44 eprover: CPU time limit exceeded, terminating
% 110.82/100.46 eprover: CPU time limit exceeded, terminating
% 113.13/102.48 eprover: CPU time limit exceeded, terminating
% 115.41/104.50 eprover: CPU time limit exceeded, terminating
% 117.70/106.52 eprover: CPU time limit exceeded, terminating
% 120.03/108.55 eprover: CPU time limit exceeded, terminating
% 122.32/110.57 eprover: CPU time limit exceeded, terminating
% 124.63/112.59 eprover: CPU time limit exceeded, terminating
% 126.91/114.61 eprover: CPU time limit exceeded, terminating
% 129.19/116.63 eprover: CPU time limit exceeded, terminating
% 131.48/118.65 eprover: CPU time limit exceeded, terminating
% 133.80/120.68 eprover: CPU time limit exceeded, terminating
% 136.10/122.71 eprover: CPU time limit exceeded, terminating
% 138.39/124.73 eprover: CPU time limit exceeded, terminating
% 140.70/126.75 eprover: CPU time limit exceeded, terminating
% 142.95/128.77 eprover: CPU time limit exceeded, terminating
% 145.18/130.79 eprover: CPU time limit exceeded, terminating
% 147.52/132.81 eprover: CPU time limit exceeded, terminating
% 149.85/134.83 eprover: CPU time limit exceeded, terminating
% 152.12/136.86 eprover: CPU time limit exceeded, terminating
% 154.43/138.88 eprover: CPU time limit exceeded, terminating
% 156.74/140.90 eprover: CPU time limit exceeded, terminating
% 159.01/142.91 eprover: CPU time limit exceeded, terminating
% 161.29/144.94 eprover: CPU time limit exceeded, terminating
% 163.57/146.96 eprover: CPU time limit exceeded, terminating
% 165.82/148.98 eprover: CPU time limit exceeded, terminating
% 168.06/151.01 eprover: CPU time limit exceeded, terminating
% 170.38/153.03 eprover: CPU time limit exceeded, terminating
% 172.70/155.04 eprover: CPU time limit exceeded, terminating
% 174.99/157.06 eprover: CPU time limit exceeded, terminating
% 177.27/159.08 eprover: CPU time limit exceeded, terminating
% 179.54/161.11 eprover: CPU time limit exceeded, terminating
% 181.84/163.13 eprover: CPU time limit exceeded, terminating
% 184.10/165.15 eprover: CPU time limit exceeded, terminating
% 186.47/167.17 eprover: CPU time limit exceeded, terminating
% 188.74/169.18 eprover: CPU time limit exceeded, terminating
% 191.06/171.20 eprover: CPU time limit exceeded, terminating
% 193.32/173.22 eprover: CPU time limit exceeded, terminating
% 195.64/175.25 eprover: CPU time limit exceeded, terminating
% 197.92/177.27 eprover: CPU time limit exceeded, terminating
% 200.18/179.29 eprover: CPU time limit exceeded, terminating
% 202.46/181.30 eprover: CPU time limit exceeded, terminating
% 204.79/183.34 eprover: CPU time limit exceeded, terminating
% 207.01/185.35 eprover: CPU time limit exceeded, terminating
% 209.36/187.37 eprover: CPU time limit exceeded, terminating
% 211.65/189.39 eprover: CPU time limit exceeded, terminating
% 213.89/191.41 eprover: CPU time limit exceeded, terminating
% 216.22/193.43 eprover: CPU time limit exceeded, terminating
% 218.46/195.45 eprover: CPU time limit exceeded, terminating
% 220.73/197.46 eprover: CPU time limit exceeded, terminating
% 223.04/199.48 eprover: CPU time limit exceeded, terminating
% 225.30/201.49 eprover: CPU time limit exceeded, terminating
% 227.56/203.51 eprover: CPU time limit exceeded, terminating
% 229.84/205.52 eprover: CPU time limit exceeded, terminating
% 232.17/207.54 eprover: CPU time limit exceeded, terminating
% 234.50/209.55 eprover: CPU time limit exceeded, terminating
% 236.79/211.57 eprover: CPU time limit exceeded, terminating
% 239.07/213.58 eprover: CPU time limit exceeded, terminating
% 241.33/215.60 eprover: CPU time limit exceeded, terminating
% 243.63/217.62 eprover: CPU time limit exceeded, terminating
% 245.88/219.63 eprover: CPU time limit exceeded, terminating
% 248.25/221.65 eprover: CPU time limit exceeded, terminating
% 250.51/223.66 eprover: CPU time limit exceeded, terminating
% 252.79/225.68 eprover: CPU time limit exceeded, terminating
% 255.06/227.69 eprover: CPU time limit exceeded, terminating
% 257.40/229.71 eprover: CPU time limit exceeded, terminating
% 259.71/231.73 eprover: CPU time limit exceeded, terminating
% 261.99/233.74 eprover: CPU time limit exceeded, terminating
% 264.29/235.76 eprover: CPU time limit exceeded, terminating
% 266.59/237.77 eprover: CPU time limit exceeded, terminating
% 268.85/239.79 eprover: CPU time limit exceeded, terminating
% 271.16/241.81 eprover: CPU time limit exceeded, terminating
% 273.46/243.82 eprover: CPU time limit exceeded, terminating
% 275.71/245.84 eprover: CPU time limit exceeded, terminating
% 278.02/247.85 eprover: CPU time limit exceeded, terminating
% 280.37/249.87 eprover: CPU time limit exceeded, terminating
% 282.67/251.88 eprover: CPU time limit exceeded, terminating
% 284.93/253.90 eprover: CPU time limit exceeded, terminating
% 287.20/255.91 eprover: CPU time limit exceeded, terminating
% 289.47/257.93 eprover: CPU time limit exceeded, terminating
% 291.84/259.94 eprover: CPU time limit exceeded, terminating
% 294.11/261.98 eprover: CPU time limit exceeded, terminating
% 296.37/263.99 eprover: CPU time limit exceeded, terminating
% 298.67/266.01 eprover: CPU time limit exceeded, terminating
% 300.02/267.07 eprover: CPU time limit exceeded, terminating
% 300.02/267.09 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------