TSTP Solution File: COL129+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : COL129+1 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 00:27:22 EDT 2022
% Result : Timeout 285.74s 279.60s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : COL129+1 : TPTP v8.1.0. Released v7.5.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n028.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Tue May 31 16:22:51 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.32/2.50 eprover: CPU time limit exceeded, terminating
% 4.33/4.51 eprover: CPU time limit exceeded, terminating
% 6.36/6.52 eprover: CPU time limit exceeded, terminating
% 8.46/8.67 eprover: CPU time limit exceeded, terminating
% 10.43/10.68 eprover: CPU time limit exceeded, terminating
% 13.33/13.48 eprover: CPU time limit exceeded, terminating
% 15.33/15.49 eprover: CPU time limit exceeded, terminating
% 17.78/17.97 eprover: CPU time limit exceeded, terminating
% 19.75/19.98 eprover: CPU time limit exceeded, terminating
% 22.37/22.52 eprover: CPU time limit exceeded, terminating
% 24.46/24.62 eprover: CPU time limit exceeded, terminating
% 27.56/27.75 eprover: CPU time limit exceeded, terminating
% 29.59/29.76 eprover: CPU time limit exceeded, terminating
% 31.59/31.77 eprover: CPU time limit exceeded, terminating
% 33.58/33.78 eprover: CPU time limit exceeded, terminating
% 35.57/35.79 eprover: CPU time limit exceeded, terminating
% 37.71/37.81 eprover: CPU time limit exceeded, terminating
% 39.70/39.82 eprover: CPU time limit exceeded, terminating
% 41.72/41.83 eprover: CPU time limit exceeded, terminating
% 43.73/43.84 eprover: CPU time limit exceeded, terminating
% 45.71/45.85 eprover: CPU time limit exceeded, terminating
% 47.73/47.87 eprover: CPU time limit exceeded, terminating
% 49.73/49.88 eprover: CPU time limit exceeded, terminating
% 51.80/51.89 eprover: CPU time limit exceeded, terminating
% 53.83/53.90 eprover: CPU time limit exceeded, terminating
% 55.82/55.92 eprover: CPU time limit exceeded, terminating
% 57.86/57.93 eprover: CPU time limit exceeded, terminating
% 59.86/59.94 eprover: CPU time limit exceeded, terminating
% 61.84/61.95 eprover: CPU time limit exceeded, terminating
% 63.84/63.96 eprover: CPU time limit exceeded, terminating
% 65.87/65.98 eprover: CPU time limit exceeded, terminating
% 67.86/67.99 eprover: CPU time limit exceeded, terminating
% 69.96/70.00 eprover: CPU time limit exceeded, terminating
% 71.98/72.01 eprover: CPU time limit exceeded, terminating
% 73.99/74.03 eprover: CPU time limit exceeded, terminating
% 75.99/76.05 eprover: CPU time limit exceeded, terminating
% 77.98/78.06 eprover: CPU time limit exceeded, terminating
% 79.99/80.07 eprover: CPU time limit exceeded, terminating
% 82.05/82.08 eprover: CPU time limit exceeded, terminating
% 84.09/84.10 eprover: CPU time limit exceeded, terminating
% 86.09/86.11 eprover: CPU time limit exceeded, terminating
% 88.11/88.13 eprover: CPU time limit exceeded, terminating
% 90.07/90.14 eprover: CPU time limit exceeded, terminating
% 92.13/92.15 eprover: CPU time limit exceeded, terminating
% 94.12/94.16 eprover: CPU time limit exceeded, terminating
% 96.10/96.18 eprover: CPU time limit exceeded, terminating
% 98.11/98.19 eprover: CPU time limit exceeded, terminating
% 100.21/100.20 eprover: CPU time limit exceeded, terminating
% 102.20/102.22 eprover: CPU time limit exceeded, terminating
% 104.22/104.23 eprover: CPU time limit exceeded, terminating
% 106.25/106.24 eprover: CPU time limit exceeded, terminating
% 108.22/108.25 eprover: CPU time limit exceeded, terminating
% 110.25/110.27 eprover: CPU time limit exceeded, terminating
% 112.25/112.28 eprover: CPU time limit exceeded, terminating
% 114.34/114.29 eprover: CPU time limit exceeded, terminating
% 116.34/116.31 eprover: CPU time limit exceeded, terminating
% 118.36/118.32 eprover: CPU time limit exceeded, terminating
% 120.37/120.33 eprover: CPU time limit exceeded, terminating
% 122.36/122.35 eprover: CPU time limit exceeded, terminating
% 124.37/124.36 eprover: CPU time limit exceeded, terminating
% 126.37/126.37 eprover: CPU time limit exceeded, terminating
% 128.37/128.39 eprover: CPU time limit exceeded, terminating
% 130.48/130.40 eprover: CPU time limit exceeded, terminating
% 132.49/132.41 eprover: CPU time limit exceeded, terminating
% 134.50/134.43 eprover: CPU time limit exceeded, terminating
% 136.48/136.44 eprover: CPU time limit exceeded, terminating
% 138.50/138.45 eprover: CPU time limit exceeded, terminating
% 140.50/140.47 eprover: CPU time limit exceeded, terminating
% 142.57/142.48 eprover: CPU time limit exceeded, terminating
% 144.50/144.49 eprover: CPU time limit exceeded, terminating
% 148.62/146.51 eprover: CPU time limit exceeded, terminating
% 150.62/148.52 eprover: CPU time limit exceeded, terminating
% 152.61/150.54 eprover: CPU time limit exceeded, terminating
% 154.61/152.55 eprover: CPU time limit exceeded, terminating
% 156.64/154.56 eprover: CPU time limit exceeded, terminating
% 158.62/156.58 eprover: CPU time limit exceeded, terminating
% 160.71/158.59 eprover: CPU time limit exceeded, terminating
% 162.65/160.60 eprover: CPU time limit exceeded, terminating
% 164.74/162.62 eprover: CPU time limit exceeded, terminating
% 166.73/164.63 eprover: CPU time limit exceeded, terminating
% 168.74/166.65 eprover: CPU time limit exceeded, terminating
% 170.76/168.66 eprover: CPU time limit exceeded, terminating
% 172.75/170.67 eprover: CPU time limit exceeded, terminating
% 174.75/172.69 eprover: CPU time limit exceeded, terminating
% 178.76/174.70 eprover: CPU time limit exceeded, terminating
% 180.86/176.72 eprover: CPU time limit exceeded, terminating
% 182.83/178.73 eprover: CPU time limit exceeded, terminating
% 184.84/180.74 eprover: CPU time limit exceeded, terminating
% 186.88/182.76 eprover: CPU time limit exceeded, terminating
% 188.86/184.77 eprover: CPU time limit exceeded, terminating
% 190.96/186.79 eprover: CPU time limit exceeded, terminating
% 192.88/188.80 eprover: CPU time limit exceeded, terminating
% 194.98/190.81 eprover: CPU time limit exceeded, terminating
% 196.98/192.83 eprover: CPU time limit exceeded, terminating
% 198.99/194.85 eprover: CPU time limit exceeded, terminating
% 200.98/196.86 eprover: CPU time limit exceeded, terminating
% 203.00/198.87 eprover: CPU time limit exceeded, terminating
% 204.99/200.89 eprover: CPU time limit exceeded, terminating
% 207.10/202.90 eprover: CPU time limit exceeded, terminating
% 209.11/204.93 eprover: CPU time limit exceeded, terminating
% 211.09/206.94 eprover: CPU time limit exceeded, terminating
% 213.10/208.96 eprover: CPU time limit exceeded, terminating
% 215.10/210.97 eprover: CPU time limit exceeded, terminating
% 217.10/212.99 eprover: CPU time limit exceeded, terminating
% 219.18/215.01 eprover: CPU time limit exceeded, terminating
% 221.20/217.03 eprover: CPU time limit exceeded, terminating
% 223.21/219.04 eprover: CPU time limit exceeded, terminating
% 225.19/221.05 eprover: CPU time limit exceeded, terminating
% 227.25/223.07 eprover: CPU time limit exceeded, terminating
% 229.21/225.10 eprover: CPU time limit exceeded, terminating
% 231.29/227.11 eprover: CPU time limit exceeded, terminating
% 233.32/229.13 eprover: CPU time limit exceeded, terminating
% 235.31/231.14 eprover: CPU time limit exceeded, terminating
% 237.31/233.16 eprover: CPU time limit exceeded, terminating
% 239.28/235.18 eprover: CPU time limit exceeded, terminating
% 243.36/237.21 eprover: CPU time limit exceeded, terminating
% 245.41/239.23 eprover: CPU time limit exceeded, terminating
% 247.40/241.24 eprover: CPU time limit exceeded, terminating
% 249.38/243.26 eprover: CPU time limit exceeded, terminating
% 251.46/245.29 eprover: CPU time limit exceeded, terminating
% 253.40/247.30 eprover: CPU time limit exceeded, terminating
% 255.51/249.32 eprover: CPU time limit exceeded, terminating
% 257.50/251.34 eprover: CPU time limit exceeded, terminating
% 259.51/253.35 eprover: CPU time limit exceeded, terminating
% 261.50/255.38 eprover: CPU time limit exceeded, terminating
% 263.51/257.40 eprover: CPU time limit exceeded, terminating
% 265.58/259.41 eprover: CPU time limit exceeded, terminating
% 267.62/261.43 eprover: CPU time limit exceeded, terminating
% 269.60/263.44 eprover: CPU time limit exceeded, terminating
% 271.66/265.47 eprover: CPU time limit exceeded, terminating
% 273.60/267.49 eprover: CPU time limit exceeded, terminating
% 275.64/269.51 eprover: CPU time limit exceeded, terminating
% 277.69/271.52 eprover: CPU time limit exceeded, terminating
% 279.71/273.54 eprover: CPU time limit exceeded, terminating
% 281.69/275.57 eprover: CPU time limit exceeded, terminating
% 283.73/277.59 eprover: CPU time limit exceeded, terminating
% 285.74/279.60 eprover: CPU time limit exceeded, terminating
% 287.81/281.62 eprover: CPU time limit exceeded, terminating
% 289.86/283.64 eprover: CPU time limit exceeded, terminating
% 291.82/285.67 eprover: CPU time limit exceeded, terminating
% 293.91/287.69 eprover: CPU time limit exceeded, terminating
% 295.93/289.70 eprover: CPU time limit exceeded, terminating
% 297.93/291.72 eprover: CPU time limit exceeded, terminating
% 299.90/293.74 eprover: CPU time limit exceeded, terminating
% 300.02/293.79 eprover: CPU time limit exceeded, terminating
% 300.02/293.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------