TSTP Solution File: CSR116+22 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+22 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:40 EDT 2022
% Result : Timeout 287.03s 271.25s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.08 % Problem : CSR116+22 : TPTP v8.1.0. Released v4.0.0.
% 0.00/0.09 % Command : run_infinox %s
% 0.08/0.28 % Computer : n032.cluster.edu
% 0.08/0.28 % Model : x86_64 x86_64
% 0.08/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.28 % Memory : 8042.1875MB
% 0.08/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.28 % CPULimit : 300
% 0.08/0.28 % WCLimit : 600
% 0.08/0.28 % DateTime : Fri Jun 10 08:54:08 EDT 2022
% 0.08/0.28 % CPUTime :
% 3.66/3.76 eprover: CPU time limit exceeded, terminating
% 5.86/5.77 eprover: CPU time limit exceeded, terminating
% 7.92/7.78 eprover: CPU time limit exceeded, terminating
% 10.11/9.79 eprover: CPU time limit exceeded, terminating
% 12.18/11.80 eprover: CPU time limit exceeded, terminating
% 14.37/13.81 eprover: CPU time limit exceeded, terminating
% 16.47/15.82 eprover: CPU time limit exceeded, terminating
% 18.61/17.83 eprover: CPU time limit exceeded, terminating
% 20.77/19.84 eprover: CPU time limit exceeded, terminating
% 22.88/21.85 eprover: CPU time limit exceeded, terminating
% 25.01/23.86 eprover: CPU time limit exceeded, terminating
% 27.13/25.87 eprover: CPU time limit exceeded, terminating
% 29.27/27.88 eprover: CPU time limit exceeded, terminating
% 31.46/29.89 eprover: CPU time limit exceeded, terminating
% 33.60/31.90 eprover: CPU time limit exceeded, terminating
% 35.71/33.91 eprover: CPU time limit exceeded, terminating
% 37.85/35.92 eprover: CPU time limit exceeded, terminating
% 39.97/37.93 eprover: CPU time limit exceeded, terminating
% 42.10/39.94 eprover: CPU time limit exceeded, terminating
% 44.24/41.95 eprover: CPU time limit exceeded, terminating
% 46.34/43.96 eprover: CPU time limit exceeded, terminating
% 48.46/45.98 eprover: CPU time limit exceeded, terminating
% 50.68/47.99 eprover: CPU time limit exceeded, terminating
% 52.77/50.00 eprover: CPU time limit exceeded, terminating
% 54.91/52.01 eprover: CPU time limit exceeded, terminating
% 57.02/54.02 eprover: CPU time limit exceeded, terminating
% 59.16/56.03 eprover: CPU time limit exceeded, terminating
% 61.27/58.04 eprover: CPU time limit exceeded, terminating
% 63.36/60.05 eprover: CPU time limit exceeded, terminating
% 65.49/62.06 eprover: CPU time limit exceeded, terminating
% 67.57/64.07 eprover: CPU time limit exceeded, terminating
% 69.70/66.08 eprover: CPU time limit exceeded, terminating
% 71.92/68.09 eprover: CPU time limit exceeded, terminating
% 74.06/70.10 eprover: CPU time limit exceeded, terminating
% 76.19/72.11 eprover: CPU time limit exceeded, terminating
% 78.29/74.13 eprover: CPU time limit exceeded, terminating
% 80.36/76.14 eprover: CPU time limit exceeded, terminating
% 82.44/78.15 eprover: CPU time limit exceeded, terminating
% 84.54/80.16 eprover: CPU time limit exceeded, terminating
% 86.67/82.17 eprover: CPU time limit exceeded, terminating
% 88.82/84.18 eprover: CPU time limit exceeded, terminating
% 90.92/86.19 eprover: CPU time limit exceeded, terminating
% 93.15/88.20 eprover: CPU time limit exceeded, terminating
% 95.27/90.21 eprover: CPU time limit exceeded, terminating
% 97.42/92.22 eprover: CPU time limit exceeded, terminating
% 99.55/94.23 eprover: CPU time limit exceeded, terminating
% 101.68/96.24 eprover: CPU time limit exceeded, terminating
% 103.82/98.25 eprover: CPU time limit exceeded, terminating
% 105.93/100.26 eprover: CPU time limit exceeded, terminating
% 108.06/102.27 eprover: CPU time limit exceeded, terminating
% 110.19/104.28 eprover: CPU time limit exceeded, terminating
% 112.38/106.29 eprover: CPU time limit exceeded, terminating
% 114.46/108.30 eprover: CPU time limit exceeded, terminating
% 116.67/110.32 eprover: CPU time limit exceeded, terminating
% 118.81/112.33 eprover: CPU time limit exceeded, terminating
% 120.94/114.34 eprover: CPU time limit exceeded, terminating
% 123.04/116.35 eprover: CPU time limit exceeded, terminating
% 125.18/118.36 eprover: CPU time limit exceeded, terminating
% 127.31/120.37 eprover: CPU time limit exceeded, terminating
% 129.52/122.38 eprover: CPU time limit exceeded, terminating
% 131.63/124.39 eprover: CPU time limit exceeded, terminating
% 133.77/126.41 eprover: CPU time limit exceeded, terminating
% 135.90/128.42 eprover: CPU time limit exceeded, terminating
% 138.01/130.43 eprover: CPU time limit exceeded, terminating
% 140.13/132.44 eprover: CPU time limit exceeded, terminating
% 142.27/134.45 eprover: CPU time limit exceeded, terminating
% 144.38/136.47 eprover: CPU time limit exceeded, terminating
% 146.55/138.48 eprover: CPU time limit exceeded, terminating
% 148.66/140.49 eprover: CPU time limit exceeded, terminating
% 150.85/142.50 eprover: CPU time limit exceeded, terminating
% 152.98/144.51 eprover: CPU time limit exceeded, terminating
% 155.12/146.52 eprover: CPU time limit exceeded, terminating
% 157.28/148.53 eprover: CPU time limit exceeded, terminating
% 159.38/150.55 eprover: CPU time limit exceeded, terminating
% 161.51/152.56 eprover: CPU time limit exceeded, terminating
% 163.62/154.57 eprover: CPU time limit exceeded, terminating
% 165.77/156.58 eprover: CPU time limit exceeded, terminating
% 167.94/158.59 eprover: CPU time limit exceeded, terminating
% 170.01/160.60 eprover: CPU time limit exceeded, terminating
% 172.20/162.61 eprover: CPU time limit exceeded, terminating
% 174.36/164.63 eprover: CPU time limit exceeded, terminating
% 176.48/166.64 eprover: CPU time limit exceeded, terminating
% 178.61/168.65 eprover: CPU time limit exceeded, terminating
% 180.74/170.66 eprover: CPU time limit exceeded, terminating
% 182.85/172.67 eprover: CPU time limit exceeded, terminating
% 184.99/174.68 eprover: CPU time limit exceeded, terminating
% 187.15/176.69 eprover: CPU time limit exceeded, terminating
% 189.30/178.70 eprover: CPU time limit exceeded, terminating
% 191.44/180.72 eprover: CPU time limit exceeded, terminating
% 193.61/182.73 eprover: CPU time limit exceeded, terminating
% 195.68/184.74 eprover: CPU time limit exceeded, terminating
% 197.80/186.75 eprover: CPU time limit exceeded, terminating
% 199.93/188.76 eprover: CPU time limit exceeded, terminating
% 202.08/190.78 eprover: CPU time limit exceeded, terminating
% 204.26/192.79 eprover: CPU time limit exceeded, terminating
% 206.38/194.80 eprover: CPU time limit exceeded, terminating
% 208.53/196.81 eprover: CPU time limit exceeded, terminating
% 210.66/198.82 eprover: CPU time limit exceeded, terminating
% 212.76/200.83 eprover: CPU time limit exceeded, terminating
% 214.89/202.85 eprover: CPU time limit exceeded, terminating
% 217.01/204.86 eprover: CPU time limit exceeded, terminating
% 219.16/206.87 eprover: CPU time limit exceeded, terminating
% 221.34/208.88 eprover: CPU time limit exceeded, terminating
% 223.40/210.89 eprover: CPU time limit exceeded, terminating
% 225.53/212.90 eprover: CPU time limit exceeded, terminating
% 227.64/214.91 eprover: CPU time limit exceeded, terminating
% 229.70/216.92 eprover: CPU time limit exceeded, terminating
% 231.85/218.94 eprover: CPU time limit exceeded, terminating
% 233.98/220.95 eprover: CPU time limit exceeded, terminating
% 236.09/222.96 eprover: CPU time limit exceeded, terminating
% 238.23/224.98 eprover: CPU time limit exceeded, terminating
% 240.42/226.99 eprover: CPU time limit exceeded, terminating
% 242.55/229.00 eprover: CPU time limit exceeded, terminating
% 244.65/231.01 eprover: CPU time limit exceeded, terminating
% 246.78/233.02 eprover: CPU time limit exceeded, terminating
% 248.84/235.03 eprover: CPU time limit exceeded, terminating
% 250.88/237.05 eprover: CPU time limit exceeded, terminating
% 252.97/239.06 eprover: CPU time limit exceeded, terminating
% 255.08/241.07 eprover: CPU time limit exceeded, terminating
% 257.21/243.09 eprover: CPU time limit exceeded, terminating
% 259.39/245.10 eprover: CPU time limit exceeded, terminating
% 261.45/247.11 eprover: CPU time limit exceeded, terminating
% 263.60/249.12 eprover: CPU time limit exceeded, terminating
% 265.71/251.13 eprover: CPU time limit exceeded, terminating
% 267.83/253.15 eprover: CPU time limit exceeded, terminating
% 269.94/255.16 eprover: CPU time limit exceeded, terminating
% 272.08/257.17 eprover: CPU time limit exceeded, terminating
% 274.27/259.18 eprover: CPU time limit exceeded, terminating
% 276.40/261.20 eprover: CPU time limit exceeded, terminating
% 278.53/263.21 eprover: CPU time limit exceeded, terminating
% 280.65/265.22 eprover: CPU time limit exceeded, terminating
% 282.80/267.23 eprover: CPU time limit exceeded, terminating
% 284.91/269.24 eprover: CPU time limit exceeded, terminating
% 287.03/271.25 eprover: CPU time limit exceeded, terminating
% 289.17/273.27 eprover: CPU time limit exceeded, terminating
% 291.26/275.28 eprover: CPU time limit exceeded, terminating
% 293.39/277.29 eprover: CPU time limit exceeded, terminating
% 295.47/279.30 eprover: CPU time limit exceeded, terminating
% 297.51/281.32 eprover: CPU time limit exceeded, terminating
% 299.62/283.33 eprover: CPU time limit exceeded, terminating
% 300.04/283.68 eprover: CPU time limit exceeded, terminating
% 300.04/283.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------