TSTP Solution File: CSR221+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR221+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:06 EDT 2022
% Result : Timeout 287.67s 263.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR221+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.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 : Sat Jun 11 09:51:40 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.75/5.79 eprover: CPU time limit exceeded, terminating
% 7.95/7.80 eprover: CPU time limit exceeded, terminating
% 10.10/9.81 eprover: CPU time limit exceeded, terminating
% 12.32/11.82 eprover: CPU time limit exceeded, terminating
% 14.54/13.84 eprover: CPU time limit exceeded, terminating
% 16.69/15.85 eprover: CPU time limit exceeded, terminating
% 18.95/17.86 eprover: CPU time limit exceeded, terminating
% 21.18/19.87 eprover: CPU time limit exceeded, terminating
% 23.35/21.88 eprover: CPU time limit exceeded, terminating
% 25.55/23.89 eprover: CPU time limit exceeded, terminating
% 27.74/25.90 eprover: CPU time limit exceeded, terminating
% 29.95/27.91 eprover: CPU time limit exceeded, terminating
% 32.10/29.93 eprover: CPU time limit exceeded, terminating
% 34.39/31.94 eprover: CPU time limit exceeded, terminating
% 36.59/33.95 eprover: CPU time limit exceeded, terminating
% 38.77/35.96 eprover: CPU time limit exceeded, terminating
% 40.98/37.98 eprover: CPU time limit exceeded, terminating
% 43.15/39.99 eprover: CPU time limit exceeded, terminating
% 45.39/42.00 eprover: CPU time limit exceeded, terminating
% 47.61/44.01 eprover: CPU time limit exceeded, terminating
% 49.76/46.03 eprover: CPU time limit exceeded, terminating
% 51.95/48.04 eprover: CPU time limit exceeded, terminating
% 54.22/50.05 eprover: CPU time limit exceeded, terminating
% 56.40/52.07 eprover: CPU time limit exceeded, terminating
% 58.60/54.08 eprover: CPU time limit exceeded, terminating
% 60.77/56.09 eprover: CPU time limit exceeded, terminating
% 63.01/58.10 eprover: CPU time limit exceeded, terminating
% 65.16/60.12 eprover: CPU time limit exceeded, terminating
% 67.44/62.13 eprover: CPU time limit exceeded, terminating
% 69.55/64.14 eprover: CPU time limit exceeded, terminating
% 71.84/66.15 eprover: CPU time limit exceeded, terminating
% 74.02/68.17 eprover: CPU time limit exceeded, terminating
% 76.20/70.18 eprover: CPU time limit exceeded, terminating
% 78.42/72.19 eprover: CPU time limit exceeded, terminating
% 80.61/74.21 eprover: CPU time limit exceeded, terminating
% 82.79/76.22 eprover: CPU time limit exceeded, terminating
% 85.04/78.23 eprover: CPU time limit exceeded, terminating
% 87.25/80.24 eprover: CPU time limit exceeded, terminating
% 89.47/82.26 eprover: CPU time limit exceeded, terminating
% 91.66/84.27 eprover: CPU time limit exceeded, terminating
% 93.81/86.28 eprover: CPU time limit exceeded, terminating
% 96.07/88.29 eprover: CPU time limit exceeded, terminating
% 98.24/90.31 eprover: CPU time limit exceeded, terminating
% 100.39/92.32 eprover: CPU time limit exceeded, terminating
% 102.62/94.33 eprover: CPU time limit exceeded, terminating
% 104.84/96.34 eprover: CPU time limit exceeded, terminating
% 107.03/98.35 eprover: CPU time limit exceeded, terminating
% 109.24/100.37 eprover: CPU time limit exceeded, terminating
% 111.43/102.38 eprover: CPU time limit exceeded, terminating
% 113.67/104.39 eprover: CPU time limit exceeded, terminating
% 115.85/106.40 eprover: CPU time limit exceeded, terminating
% 118.09/108.42 eprover: CPU time limit exceeded, terminating
% 120.26/110.43 eprover: CPU time limit exceeded, terminating
% 122.49/112.44 eprover: CPU time limit exceeded, terminating
% 124.70/114.46 eprover: CPU time limit exceeded, terminating
% 126.88/116.47 eprover: CPU time limit exceeded, terminating
% 129.09/118.48 eprover: CPU time limit exceeded, terminating
% 131.25/120.50 eprover: CPU time limit exceeded, terminating
% 133.48/122.51 eprover: CPU time limit exceeded, terminating
% 135.64/124.52 eprover: CPU time limit exceeded, terminating
% 137.85/126.53 eprover: CPU time limit exceeded, terminating
% 140.08/128.55 eprover: CPU time limit exceeded, terminating
% 142.29/130.56 eprover: CPU time limit exceeded, terminating
% 144.46/132.57 eprover: CPU time limit exceeded, terminating
% 146.72/134.59 eprover: CPU time limit exceeded, terminating
% 148.93/136.60 eprover: CPU time limit exceeded, terminating
% 151.09/138.61 eprover: CPU time limit exceeded, terminating
% 153.32/140.63 eprover: CPU time limit exceeded, terminating
% 155.53/142.64 eprover: CPU time limit exceeded, terminating
% 157.67/144.65 eprover: CPU time limit exceeded, terminating
% 159.89/146.66 eprover: CPU time limit exceeded, terminating
% 162.13/148.68 eprover: CPU time limit exceeded, terminating
% 164.28/150.69 eprover: CPU time limit exceeded, terminating
% 166.53/152.71 eprover: CPU time limit exceeded, terminating
% 168.73/154.72 eprover: CPU time limit exceeded, terminating
% 170.95/156.73 eprover: CPU time limit exceeded, terminating
% 173.16/158.75 eprover: CPU time limit exceeded, terminating
% 175.30/160.76 eprover: CPU time limit exceeded, terminating
% 177.48/162.77 eprover: CPU time limit exceeded, terminating
% 179.67/164.78 eprover: CPU time limit exceeded, terminating
% 181.96/166.80 eprover: CPU time limit exceeded, terminating
% 184.14/168.81 eprover: CPU time limit exceeded, terminating
% 186.37/170.82 eprover: CPU time limit exceeded, terminating
% 188.57/172.84 eprover: CPU time limit exceeded, terminating
% 190.73/174.85 eprover: CPU time limit exceeded, terminating
% 192.96/176.86 eprover: CPU time limit exceeded, terminating
% 195.12/178.87 eprover: CPU time limit exceeded, terminating
% 197.38/180.89 eprover: CPU time limit exceeded, terminating
% 199.59/182.90 eprover: CPU time limit exceeded, terminating
% 201.78/184.91 eprover: CPU time limit exceeded, terminating
% 204.00/186.92 eprover: CPU time limit exceeded, terminating
% 206.15/188.94 eprover: CPU time limit exceeded, terminating
% 208.34/190.95 eprover: CPU time limit exceeded, terminating
% 210.56/192.96 eprover: CPU time limit exceeded, terminating
% 212.76/194.98 eprover: CPU time limit exceeded, terminating
% 214.93/196.99 eprover: CPU time limit exceeded, terminating
% 217.20/199.00 eprover: CPU time limit exceeded, terminating
% 219.38/201.01 eprover: CPU time limit exceeded, terminating
% 221.60/203.03 eprover: CPU time limit exceeded, terminating
% 223.82/205.04 eprover: CPU time limit exceeded, terminating
% 225.98/207.05 eprover: CPU time limit exceeded, terminating
% 228.14/209.07 eprover: CPU time limit exceeded, terminating
% 230.42/211.08 eprover: CPU time limit exceeded, terminating
% 232.63/213.09 eprover: CPU time limit exceeded, terminating
% 234.83/215.10 eprover: CPU time limit exceeded, terminating
% 237.02/217.12 eprover: CPU time limit exceeded, terminating
% 239.22/219.13 eprover: CPU time limit exceeded, terminating
% 241.41/221.14 eprover: CPU time limit exceeded, terminating
% 243.58/223.15 eprover: CPU time limit exceeded, terminating
% 245.80/225.17 eprover: CPU time limit exceeded, terminating
% 247.98/227.18 eprover: CPU time limit exceeded, terminating
% 250.23/229.19 eprover: CPU time limit exceeded, terminating
% 252.44/231.21 eprover: CPU time limit exceeded, terminating
% 254.64/233.22 eprover: CPU time limit exceeded, terminating
% 256.78/235.23 eprover: CPU time limit exceeded, terminating
% 259.01/237.24 eprover: CPU time limit exceeded, terminating
% 261.23/239.26 eprover: CPU time limit exceeded, terminating
% 263.41/241.27 eprover: CPU time limit exceeded, terminating
% 265.67/243.28 eprover: CPU time limit exceeded, terminating
% 267.81/245.29 eprover: CPU time limit exceeded, terminating
% 270.08/247.31 eprover: CPU time limit exceeded, terminating
% 272.26/249.32 eprover: CPU time limit exceeded, terminating
% 274.46/251.33 eprover: CPU time limit exceeded, terminating
% 276.63/253.34 eprover: CPU time limit exceeded, terminating
% 278.84/255.36 eprover: CPU time limit exceeded, terminating
% 281.03/257.37 eprover: CPU time limit exceeded, terminating
% 283.29/259.38 eprover: CPU time limit exceeded, terminating
% 285.49/261.39 eprover: CPU time limit exceeded, terminating
% 287.67/263.41 eprover: CPU time limit exceeded, terminating
% 289.88/265.42 eprover: CPU time limit exceeded, terminating
% 292.08/267.43 eprover: CPU time limit exceeded, terminating
% 294.27/269.45 eprover: CPU time limit exceeded, terminating
% 296.45/271.46 eprover: CPU time limit exceeded, terminating
% 298.64/273.47 eprover: CPU time limit exceeded, terminating
% 300.03/274.63 eprover: CPU time limit exceeded, terminating
% 300.03/274.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------