TSTP Solution File: CSR116+5 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+5 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:44 EDT 2022
% Result : Timeout 287.68s 267.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR116+5 : TPTP v8.1.0. Released v4.0.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 14:50:22 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.62/3.72 eprover: CPU time limit exceeded, terminating
% 5.78/5.73 eprover: CPU time limit exceeded, terminating
% 7.96/7.74 eprover: CPU time limit exceeded, terminating
% 10.11/9.75 eprover: CPU time limit exceeded, terminating
% 12.27/11.76 eprover: CPU time limit exceeded, terminating
% 14.43/13.77 eprover: CPU time limit exceeded, terminating
% 16.54/15.78 eprover: CPU time limit exceeded, terminating
% 18.71/17.79 eprover: CPU time limit exceeded, terminating
% 20.90/19.81 eprover: CPU time limit exceeded, terminating
% 23.07/21.82 eprover: CPU time limit exceeded, terminating
% 25.20/23.83 eprover: CPU time limit exceeded, terminating
% 27.30/25.84 eprover: CPU time limit exceeded, terminating
% 29.52/27.85 eprover: CPU time limit exceeded, terminating
% 31.63/29.87 eprover: CPU time limit exceeded, terminating
% 33.87/31.88 eprover: CPU time limit exceeded, terminating
% 36.00/33.89 eprover: CPU time limit exceeded, terminating
% 38.13/35.90 eprover: CPU time limit exceeded, terminating
% 40.32/37.91 eprover: CPU time limit exceeded, terminating
% 42.51/39.92 eprover: CPU time limit exceeded, terminating
% 44.65/41.94 eprover: CPU time limit exceeded, terminating
% 46.82/43.95 eprover: CPU time limit exceeded, terminating
% 49.00/45.96 eprover: CPU time limit exceeded, terminating
% 51.17/47.97 eprover: CPU time limit exceeded, terminating
% 53.29/49.98 eprover: CPU time limit exceeded, terminating
% 55.46/51.99 eprover: CPU time limit exceeded, terminating
% 57.66/54.01 eprover: CPU time limit exceeded, terminating
% 59.84/56.02 eprover: CPU time limit exceeded, terminating
% 61.97/58.03 eprover: CPU time limit exceeded, terminating
% 64.13/60.04 eprover: CPU time limit exceeded, terminating
% 66.27/62.05 eprover: CPU time limit exceeded, terminating
% 68.42/64.06 eprover: CPU time limit exceeded, terminating
% 70.58/66.08 eprover: CPU time limit exceeded, terminating
% 72.80/68.09 eprover: CPU time limit exceeded, terminating
% 74.94/70.10 eprover: CPU time limit exceeded, terminating
% 77.09/72.11 eprover: CPU time limit exceeded, terminating
% 79.25/74.12 eprover: CPU time limit exceeded, terminating
% 81.33/76.14 eprover: CPU time limit exceeded, terminating
% 83.40/78.15 eprover: CPU time limit exceeded, terminating
% 85.58/80.16 eprover: CPU time limit exceeded, terminating
% 87.72/82.17 eprover: CPU time limit exceeded, terminating
% 89.87/84.18 eprover: CPU time limit exceeded, terminating
% 92.03/86.19 eprover: CPU time limit exceeded, terminating
% 94.17/88.21 eprover: CPU time limit exceeded, terminating
% 96.40/90.22 eprover: CPU time limit exceeded, terminating
% 98.48/92.23 eprover: CPU time limit exceeded, terminating
% 100.69/94.24 eprover: CPU time limit exceeded, terminating
% 102.85/96.25 eprover: CPU time limit exceeded, terminating
% 105.01/98.26 eprover: CPU time limit exceeded, terminating
% 107.13/100.28 eprover: CPU time limit exceeded, terminating
% 109.31/102.29 eprover: CPU time limit exceeded, terminating
% 111.47/104.30 eprover: CPU time limit exceeded, terminating
% 113.62/106.31 eprover: CPU time limit exceeded, terminating
% 115.81/108.32 eprover: CPU time limit exceeded, terminating
% 117.97/110.34 eprover: CPU time limit exceeded, terminating
% 120.02/112.35 eprover: CPU time limit exceeded, terminating
% 122.27/114.36 eprover: CPU time limit exceeded, terminating
% 124.41/116.37 eprover: CPU time limit exceeded, terminating
% 126.60/118.38 eprover: CPU time limit exceeded, terminating
% 128.75/120.39 eprover: CPU time limit exceeded, terminating
% 130.86/122.40 eprover: CPU time limit exceeded, terminating
% 133.03/124.41 eprover: CPU time limit exceeded, terminating
% 135.19/126.43 eprover: CPU time limit exceeded, terminating
% 137.37/128.44 eprover: CPU time limit exceeded, terminating
% 139.54/130.45 eprover: CPU time limit exceeded, terminating
% 141.69/132.46 eprover: CPU time limit exceeded, terminating
% 143.84/134.48 eprover: CPU time limit exceeded, terminating
% 145.95/136.49 eprover: CPU time limit exceeded, terminating
% 148.16/138.50 eprover: CPU time limit exceeded, terminating
% 150.29/140.51 eprover: CPU time limit exceeded, terminating
% 152.45/142.52 eprover: CPU time limit exceeded, terminating
% 154.60/144.53 eprover: CPU time limit exceeded, terminating
% 156.74/146.54 eprover: CPU time limit exceeded, terminating
% 158.95/148.55 eprover: CPU time limit exceeded, terminating
% 161.11/150.56 eprover: CPU time limit exceeded, terminating
% 163.25/152.58 eprover: CPU time limit exceeded, terminating
% 165.42/154.59 eprover: CPU time limit exceeded, terminating
% 167.53/156.60 eprover: CPU time limit exceeded, terminating
% 169.74/158.61 eprover: CPU time limit exceeded, terminating
% 171.92/160.62 eprover: CPU time limit exceeded, terminating
% 174.05/162.64 eprover: CPU time limit exceeded, terminating
% 176.22/164.65 eprover: CPU time limit exceeded, terminating
% 178.36/166.66 eprover: CPU time limit exceeded, terminating
% 180.52/168.67 eprover: CPU time limit exceeded, terminating
% 182.69/170.68 eprover: CPU time limit exceeded, terminating
% 184.85/172.70 eprover: CPU time limit exceeded, terminating
% 186.99/174.71 eprover: CPU time limit exceeded, terminating
% 189.14/176.72 eprover: CPU time limit exceeded, terminating
% 191.29/178.73 eprover: CPU time limit exceeded, terminating
% 193.46/180.74 eprover: CPU time limit exceeded, terminating
% 195.64/182.76 eprover: CPU time limit exceeded, terminating
% 197.74/184.77 eprover: CPU time limit exceeded, terminating
% 199.88/186.78 eprover: CPU time limit exceeded, terminating
% 202.09/188.79 eprover: CPU time limit exceeded, terminating
% 204.25/190.81 eprover: CPU time limit exceeded, terminating
% 206.37/192.82 eprover: CPU time limit exceeded, terminating
% 208.55/194.83 eprover: CPU time limit exceeded, terminating
% 210.70/196.84 eprover: CPU time limit exceeded, terminating
% 212.89/198.85 eprover: CPU time limit exceeded, terminating
% 215.00/200.86 eprover: CPU time limit exceeded, terminating
% 217.20/202.87 eprover: CPU time limit exceeded, terminating
% 219.31/204.89 eprover: CPU time limit exceeded, terminating
% 221.46/206.90 eprover: CPU time limit exceeded, terminating
% 223.66/208.91 eprover: CPU time limit exceeded, terminating
% 225.76/210.92 eprover: CPU time limit exceeded, terminating
% 227.95/212.93 eprover: CPU time limit exceeded, terminating
% 230.08/214.94 eprover: CPU time limit exceeded, terminating
% 232.15/216.96 eprover: CPU time limit exceeded, terminating
% 236.28/218.97 eprover: CPU time limit exceeded, terminating
% 238.45/220.98 eprover: CPU time limit exceeded, terminating
% 240.57/223.00 eprover: CPU time limit exceeded, terminating
% 242.77/225.01 eprover: CPU time limit exceeded, terminating
% 244.85/227.02 eprover: CPU time limit exceeded, terminating
% 247.06/229.03 eprover: CPU time limit exceeded, terminating
% 249.22/231.05 eprover: CPU time limit exceeded, terminating
% 251.31/233.06 eprover: CPU time limit exceeded, terminating
% 253.43/235.07 eprover: CPU time limit exceeded, terminating
% 255.53/237.08 eprover: CPU time limit exceeded, terminating
% 257.55/239.09 eprover: CPU time limit exceeded, terminating
% 259.77/241.11 eprover: CPU time limit exceeded, terminating
% 261.86/243.12 eprover: CPU time limit exceeded, terminating
% 264.06/245.13 eprover: CPU time limit exceeded, terminating
% 266.15/247.14 eprover: CPU time limit exceeded, terminating
% 268.27/249.16 eprover: CPU time limit exceeded, terminating
% 270.46/251.17 eprover: CPU time limit exceeded, terminating
% 272.65/253.18 eprover: CPU time limit exceeded, terminating
% 274.77/255.19 eprover: CPU time limit exceeded, terminating
% 276.96/257.20 eprover: CPU time limit exceeded, terminating
% 279.03/259.21 eprover: CPU time limit exceeded, terminating
% 281.24/261.23 eprover: CPU time limit exceeded, terminating
% 283.41/263.24 eprover: CPU time limit exceeded, terminating
% 285.54/265.25 eprover: CPU time limit exceeded, terminating
% 287.68/267.26 eprover: CPU time limit exceeded, terminating
% 289.80/269.27 eprover: CPU time limit exceeded, terminating
% 291.97/271.29 eprover: CPU time limit exceeded, terminating
% 294.16/273.30 eprover: CPU time limit exceeded, terminating
% 296.31/275.31 eprover: CPU time limit exceeded, terminating
% 298.39/277.32 eprover: CPU time limit exceeded, terminating
% 300.09/278.94 eprover: CPU time limit exceeded, terminating
% 300.09/278.95 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------