TSTP Solution File: GRP642+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : GRP642+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:52 EDT 2022
% Result : Timeout 286.20s 255.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : GRP642+2 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n008.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Mon Jun 13 20:35:53 EDT 2022
% 0.14/0.34 % CPUTime :
% 22.91/22.82 eprover: CPU time limit exceeded, terminating
% 25.19/24.83 eprover: CPU time limit exceeded, terminating
% 27.48/26.84 eprover: CPU time limit exceeded, terminating
% 29.80/28.86 eprover: CPU time limit exceeded, terminating
% 32.04/30.87 eprover: CPU time limit exceeded, terminating
% 34.32/32.88 eprover: CPU time limit exceeded, terminating
% 36.66/34.89 eprover: CPU time limit exceeded, terminating
% 38.97/36.90 eprover: CPU time limit exceeded, terminating
% 41.23/38.92 eprover: CPU time limit exceeded, terminating
% 43.50/40.93 eprover: CPU time limit exceeded, terminating
% 45.78/42.94 eprover: CPU time limit exceeded, terminating
% 48.10/44.95 eprover: CPU time limit exceeded, terminating
% 50.35/46.96 eprover: CPU time limit exceeded, terminating
% 52.65/48.98 eprover: CPU time limit exceeded, terminating
% 54.92/50.99 eprover: CPU time limit exceeded, terminating
% 57.18/53.00 eprover: CPU time limit exceeded, terminating
% 59.51/55.01 eprover: CPU time limit exceeded, terminating
% 61.82/57.02 eprover: CPU time limit exceeded, terminating
% 64.03/59.04 eprover: CPU time limit exceeded, terminating
% 66.37/61.05 eprover: CPU time limit exceeded, terminating
% 68.69/63.06 eprover: CPU time limit exceeded, terminating
% 70.92/65.07 eprover: CPU time limit exceeded, terminating
% 73.21/67.09 eprover: CPU time limit exceeded, terminating
% 75.54/69.10 eprover: CPU time limit exceeded, terminating
% 77.81/71.11 eprover: CPU time limit exceeded, terminating
% 80.03/73.12 eprover: CPU time limit exceeded, terminating
% 82.40/75.13 eprover: CPU time limit exceeded, terminating
% 84.70/77.34 eprover: CPU time limit exceeded, terminating
% 86.95/79.52 eprover: CPU time limit exceeded, terminating
% 89.21/81.68 eprover: CPU time limit exceeded, terminating
% 91.50/83.69 eprover: CPU time limit exceeded, terminating
% 93.81/85.71 eprover: CPU time limit exceeded, terminating
% 96.10/87.72 eprover: CPU time limit exceeded, terminating
% 98.40/89.81 eprover: CPU time limit exceeded, terminating
% 100.69/91.82 eprover: CPU time limit exceeded, terminating
% 102.98/93.84 eprover: CPU time limit exceeded, terminating
% 105.22/95.85 eprover: CPU time limit exceeded, terminating
% 107.51/97.86 eprover: CPU time limit exceeded, terminating
% 109.75/99.87 eprover: CPU time limit exceeded, terminating
% 112.06/101.89 eprover: CPU time limit exceeded, terminating
% 114.30/103.90 eprover: CPU time limit exceeded, terminating
% 116.61/105.91 eprover: CPU time limit exceeded, terminating
% 118.88/107.92 eprover: CPU time limit exceeded, terminating
% 121.16/109.94 eprover: CPU time limit exceeded, terminating
% 123.47/111.95 eprover: CPU time limit exceeded, terminating
% 125.77/113.96 eprover: CPU time limit exceeded, terminating
% 128.07/116.00 eprover: CPU time limit exceeded, terminating
% 130.37/118.01 eprover: CPU time limit exceeded, terminating
% 132.63/120.02 eprover: CPU time limit exceeded, terminating
% 134.91/122.04 eprover: CPU time limit exceeded, terminating
% 137.17/124.06 eprover: CPU time limit exceeded, terminating
% 139.48/126.07 eprover: CPU time limit exceeded, terminating
% 141.82/128.09 eprover: CPU time limit exceeded, terminating
% 144.02/130.10 eprover: CPU time limit exceeded, terminating
% 146.40/132.11 eprover: CPU time limit exceeded, terminating
% 148.66/134.12 eprover: CPU time limit exceeded, terminating
% 150.98/136.14 eprover: CPU time limit exceeded, terminating
% 153.25/138.15 eprover: CPU time limit exceeded, terminating
% 155.51/140.16 eprover: CPU time limit exceeded, terminating
% 157.84/142.25 eprover: CPU time limit exceeded, terminating
% 160.07/144.26 eprover: CPU time limit exceeded, terminating
% 162.38/146.28 eprover: CPU time limit exceeded, terminating
% 164.71/148.29 eprover: CPU time limit exceeded, terminating
% 167.02/150.30 eprover: CPU time limit exceeded, terminating
% 169.40/152.75 eprover: CPU time limit exceeded, terminating
% 171.67/154.76 eprover: CPU time limit exceeded, terminating
% 173.97/156.77 eprover: CPU time limit exceeded, terminating
% 176.21/158.79 eprover: CPU time limit exceeded, terminating
% 178.57/160.80 eprover: CPU time limit exceeded, terminating
% 180.75/163.00 eprover: CPU time limit exceeded, terminating
% 183.10/165.17 eprover: CPU time limit exceeded, terminating
% 185.43/167.18 eprover: CPU time limit exceeded, terminating
% 187.66/169.19 eprover: CPU time limit exceeded, terminating
% 189.94/171.21 eprover: CPU time limit exceeded, terminating
% 192.28/173.22 eprover: CPU time limit exceeded, terminating
% 194.55/175.23 eprover: CPU time limit exceeded, terminating
% 196.85/177.25 eprover: CPU time limit exceeded, terminating
% 199.15/179.26 eprover: CPU time limit exceeded, terminating
% 201.43/181.27 eprover: CPU time limit exceeded, terminating
% 203.66/183.28 eprover: CPU time limit exceeded, terminating
% 206.05/185.29 eprover: CPU time limit exceeded, terminating
% 208.31/187.31 eprover: CPU time limit exceeded, terminating
% 210.58/189.32 eprover: CPU time limit exceeded, terminating
% 212.89/191.33 eprover: CPU time limit exceeded, terminating
% 215.19/193.35 eprover: CPU time limit exceeded, terminating
% 217.45/195.36 eprover: CPU time limit exceeded, terminating
% 219.72/197.37 eprover: CPU time limit exceeded, terminating
% 222.02/199.38 eprover: CPU time limit exceeded, terminating
% 224.36/201.40 eprover: CPU time limit exceeded, terminating
% 226.65/203.41 eprover: CPU time limit exceeded, terminating
% 228.94/205.42 eprover: CPU time limit exceeded, terminating
% 231.26/207.44 eprover: CPU time limit exceeded, terminating
% 233.52/209.45 eprover: CPU time limit exceeded, terminating
% 235.78/211.46 eprover: CPU time limit exceeded, terminating
% 238.07/213.48 eprover: CPU time limit exceeded, terminating
% 240.42/215.49 eprover: CPU time limit exceeded, terminating
% 242.69/217.50 eprover: CPU time limit exceeded, terminating
% 244.98/219.52 eprover: CPU time limit exceeded, terminating
% 247.27/221.53 eprover: CPU time limit exceeded, terminating
% 249.49/223.54 eprover: CPU time limit exceeded, terminating
% 251.81/225.56 eprover: CPU time limit exceeded, terminating
% 254.05/227.57 eprover: CPU time limit exceeded, terminating
% 256.43/229.58 eprover: CPU time limit exceeded, terminating
% 258.63/231.59 eprover: CPU time limit exceeded, terminating
% 260.98/233.61 eprover: CPU time limit exceeded, terminating
% 263.28/235.62 eprover: CPU time limit exceeded, terminating
% 265.55/237.63 eprover: CPU time limit exceeded, terminating
% 267.84/239.65 eprover: CPU time limit exceeded, terminating
% 270.13/241.66 eprover: CPU time limit exceeded, terminating
% 272.37/243.67 eprover: CPU time limit exceeded, terminating
% 274.66/245.69 eprover: CPU time limit exceeded, terminating
% 276.97/247.70 eprover: CPU time limit exceeded, terminating
% 279.31/249.71 eprover: CPU time limit exceeded, terminating
% 281.57/251.72 eprover: CPU time limit exceeded, terminating
% 283.89/253.74 eprover: CPU time limit exceeded, terminating
% 286.20/255.75 eprover: CPU time limit exceeded, terminating
% 288.44/257.76 eprover: CPU time limit exceeded, terminating
% 290.75/259.78 eprover: CPU time limit exceeded, terminating
% 293.03/261.79 eprover: CPU time limit exceeded, terminating
% 295.30/263.80 eprover: CPU time limit exceeded, terminating
% 297.69/265.82 eprover: CPU time limit exceeded, terminating
% 299.96/267.83 eprover: CPU time limit exceeded, terminating
% 300.06/267.91 eprover: CPU time limit exceeded, terminating
% 300.06/267.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------