TSTP Solution File: CSR115+80 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+80 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:36 EDT 2022
% Result : Timeout 287.40s 267.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR115+80 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.15/0.35 % Computer : n027.cluster.edu
% 0.15/0.35 % Model : x86_64 x86_64
% 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.35 % Memory : 8042.1875MB
% 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.35 % CPULimit : 300
% 0.15/0.35 % WCLimit : 600
% 0.15/0.35 % DateTime : Sat Jun 11 10:16:59 EDT 2022
% 0.15/0.35 % CPUTime :
% 3.76/3.81 eprover: CPU time limit exceeded, terminating
% 5.92/5.82 eprover: CPU time limit exceeded, terminating
% 8.10/7.83 eprover: CPU time limit exceeded, terminating
% 10.24/9.85 eprover: CPU time limit exceeded, terminating
% 12.42/11.86 eprover: CPU time limit exceeded, terminating
% 14.57/13.87 eprover: CPU time limit exceeded, terminating
% 16.75/15.89 eprover: CPU time limit exceeded, terminating
% 18.92/17.90 eprover: CPU time limit exceeded, terminating
% 21.06/19.91 eprover: CPU time limit exceeded, terminating
% 23.23/21.93 eprover: CPU time limit exceeded, terminating
% 25.37/23.94 eprover: CPU time limit exceeded, terminating
% 27.55/25.96 eprover: CPU time limit exceeded, terminating
% 29.71/27.97 eprover: CPU time limit exceeded, terminating
% 31.90/29.98 eprover: CPU time limit exceeded, terminating
% 34.13/32.00 eprover: CPU time limit exceeded, terminating
% 36.31/34.01 eprover: CPU time limit exceeded, terminating
% 38.45/36.03 eprover: CPU time limit exceeded, terminating
% 40.62/38.04 eprover: CPU time limit exceeded, terminating
% 42.76/40.05 eprover: CPU time limit exceeded, terminating
% 44.95/42.06 eprover: CPU time limit exceeded, terminating
% 47.11/44.08 eprover: CPU time limit exceeded, terminating
% 49.32/46.09 eprover: CPU time limit exceeded, terminating
% 51.50/48.11 eprover: CPU time limit exceeded, terminating
% 53.65/50.12 eprover: CPU time limit exceeded, terminating
% 55.82/52.13 eprover: CPU time limit exceeded, terminating
% 57.99/54.14 eprover: CPU time limit exceeded, terminating
% 60.16/56.16 eprover: CPU time limit exceeded, terminating
% 62.31/58.17 eprover: CPU time limit exceeded, terminating
% 64.55/60.18 eprover: CPU time limit exceeded, terminating
% 66.70/62.20 eprover: CPU time limit exceeded, terminating
% 68.87/64.21 eprover: CPU time limit exceeded, terminating
% 71.03/66.22 eprover: CPU time limit exceeded, terminating
% 73.21/68.24 eprover: CPU time limit exceeded, terminating
% 75.37/70.25 eprover: CPU time limit exceeded, terminating
% 77.54/72.27 eprover: CPU time limit exceeded, terminating
% 79.72/74.28 eprover: CPU time limit exceeded, terminating
% 81.83/76.29 eprover: CPU time limit exceeded, terminating
% 83.86/78.31 eprover: CPU time limit exceeded, terminating
% 86.06/80.32 eprover: CPU time limit exceeded, terminating
% 88.23/82.33 eprover: CPU time limit exceeded, terminating
% 90.35/84.35 eprover: CPU time limit exceeded, terminating
% 92.53/86.36 eprover: CPU time limit exceeded, terminating
% 94.77/88.38 eprover: CPU time limit exceeded, terminating
% 96.91/90.39 eprover: CPU time limit exceeded, terminating
% 99.11/92.40 eprover: CPU time limit exceeded, terminating
% 101.28/94.42 eprover: CPU time limit exceeded, terminating
% 103.44/96.43 eprover: CPU time limit exceeded, terminating
% 105.67/98.44 eprover: CPU time limit exceeded, terminating
% 107.83/100.46 eprover: CPU time limit exceeded, terminating
% 109.98/102.47 eprover: CPU time limit exceeded, terminating
% 112.14/104.49 eprover: CPU time limit exceeded, terminating
% 114.31/106.50 eprover: CPU time limit exceeded, terminating
% 116.49/108.52 eprover: CPU time limit exceeded, terminating
% 118.68/110.53 eprover: CPU time limit exceeded, terminating
% 120.86/112.54 eprover: CPU time limit exceeded, terminating
% 123.06/114.56 eprover: CPU time limit exceeded, terminating
% 125.23/116.57 eprover: CPU time limit exceeded, terminating
% 127.38/118.58 eprover: CPU time limit exceeded, terminating
% 129.54/120.59 eprover: CPU time limit exceeded, terminating
% 131.71/122.61 eprover: CPU time limit exceeded, terminating
% 133.86/124.62 eprover: CPU time limit exceeded, terminating
% 136.08/126.63 eprover: CPU time limit exceeded, terminating
% 138.26/128.65 eprover: CPU time limit exceeded, terminating
% 140.42/130.66 eprover: CPU time limit exceeded, terminating
% 142.56/132.68 eprover: CPU time limit exceeded, terminating
% 144.71/134.69 eprover: CPU time limit exceeded, terminating
% 146.95/136.70 eprover: CPU time limit exceeded, terminating
% 149.11/138.72 eprover: CPU time limit exceeded, terminating
% 151.28/140.73 eprover: CPU time limit exceeded, terminating
% 153.45/142.74 eprover: CPU time limit exceeded, terminating
% 155.60/144.76 eprover: CPU time limit exceeded, terminating
% 157.77/146.77 eprover: CPU time limit exceeded, terminating
% 159.98/148.78 eprover: CPU time limit exceeded, terminating
% 162.07/150.79 eprover: CPU time limit exceeded, terminating
% 164.34/152.81 eprover: CPU time limit exceeded, terminating
% 166.53/154.82 eprover: CPU time limit exceeded, terminating
% 168.65/156.83 eprover: CPU time limit exceeded, terminating
% 170.87/158.85 eprover: CPU time limit exceeded, terminating
% 173.02/160.86 eprover: CPU time limit exceeded, terminating
% 175.20/162.87 eprover: CPU time limit exceeded, terminating
% 177.32/164.89 eprover: CPU time limit exceeded, terminating
% 179.54/166.90 eprover: CPU time limit exceeded, terminating
% 181.69/168.92 eprover: CPU time limit exceeded, terminating
% 183.88/170.93 eprover: CPU time limit exceeded, terminating
% 186.05/172.94 eprover: CPU time limit exceeded, terminating
% 188.22/174.96 eprover: CPU time limit exceeded, terminating
% 190.40/176.97 eprover: CPU time limit exceeded, terminating
% 192.53/178.98 eprover: CPU time limit exceeded, terminating
% 194.75/181.00 eprover: CPU time limit exceeded, terminating
% 196.92/183.01 eprover: CPU time limit exceeded, terminating
% 199.05/185.02 eprover: CPU time limit exceeded, terminating
% 201.27/187.04 eprover: CPU time limit exceeded, terminating
% 203.39/189.05 eprover: CPU time limit exceeded, terminating
% 205.58/191.07 eprover: CPU time limit exceeded, terminating
% 207.71/193.08 eprover: CPU time limit exceeded, terminating
% 209.96/195.09 eprover: CPU time limit exceeded, terminating
% 212.14/197.11 eprover: CPU time limit exceeded, terminating
% 214.30/199.12 eprover: CPU time limit exceeded, terminating
% 216.46/201.13 eprover: CPU time limit exceeded, terminating
% 218.63/203.15 eprover: CPU time limit exceeded, terminating
% 220.79/205.16 eprover: CPU time limit exceeded, terminating
% 222.92/207.17 eprover: CPU time limit exceeded, terminating
% 225.14/209.19 eprover: CPU time limit exceeded, terminating
% 227.35/211.20 eprover: CPU time limit exceeded, terminating
% 229.51/213.22 eprover: CPU time limit exceeded, terminating
% 231.59/215.23 eprover: CPU time limit exceeded, terminating
% 233.64/217.24 eprover: CPU time limit exceeded, terminating
% 235.83/219.26 eprover: CPU time limit exceeded, terminating
% 237.96/221.27 eprover: CPU time limit exceeded, terminating
% 240.15/223.28 eprover: CPU time limit exceeded, terminating
% 242.33/225.29 eprover: CPU time limit exceeded, terminating
% 244.53/227.31 eprover: CPU time limit exceeded, terminating
% 246.69/229.32 eprover: CPU time limit exceeded, terminating
% 248.86/231.33 eprover: CPU time limit exceeded, terminating
% 251.00/233.35 eprover: CPU time limit exceeded, terminating
% 253.07/235.36 eprover: CPU time limit exceeded, terminating
% 255.12/237.38 eprover: CPU time limit exceeded, terminating
% 257.27/239.39 eprover: CPU time limit exceeded, terminating
% 259.42/241.40 eprover: CPU time limit exceeded, terminating
% 261.50/243.42 eprover: CPU time limit exceeded, terminating
% 263.76/245.43 eprover: CPU time limit exceeded, terminating
% 265.79/247.45 eprover: CPU time limit exceeded, terminating
% 267.98/249.46 eprover: CPU time limit exceeded, terminating
% 270.12/251.47 eprover: CPU time limit exceeded, terminating
% 272.26/253.49 eprover: CPU time limit exceeded, terminating
% 274.52/255.50 eprover: CPU time limit exceeded, terminating
% 276.70/257.52 eprover: CPU time limit exceeded, terminating
% 278.86/259.53 eprover: CPU time limit exceeded, terminating
% 280.98/261.54 eprover: CPU time limit exceeded, terminating
% 283.13/263.55 eprover: CPU time limit exceeded, terminating
% 285.28/265.57 eprover: CPU time limit exceeded, terminating
% 287.40/267.58 eprover: CPU time limit exceeded, terminating
% 289.62/269.59 eprover: CPU time limit exceeded, terminating
% 291.66/271.60 eprover: CPU time limit exceeded, terminating
% 293.87/273.61 eprover: CPU time limit exceeded, terminating
% 296.03/275.62 eprover: CPU time limit exceeded, terminating
% 298.11/277.63 eprover: CPU time limit exceeded, terminating
% 300.04/279.49 eprover: CPU time limit exceeded, terminating
% 300.04/279.50 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------