TSTP Solution File: CSR114+30 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR114+30 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:35:26 EDT 2022
% Result : Timeout 286.81s 269.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : CSR114+30 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n009.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Sat Jun 11 02:13:23 EDT 2022
% 0.11/0.33 % CPUTime :
% 3.69/3.79 eprover: CPU time limit exceeded, terminating
% 5.90/5.80 eprover: CPU time limit exceeded, terminating
% 8.03/7.82 eprover: CPU time limit exceeded, terminating
% 10.20/9.83 eprover: CPU time limit exceeded, terminating
% 12.33/11.84 eprover: CPU time limit exceeded, terminating
% 14.50/13.85 eprover: CPU time limit exceeded, terminating
% 16.62/15.86 eprover: CPU time limit exceeded, terminating
% 18.74/17.87 eprover: CPU time limit exceeded, terminating
% 20.90/19.88 eprover: CPU time limit exceeded, terminating
% 23.04/21.90 eprover: CPU time limit exceeded, terminating
% 25.17/23.91 eprover: CPU time limit exceeded, terminating
% 27.32/25.92 eprover: CPU time limit exceeded, terminating
% 29.50/27.93 eprover: CPU time limit exceeded, terminating
% 31.64/29.94 eprover: CPU time limit exceeded, terminating
% 33.80/31.95 eprover: CPU time limit exceeded, terminating
% 35.95/33.97 eprover: CPU time limit exceeded, terminating
% 38.09/35.98 eprover: CPU time limit exceeded, terminating
% 40.25/37.99 eprover: CPU time limit exceeded, terminating
% 42.38/40.00 eprover: CPU time limit exceeded, terminating
% 44.53/42.01 eprover: CPU time limit exceeded, terminating
% 46.64/44.02 eprover: CPU time limit exceeded, terminating
% 48.77/46.03 eprover: CPU time limit exceeded, terminating
% 50.98/48.04 eprover: CPU time limit exceeded, terminating
% 53.10/50.06 eprover: CPU time limit exceeded, terminating
% 55.24/52.07 eprover: CPU time limit exceeded, terminating
% 57.37/54.08 eprover: CPU time limit exceeded, terminating
% 59.52/56.10 eprover: CPU time limit exceeded, terminating
% 61.69/58.11 eprover: CPU time limit exceeded, terminating
% 63.78/60.12 eprover: CPU time limit exceeded, terminating
% 65.98/62.13 eprover: CPU time limit exceeded, terminating
% 68.08/64.14 eprover: CPU time limit exceeded, terminating
% 70.27/66.15 eprover: CPU time limit exceeded, terminating
% 72.43/68.16 eprover: CPU time limit exceeded, terminating
% 74.55/70.17 eprover: CPU time limit exceeded, terminating
% 76.70/72.18 eprover: CPU time limit exceeded, terminating
% 78.86/74.20 eprover: CPU time limit exceeded, terminating
% 80.89/76.21 eprover: CPU time limit exceeded, terminating
% 82.94/78.22 eprover: CPU time limit exceeded, terminating
% 85.09/80.23 eprover: CPU time limit exceeded, terminating
% 87.28/82.24 eprover: CPU time limit exceeded, terminating
% 89.42/84.25 eprover: CPU time limit exceeded, terminating
% 91.58/86.27 eprover: CPU time limit exceeded, terminating
% 93.71/88.28 eprover: CPU time limit exceeded, terminating
% 95.85/90.29 eprover: CPU time limit exceeded, terminating
% 98.00/92.30 eprover: CPU time limit exceeded, terminating
% 100.12/94.31 eprover: CPU time limit exceeded, terminating
% 102.26/96.32 eprover: CPU time limit exceeded, terminating
% 104.41/98.33 eprover: CPU time limit exceeded, terminating
% 106.61/100.35 eprover: CPU time limit exceeded, terminating
% 108.79/102.36 eprover: CPU time limit exceeded, terminating
% 110.91/104.37 eprover: CPU time limit exceeded, terminating
% 113.08/106.38 eprover: CPU time limit exceeded, terminating
% 115.20/108.39 eprover: CPU time limit exceeded, terminating
% 117.36/110.40 eprover: CPU time limit exceeded, terminating
% 119.51/112.41 eprover: CPU time limit exceeded, terminating
% 121.70/114.42 eprover: CPU time limit exceeded, terminating
% 123.84/116.44 eprover: CPU time limit exceeded, terminating
% 125.94/118.45 eprover: CPU time limit exceeded, terminating
% 128.13/120.46 eprover: CPU time limit exceeded, terminating
% 130.30/122.47 eprover: CPU time limit exceeded, terminating
% 132.46/124.48 eprover: CPU time limit exceeded, terminating
% 134.60/126.49 eprover: CPU time limit exceeded, terminating
% 136.72/128.50 eprover: CPU time limit exceeded, terminating
% 138.87/130.52 eprover: CPU time limit exceeded, terminating
% 141.04/132.53 eprover: CPU time limit exceeded, terminating
% 143.19/134.54 eprover: CPU time limit exceeded, terminating
% 145.37/136.55 eprover: CPU time limit exceeded, terminating
% 147.50/138.56 eprover: CPU time limit exceeded, terminating
% 149.63/140.57 eprover: CPU time limit exceeded, terminating
% 151.81/142.58 eprover: CPU time limit exceeded, terminating
% 153.97/144.60 eprover: CPU time limit exceeded, terminating
% 156.07/146.61 eprover: CPU time limit exceeded, terminating
% 158.21/148.62 eprover: CPU time limit exceeded, terminating
% 160.38/150.63 eprover: CPU time limit exceeded, terminating
% 162.56/152.64 eprover: CPU time limit exceeded, terminating
% 164.70/154.65 eprover: CPU time limit exceeded, terminating
% 166.86/156.66 eprover: CPU time limit exceeded, terminating
% 169.04/158.67 eprover: CPU time limit exceeded, terminating
% 171.17/160.69 eprover: CPU time limit exceeded, terminating
% 173.30/162.70 eprover: CPU time limit exceeded, terminating
% 175.48/164.71 eprover: CPU time limit exceeded, terminating
% 177.58/166.72 eprover: CPU time limit exceeded, terminating
% 179.72/168.74 eprover: CPU time limit exceeded, terminating
% 181.94/170.75 eprover: CPU time limit exceeded, terminating
% 184.08/172.76 eprover: CPU time limit exceeded, terminating
% 186.19/174.77 eprover: CPU time limit exceeded, terminating
% 188.35/176.78 eprover: CPU time limit exceeded, terminating
% 190.53/178.79 eprover: CPU time limit exceeded, terminating
% 192.68/180.81 eprover: CPU time limit exceeded, terminating
% 194.80/182.82 eprover: CPU time limit exceeded, terminating
% 196.99/184.83 eprover: CPU time limit exceeded, terminating
% 199.05/186.84 eprover: CPU time limit exceeded, terminating
% 201.29/188.85 eprover: CPU time limit exceeded, terminating
% 203.44/190.86 eprover: CPU time limit exceeded, terminating
% 205.55/192.87 eprover: CPU time limit exceeded, terminating
% 207.75/194.89 eprover: CPU time limit exceeded, terminating
% 209.86/196.90 eprover: CPU time limit exceeded, terminating
% 211.99/198.91 eprover: CPU time limit exceeded, terminating
% 214.10/200.92 eprover: CPU time limit exceeded, terminating
% 216.33/202.93 eprover: CPU time limit exceeded, terminating
% 218.50/204.94 eprover: CPU time limit exceeded, terminating
% 220.65/206.95 eprover: CPU time limit exceeded, terminating
% 222.78/208.96 eprover: CPU time limit exceeded, terminating
% 224.91/210.97 eprover: CPU time limit exceeded, terminating
% 227.09/212.99 eprover: CPU time limit exceeded, terminating
% 229.15/215.00 eprover: CPU time limit exceeded, terminating
% 231.21/217.01 eprover: CPU time limit exceeded, terminating
% 233.38/219.02 eprover: CPU time limit exceeded, terminating
% 235.55/221.03 eprover: CPU time limit exceeded, terminating
% 237.70/223.04 eprover: CPU time limit exceeded, terminating
% 239.85/225.06 eprover: CPU time limit exceeded, terminating
% 242.01/227.07 eprover: CPU time limit exceeded, terminating
% 244.16/229.08 eprover: CPU time limit exceeded, terminating
% 246.28/231.09 eprover: CPU time limit exceeded, terminating
% 248.42/233.10 eprover: CPU time limit exceeded, terminating
% 250.48/235.11 eprover: CPU time limit exceeded, terminating
% 252.53/237.13 eprover: CPU time limit exceeded, terminating
% 254.66/239.14 eprover: CPU time limit exceeded, terminating
% 256.80/241.15 eprover: CPU time limit exceeded, terminating
% 258.93/243.16 eprover: CPU time limit exceeded, terminating
% 261.08/245.17 eprover: CPU time limit exceeded, terminating
% 263.16/247.19 eprover: CPU time limit exceeded, terminating
% 265.31/249.20 eprover: CPU time limit exceeded, terminating
% 267.45/251.21 eprover: CPU time limit exceeded, terminating
% 269.64/253.22 eprover: CPU time limit exceeded, terminating
% 271.73/255.23 eprover: CPU time limit exceeded, terminating
% 273.93/257.25 eprover: CPU time limit exceeded, terminating
% 276.05/259.26 eprover: CPU time limit exceeded, terminating
% 278.21/261.27 eprover: CPU time limit exceeded, terminating
% 280.37/263.28 eprover: CPU time limit exceeded, terminating
% 282.52/265.30 eprover: CPU time limit exceeded, terminating
% 284.67/267.31 eprover: CPU time limit exceeded, terminating
% 286.81/269.32 eprover: CPU time limit exceeded, terminating
% 288.94/271.34 eprover: CPU time limit exceeded, terminating
% 291.07/273.35 eprover: CPU time limit exceeded, terminating
% 293.25/275.36 eprover: CPU time limit exceeded, terminating
% 295.29/277.37 eprover: CPU time limit exceeded, terminating
% 297.36/279.38 eprover: CPU time limit exceeded, terminating
% 299.45/281.40 eprover: CPU time limit exceeded, terminating
% 300.01/281.86 eprover: CPU time limit exceeded, terminating
% 300.01/281.88 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------