TSTP Solution File: CSR227+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR227+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:07 EDT 2022
% Result : Timeout 285.95s 261.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR227+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n017.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 07:10:20 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.69/5.69 eprover: CPU time limit exceeded, terminating
% 7.88/7.70 eprover: CPU time limit exceeded, terminating
% 10.03/9.71 eprover: CPU time limit exceeded, terminating
% 12.29/11.72 eprover: CPU time limit exceeded, terminating
% 14.45/13.73 eprover: CPU time limit exceeded, terminating
% 16.70/15.74 eprover: CPU time limit exceeded, terminating
% 18.90/17.75 eprover: CPU time limit exceeded, terminating
% 21.08/19.76 eprover: CPU time limit exceeded, terminating
% 23.29/21.77 eprover: CPU time limit exceeded, terminating
% 25.48/23.78 eprover: CPU time limit exceeded, terminating
% 27.72/25.80 eprover: CPU time limit exceeded, terminating
% 29.92/27.81 eprover: CPU time limit exceeded, terminating
% 32.12/29.82 eprover: CPU time limit exceeded, terminating
% 34.34/31.83 eprover: CPU time limit exceeded, terminating
% 36.50/33.84 eprover: CPU time limit exceeded, terminating
% 38.78/35.85 eprover: CPU time limit exceeded, terminating
% 40.96/37.86 eprover: CPU time limit exceeded, terminating
% 43.17/39.87 eprover: CPU time limit exceeded, terminating
% 45.36/41.88 eprover: CPU time limit exceeded, terminating
% 47.58/43.89 eprover: CPU time limit exceeded, terminating
% 49.84/45.91 eprover: CPU time limit exceeded, terminating
% 51.99/47.92 eprover: CPU time limit exceeded, terminating
% 54.22/49.93 eprover: CPU time limit exceeded, terminating
% 56.46/51.94 eprover: CPU time limit exceeded, terminating
% 58.58/53.95 eprover: CPU time limit exceeded, terminating
% 60.85/55.96 eprover: CPU time limit exceeded, terminating
% 63.06/57.97 eprover: CPU time limit exceeded, terminating
% 65.24/59.98 eprover: CPU time limit exceeded, terminating
% 67.50/61.99 eprover: CPU time limit exceeded, terminating
% 69.68/64.00 eprover: CPU time limit exceeded, terminating
% 71.90/66.02 eprover: CPU time limit exceeded, terminating
% 74.10/68.02 eprover: CPU time limit exceeded, terminating
% 76.26/70.04 eprover: CPU time limit exceeded, terminating
% 78.48/72.05 eprover: CPU time limit exceeded, terminating
% 80.64/74.06 eprover: CPU time limit exceeded, terminating
% 82.92/76.07 eprover: CPU time limit exceeded, terminating
% 85.12/78.08 eprover: CPU time limit exceeded, terminating
% 87.29/80.09 eprover: CPU time limit exceeded, terminating
% 89.52/82.10 eprover: CPU time limit exceeded, terminating
% 91.75/84.11 eprover: CPU time limit exceeded, terminating
% 93.92/86.12 eprover: CPU time limit exceeded, terminating
% 96.15/88.13 eprover: CPU time limit exceeded, terminating
% 98.32/90.14 eprover: CPU time limit exceeded, terminating
% 100.53/92.15 eprover: CPU time limit exceeded, terminating
% 102.74/94.17 eprover: CPU time limit exceeded, terminating
% 104.94/96.18 eprover: CPU time limit exceeded, terminating
% 107.18/98.19 eprover: CPU time limit exceeded, terminating
% 109.37/100.20 eprover: CPU time limit exceeded, terminating
% 111.57/102.22 eprover: CPU time limit exceeded, terminating
% 113.78/104.23 eprover: CPU time limit exceeded, terminating
% 115.95/106.24 eprover: CPU time limit exceeded, terminating
% 118.17/108.25 eprover: CPU time limit exceeded, terminating
% 120.41/110.26 eprover: CPU time limit exceeded, terminating
% 122.62/112.28 eprover: CPU time limit exceeded, terminating
% 124.79/114.29 eprover: CPU time limit exceeded, terminating
% 126.99/116.30 eprover: CPU time limit exceeded, terminating
% 129.22/118.31 eprover: CPU time limit exceeded, terminating
% 131.38/120.32 eprover: CPU time limit exceeded, terminating
% 133.64/122.34 eprover: CPU time limit exceeded, terminating
% 135.83/124.35 eprover: CPU time limit exceeded, terminating
% 138.05/126.36 eprover: CPU time limit exceeded, terminating
% 140.27/128.37 eprover: CPU time limit exceeded, terminating
% 142.48/130.38 eprover: CPU time limit exceeded, terminating
% 144.68/132.40 eprover: CPU time limit exceeded, terminating
% 146.86/134.41 eprover: CPU time limit exceeded, terminating
% 149.05/136.42 eprover: CPU time limit exceeded, terminating
% 151.24/138.43 eprover: CPU time limit exceeded, terminating
% 153.51/140.44 eprover: CPU time limit exceeded, terminating
% 155.73/142.46 eprover: CPU time limit exceeded, terminating
% 157.92/144.47 eprover: CPU time limit exceeded, terminating
% 160.14/146.48 eprover: CPU time limit exceeded, terminating
% 162.33/148.49 eprover: CPU time limit exceeded, terminating
% 164.53/150.50 eprover: CPU time limit exceeded, terminating
% 166.72/152.52 eprover: CPU time limit exceeded, terminating
% 168.91/154.53 eprover: CPU time limit exceeded, terminating
% 171.12/156.54 eprover: CPU time limit exceeded, terminating
% 173.38/158.55 eprover: CPU time limit exceeded, terminating
% 175.58/160.57 eprover: CPU time limit exceeded, terminating
% 177.77/162.58 eprover: CPU time limit exceeded, terminating
% 179.97/164.59 eprover: CPU time limit exceeded, terminating
% 182.18/166.60 eprover: CPU time limit exceeded, terminating
% 184.44/168.61 eprover: CPU time limit exceeded, terminating
% 186.65/170.63 eprover: CPU time limit exceeded, terminating
% 188.78/172.64 eprover: CPU time limit exceeded, terminating
% 191.01/174.65 eprover: CPU time limit exceeded, terminating
% 193.25/176.66 eprover: CPU time limit exceeded, terminating
% 195.45/178.67 eprover: CPU time limit exceeded, terminating
% 197.66/180.68 eprover: CPU time limit exceeded, terminating
% 199.84/182.70 eprover: CPU time limit exceeded, terminating
% 202.06/184.71 eprover: CPU time limit exceeded, terminating
% 204.23/186.72 eprover: CPU time limit exceeded, terminating
% 206.46/188.73 eprover: CPU time limit exceeded, terminating
% 208.69/190.74 eprover: CPU time limit exceeded, terminating
% 210.89/192.76 eprover: CPU time limit exceeded, terminating
% 213.09/194.77 eprover: CPU time limit exceeded, terminating
% 215.31/196.78 eprover: CPU time limit exceeded, terminating
% 217.53/198.79 eprover: CPU time limit exceeded, terminating
% 219.70/200.81 eprover: CPU time limit exceeded, terminating
% 221.92/202.82 eprover: CPU time limit exceeded, terminating
% 224.12/204.83 eprover: CPU time limit exceeded, terminating
% 226.34/206.84 eprover: CPU time limit exceeded, terminating
% 228.53/208.85 eprover: CPU time limit exceeded, terminating
% 230.75/210.87 eprover: CPU time limit exceeded, terminating
% 232.96/212.88 eprover: CPU time limit exceeded, terminating
% 235.17/214.89 eprover: CPU time limit exceeded, terminating
% 237.40/216.90 eprover: CPU time limit exceeded, terminating
% 239.56/218.91 eprover: CPU time limit exceeded, terminating
% 241.77/220.92 eprover: CPU time limit exceeded, terminating
% 244.00/222.94 eprover: CPU time limit exceeded, terminating
% 246.24/224.95 eprover: CPU time limit exceeded, terminating
% 248.40/226.96 eprover: CPU time limit exceeded, terminating
% 250.63/228.97 eprover: CPU time limit exceeded, terminating
% 252.86/230.99 eprover: CPU time limit exceeded, terminating
% 255.02/233.00 eprover: CPU time limit exceeded, terminating
% 257.24/235.01 eprover: CPU time limit exceeded, terminating
% 259.43/237.02 eprover: CPU time limit exceeded, terminating
% 261.61/239.03 eprover: CPU time limit exceeded, terminating
% 263.89/241.05 eprover: CPU time limit exceeded, terminating
% 266.09/243.06 eprover: CPU time limit exceeded, terminating
% 268.28/245.07 eprover: CPU time limit exceeded, terminating
% 270.47/247.08 eprover: CPU time limit exceeded, terminating
% 272.72/249.09 eprover: CPU time limit exceeded, terminating
% 274.87/251.10 eprover: CPU time limit exceeded, terminating
% 277.13/253.12 eprover: CPU time limit exceeded, terminating
% 279.35/255.13 eprover: CPU time limit exceeded, terminating
% 281.51/257.14 eprover: CPU time limit exceeded, terminating
% 283.75/259.15 eprover: CPU time limit exceeded, terminating
% 285.95/261.17 eprover: CPU time limit exceeded, terminating
% 288.14/263.18 eprover: CPU time limit exceeded, terminating
% 290.36/265.19 eprover: CPU time limit exceeded, terminating
% 292.54/267.20 eprover: CPU time limit exceeded, terminating
% 294.75/269.21 eprover: CPU time limit exceeded, terminating
% 296.99/271.22 eprover: CPU time limit exceeded, terminating
% 299.17/273.24 eprover: CPU time limit exceeded, terminating
% 300.07/273.98 eprover: CPU time limit exceeded, terminating
% 300.07/273.99 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------