TSTP Solution File: CSR115+19 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+19 : 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:28 EDT 2022
% Result : Timeout 286.29s 267.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : CSR115+19 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n023.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Fri Jun 10 15:36:07 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.78/3.84 eprover: CPU time limit exceeded, terminating
% 5.92/5.85 eprover: CPU time limit exceeded, terminating
% 8.09/7.86 eprover: CPU time limit exceeded, terminating
% 10.23/9.88 eprover: CPU time limit exceeded, terminating
% 12.39/11.89 eprover: CPU time limit exceeded, terminating
% 14.61/13.90 eprover: CPU time limit exceeded, terminating
% 16.74/15.91 eprover: CPU time limit exceeded, terminating
% 18.89/17.93 eprover: CPU time limit exceeded, terminating
% 21.04/19.94 eprover: CPU time limit exceeded, terminating
% 23.15/21.95 eprover: CPU time limit exceeded, terminating
% 25.32/23.97 eprover: CPU time limit exceeded, terminating
% 27.51/25.98 eprover: CPU time limit exceeded, terminating
% 29.72/27.99 eprover: CPU time limit exceeded, terminating
% 31.79/30.01 eprover: CPU time limit exceeded, terminating
% 34.03/32.02 eprover: CPU time limit exceeded, terminating
% 36.22/34.03 eprover: CPU time limit exceeded, terminating
% 38.33/36.05 eprover: CPU time limit exceeded, terminating
% 40.50/38.06 eprover: CPU time limit exceeded, terminating
% 42.66/40.07 eprover: CPU time limit exceeded, terminating
% 44.80/42.09 eprover: CPU time limit exceeded, terminating
% 46.97/44.10 eprover: CPU time limit exceeded, terminating
% 49.16/46.11 eprover: CPU time limit exceeded, terminating
% 51.35/48.13 eprover: CPU time limit exceeded, terminating
% 53.47/50.14 eprover: CPU time limit exceeded, terminating
% 55.64/52.16 eprover: CPU time limit exceeded, terminating
% 57.82/54.17 eprover: CPU time limit exceeded, terminating
% 59.95/56.18 eprover: CPU time limit exceeded, terminating
% 62.15/58.19 eprover: CPU time limit exceeded, terminating
% 64.27/60.21 eprover: CPU time limit exceeded, terminating
% 66.49/62.23 eprover: CPU time limit exceeded, terminating
% 68.62/64.24 eprover: CPU time limit exceeded, terminating
% 70.78/66.25 eprover: CPU time limit exceeded, terminating
% 72.93/68.26 eprover: CPU time limit exceeded, terminating
% 75.13/70.28 eprover: CPU time limit exceeded, terminating
% 77.21/72.29 eprover: CPU time limit exceeded, terminating
% 79.45/74.31 eprover: CPU time limit exceeded, terminating
% 81.52/76.32 eprover: CPU time limit exceeded, terminating
% 83.61/78.33 eprover: CPU time limit exceeded, terminating
% 85.76/80.35 eprover: CPU time limit exceeded, terminating
% 87.87/82.36 eprover: CPU time limit exceeded, terminating
% 90.01/84.38 eprover: CPU time limit exceeded, terminating
% 92.18/86.39 eprover: CPU time limit exceeded, terminating
% 94.41/88.40 eprover: CPU time limit exceeded, terminating
% 96.57/90.42 eprover: CPU time limit exceeded, terminating
% 98.72/92.43 eprover: CPU time limit exceeded, terminating
% 100.88/94.44 eprover: CPU time limit exceeded, terminating
% 103.04/96.46 eprover: CPU time limit exceeded, terminating
% 105.13/98.47 eprover: CPU time limit exceeded, terminating
% 107.32/100.48 eprover: CPU time limit exceeded, terminating
% 109.50/102.49 eprover: CPU time limit exceeded, terminating
% 111.70/104.51 eprover: CPU time limit exceeded, terminating
% 113.87/106.52 eprover: CPU time limit exceeded, terminating
% 116.00/108.53 eprover: CPU time limit exceeded, terminating
% 118.17/110.55 eprover: CPU time limit exceeded, terminating
% 120.29/112.56 eprover: CPU time limit exceeded, terminating
% 122.48/114.57 eprover: CPU time limit exceeded, terminating
% 124.61/116.59 eprover: CPU time limit exceeded, terminating
% 126.82/118.60 eprover: CPU time limit exceeded, terminating
% 128.96/120.61 eprover: CPU time limit exceeded, terminating
% 131.15/122.63 eprover: CPU time limit exceeded, terminating
% 133.32/124.64 eprover: CPU time limit exceeded, terminating
% 135.46/126.65 eprover: CPU time limit exceeded, terminating
% 137.63/128.66 eprover: CPU time limit exceeded, terminating
% 139.76/130.68 eprover: CPU time limit exceeded, terminating
% 141.92/132.69 eprover: CPU time limit exceeded, terminating
% 144.15/134.70 eprover: CPU time limit exceeded, terminating
% 146.29/136.72 eprover: CPU time limit exceeded, terminating
% 148.46/138.73 eprover: CPU time limit exceeded, terminating
% 150.63/140.74 eprover: CPU time limit exceeded, terminating
% 152.78/142.76 eprover: CPU time limit exceeded, terminating
% 154.90/144.77 eprover: CPU time limit exceeded, terminating
% 157.09/146.78 eprover: CPU time limit exceeded, terminating
% 159.20/148.79 eprover: CPU time limit exceeded, terminating
% 161.39/150.80 eprover: CPU time limit exceeded, terminating
% 163.54/152.81 eprover: CPU time limit exceeded, terminating
% 165.62/154.82 eprover: CPU time limit exceeded, terminating
% 167.90/156.84 eprover: CPU time limit exceeded, terminating
% 170.02/158.85 eprover: CPU time limit exceeded, terminating
% 172.20/160.86 eprover: CPU time limit exceeded, terminating
% 174.31/162.88 eprover: CPU time limit exceeded, terminating
% 176.53/164.89 eprover: CPU time limit exceeded, terminating
% 178.68/166.90 eprover: CPU time limit exceeded, terminating
% 180.85/168.92 eprover: CPU time limit exceeded, terminating
% 183.02/170.93 eprover: CPU time limit exceeded, terminating
% 185.18/172.94 eprover: CPU time limit exceeded, terminating
% 187.26/174.96 eprover: CPU time limit exceeded, terminating
% 189.46/176.97 eprover: CPU time limit exceeded, terminating
% 191.67/178.98 eprover: CPU time limit exceeded, terminating
% 193.84/181.00 eprover: CPU time limit exceeded, terminating
% 195.99/183.01 eprover: CPU time limit exceeded, terminating
% 198.07/185.03 eprover: CPU time limit exceeded, terminating
% 200.25/187.04 eprover: CPU time limit exceeded, terminating
% 202.47/189.05 eprover: CPU time limit exceeded, terminating
% 204.66/191.07 eprover: CPU time limit exceeded, terminating
% 206.79/193.08 eprover: CPU time limit exceeded, terminating
% 208.97/195.09 eprover: CPU time limit exceeded, terminating
% 211.15/197.11 eprover: CPU time limit exceeded, terminating
% 213.30/199.12 eprover: CPU time limit exceeded, terminating
% 215.48/201.13 eprover: CPU time limit exceeded, terminating
% 217.62/203.15 eprover: CPU time limit exceeded, terminating
% 219.79/205.16 eprover: CPU time limit exceeded, terminating
% 221.94/207.17 eprover: CPU time limit exceeded, terminating
% 224.10/209.19 eprover: CPU time limit exceeded, terminating
% 226.31/211.20 eprover: CPU time limit exceeded, terminating
% 228.40/213.22 eprover: CPU time limit exceeded, terminating
% 230.55/215.23 eprover: CPU time limit exceeded, terminating
% 232.61/217.24 eprover: CPU time limit exceeded, terminating
% 234.81/219.26 eprover: CPU time limit exceeded, terminating
% 236.90/221.27 eprover: CPU time limit exceeded, terminating
% 239.10/223.28 eprover: CPU time limit exceeded, terminating
% 241.29/225.30 eprover: CPU time limit exceeded, terminating
% 243.42/227.31 eprover: CPU time limit exceeded, terminating
% 245.60/229.33 eprover: CPU time limit exceeded, terminating
% 247.76/231.34 eprover: CPU time limit exceeded, terminating
% 249.93/233.35 eprover: CPU time limit exceeded, terminating
% 251.99/235.37 eprover: CPU time limit exceeded, terminating
% 254.07/237.38 eprover: CPU time limit exceeded, terminating
% 256.14/239.40 eprover: CPU time limit exceeded, terminating
% 258.27/241.41 eprover: CPU time limit exceeded, terminating
% 260.45/243.42 eprover: CPU time limit exceeded, terminating
% 262.55/245.44 eprover: CPU time limit exceeded, terminating
% 264.70/247.45 eprover: CPU time limit exceeded, terminating
% 266.86/249.47 eprover: CPU time limit exceeded, terminating
% 269.04/251.48 eprover: CPU time limit exceeded, terminating
% 271.18/253.49 eprover: CPU time limit exceeded, terminating
% 273.35/255.51 eprover: CPU time limit exceeded, terminating
% 275.51/257.52 eprover: CPU time limit exceeded, terminating
% 277.58/259.54 eprover: CPU time limit exceeded, terminating
% 279.77/261.55 eprover: CPU time limit exceeded, terminating
% 281.97/263.56 eprover: CPU time limit exceeded, terminating
% 284.13/265.58 eprover: CPU time limit exceeded, terminating
% 286.29/267.59 eprover: CPU time limit exceeded, terminating
% 288.46/269.61 eprover: CPU time limit exceeded, terminating
% 290.60/271.62 eprover: CPU time limit exceeded, terminating
% 292.74/273.63 eprover: CPU time limit exceeded, terminating
% 294.92/275.65 eprover: CPU time limit exceeded, terminating
% 297.04/277.66 eprover: CPU time limit exceeded, terminating
% 299.07/279.68 eprover: CPU time limit exceeded, terminating
% 300.05/280.55 eprover: CPU time limit exceeded, terminating
% 300.05/280.56 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------