TSTP Solution File: CSR247+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR247+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:36:09 EDT 2022
% Result : Timeout 287.85s 263.19s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR247+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 20:09:48 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.73/5.77 eprover: CPU time limit exceeded, terminating
% 7.92/7.78 eprover: CPU time limit exceeded, terminating
% 10.18/9.79 eprover: CPU time limit exceeded, terminating
% 12.37/11.80 eprover: CPU time limit exceeded, terminating
% 14.57/13.81 eprover: CPU time limit exceeded, terminating
% 16.75/15.82 eprover: CPU time limit exceeded, terminating
% 18.95/17.83 eprover: CPU time limit exceeded, terminating
% 21.18/19.84 eprover: CPU time limit exceeded, terminating
% 23.36/21.85 eprover: CPU time limit exceeded, terminating
% 25.58/23.87 eprover: CPU time limit exceeded, terminating
% 27.84/25.88 eprover: CPU time limit exceeded, terminating
% 30.05/27.89 eprover: CPU time limit exceeded, terminating
% 32.24/29.90 eprover: CPU time limit exceeded, terminating
% 34.45/31.91 eprover: CPU time limit exceeded, terminating
% 36.64/33.92 eprover: CPU time limit exceeded, terminating
% 38.88/35.93 eprover: CPU time limit exceeded, terminating
% 41.04/37.94 eprover: CPU time limit exceeded, terminating
% 43.27/39.95 eprover: CPU time limit exceeded, terminating
% 45.45/41.96 eprover: CPU time limit exceeded, terminating
% 47.64/43.97 eprover: CPU time limit exceeded, terminating
% 49.89/45.99 eprover: CPU time limit exceeded, terminating
% 52.02/48.00 eprover: CPU time limit exceeded, terminating
% 54.24/50.01 eprover: CPU time limit exceeded, terminating
% 56.52/52.02 eprover: CPU time limit exceeded, terminating
% 58.69/54.03 eprover: CPU time limit exceeded, terminating
% 60.91/56.04 eprover: CPU time limit exceeded, terminating
% 63.11/58.05 eprover: CPU time limit exceeded, terminating
% 65.26/60.06 eprover: CPU time limit exceeded, terminating
% 67.49/62.07 eprover: CPU time limit exceeded, terminating
% 69.70/64.09 eprover: CPU time limit exceeded, terminating
% 71.88/66.10 eprover: CPU time limit exceeded, terminating
% 74.08/68.11 eprover: CPU time limit exceeded, terminating
% 76.35/70.12 eprover: CPU time limit exceeded, terminating
% 78.59/72.14 eprover: CPU time limit exceeded, terminating
% 80.75/74.15 eprover: CPU time limit exceeded, terminating
% 82.96/76.16 eprover: CPU time limit exceeded, terminating
% 85.12/78.18 eprover: CPU time limit exceeded, terminating
% 87.32/80.19 eprover: CPU time limit exceeded, terminating
% 89.57/82.20 eprover: CPU time limit exceeded, terminating
% 91.80/84.21 eprover: CPU time limit exceeded, terminating
% 94.00/86.22 eprover: CPU time limit exceeded, terminating
% 96.21/88.23 eprover: CPU time limit exceeded, terminating
% 98.36/90.24 eprover: CPU time limit exceeded, terminating
% 100.61/92.25 eprover: CPU time limit exceeded, terminating
% 102.78/94.26 eprover: CPU time limit exceeded, terminating
% 105.02/96.27 eprover: CPU time limit exceeded, terminating
% 107.18/98.28 eprover: CPU time limit exceeded, terminating
% 109.43/100.30 eprover: CPU time limit exceeded, terminating
% 111.64/102.31 eprover: CPU time limit exceeded, terminating
% 113.83/104.32 eprover: CPU time limit exceeded, terminating
% 116.05/106.33 eprover: CPU time limit exceeded, terminating
% 118.22/108.34 eprover: CPU time limit exceeded, terminating
% 120.44/110.35 eprover: CPU time limit exceeded, terminating
% 122.63/112.36 eprover: CPU time limit exceeded, terminating
% 124.86/114.37 eprover: CPU time limit exceeded, terminating
% 127.06/116.38 eprover: CPU time limit exceeded, terminating
% 129.26/118.39 eprover: CPU time limit exceeded, terminating
% 131.44/120.40 eprover: CPU time limit exceeded, terminating
% 133.68/122.41 eprover: CPU time limit exceeded, terminating
% 135.85/124.43 eprover: CPU time limit exceeded, terminating
% 138.09/126.44 eprover: CPU time limit exceeded, terminating
% 140.28/128.45 eprover: CPU time limit exceeded, terminating
% 142.50/130.46 eprover: CPU time limit exceeded, terminating
% 144.66/132.47 eprover: CPU time limit exceeded, terminating
% 146.87/134.48 eprover: CPU time limit exceeded, terminating
% 149.10/136.49 eprover: CPU time limit exceeded, terminating
% 151.29/138.50 eprover: CPU time limit exceeded, terminating
% 153.47/140.51 eprover: CPU time limit exceeded, terminating
% 155.72/142.52 eprover: CPU time limit exceeded, terminating
% 157.86/144.53 eprover: CPU time limit exceeded, terminating
% 160.12/146.55 eprover: CPU time limit exceeded, terminating
% 162.31/148.56 eprover: CPU time limit exceeded, terminating
% 164.51/150.57 eprover: CPU time limit exceeded, terminating
% 166.68/152.58 eprover: CPU time limit exceeded, terminating
% 168.91/154.59 eprover: CPU time limit exceeded, terminating
% 171.12/156.60 eprover: CPU time limit exceeded, terminating
% 173.34/158.61 eprover: CPU time limit exceeded, terminating
% 175.53/160.62 eprover: CPU time limit exceeded, terminating
% 177.75/162.63 eprover: CPU time limit exceeded, terminating
% 179.95/164.64 eprover: CPU time limit exceeded, terminating
% 182.10/166.65 eprover: CPU time limit exceeded, terminating
% 184.31/168.67 eprover: CPU time limit exceeded, terminating
% 186.55/170.68 eprover: CPU time limit exceeded, terminating
% 188.68/172.69 eprover: CPU time limit exceeded, terminating
% 190.97/174.70 eprover: CPU time limit exceeded, terminating
% 193.13/176.71 eprover: CPU time limit exceeded, terminating
% 195.34/178.72 eprover: CPU time limit exceeded, terminating
% 197.56/180.73 eprover: CPU time limit exceeded, terminating
% 199.73/182.74 eprover: CPU time limit exceeded, terminating
% 201.95/184.76 eprover: CPU time limit exceeded, terminating
% 204.12/186.77 eprover: CPU time limit exceeded, terminating
% 206.40/188.78 eprover: CPU time limit exceeded, terminating
% 208.59/190.79 eprover: CPU time limit exceeded, terminating
% 210.79/192.80 eprover: CPU time limit exceeded, terminating
% 212.97/194.81 eprover: CPU time limit exceeded, terminating
% 215.17/196.82 eprover: CPU time limit exceeded, terminating
% 217.35/198.83 eprover: CPU time limit exceeded, terminating
% 219.57/200.85 eprover: CPU time limit exceeded, terminating
% 221.75/202.86 eprover: CPU time limit exceeded, terminating
% 223.97/204.87 eprover: CPU time limit exceeded, terminating
% 226.17/206.88 eprover: CPU time limit exceeded, terminating
% 228.34/208.90 eprover: CPU time limit exceeded, terminating
% 230.63/210.91 eprover: CPU time limit exceeded, terminating
% 232.84/212.92 eprover: CPU time limit exceeded, terminating
% 235.03/214.93 eprover: CPU time limit exceeded, terminating
% 237.23/216.94 eprover: CPU time limit exceeded, terminating
% 239.40/218.95 eprover: CPU time limit exceeded, terminating
% 241.62/220.96 eprover: CPU time limit exceeded, terminating
% 243.79/222.97 eprover: CPU time limit exceeded, terminating
% 246.01/224.99 eprover: CPU time limit exceeded, terminating
% 248.19/227.00 eprover: CPU time limit exceeded, terminating
% 250.49/229.01 eprover: CPU time limit exceeded, terminating
% 252.67/231.02 eprover: CPU time limit exceeded, terminating
% 254.84/233.03 eprover: CPU time limit exceeded, terminating
% 257.05/235.04 eprover: CPU time limit exceeded, terminating
% 259.25/237.05 eprover: CPU time limit exceeded, terminating
% 261.44/239.06 eprover: CPU time limit exceeded, terminating
% 263.63/241.07 eprover: CPU time limit exceeded, terminating
% 265.88/243.08 eprover: CPU time limit exceeded, terminating
% 268.02/245.09 eprover: CPU time limit exceeded, terminating
% 270.27/247.10 eprover: CPU time limit exceeded, terminating
% 272.41/249.12 eprover: CPU time limit exceeded, terminating
% 274.65/251.13 eprover: CPU time limit exceeded, terminating
% 276.90/253.14 eprover: CPU time limit exceeded, terminating
% 279.08/255.15 eprover: CPU time limit exceeded, terminating
% 281.28/257.16 eprover: CPU time limit exceeded, terminating
% 283.45/259.17 eprover: CPU time limit exceeded, terminating
% 285.68/261.18 eprover: CPU time limit exceeded, terminating
% 287.85/263.19 eprover: CPU time limit exceeded, terminating
% 290.15/265.20 eprover: CPU time limit exceeded, terminating
% 292.32/267.22 eprover: CPU time limit exceeded, terminating
% 294.52/269.23 eprover: CPU time limit exceeded, terminating
% 296.68/271.24 eprover: CPU time limit exceeded, terminating
% 298.91/273.25 eprover: CPU time limit exceeded, terminating
% 300.08/274.19 eprover: CPU time limit exceeded, terminating
% 300.08/274.20 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------