TSTP Solution File: CSR192+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR192+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:02 EDT 2022
% Result : Timeout 285.95s 261.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : CSR192+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n022.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 : Thu Jun 9 16:51:49 EDT 2022
% 0.14/0.35 % CPUTime :
% 5.76/5.75 eprover: CPU time limit exceeded, terminating
% 7.94/7.76 eprover: CPU time limit exceeded, terminating
% 10.11/9.77 eprover: CPU time limit exceeded, terminating
% 12.36/11.79 eprover: CPU time limit exceeded, terminating
% 14.59/13.80 eprover: CPU time limit exceeded, terminating
% 16.76/15.81 eprover: CPU time limit exceeded, terminating
% 18.98/17.82 eprover: CPU time limit exceeded, terminating
% 21.18/19.83 eprover: CPU time limit exceeded, terminating
% 23.37/21.84 eprover: CPU time limit exceeded, terminating
% 25.56/23.85 eprover: CPU time limit exceeded, terminating
% 27.76/25.86 eprover: CPU time limit exceeded, terminating
% 29.99/27.87 eprover: CPU time limit exceeded, terminating
% 32.19/29.88 eprover: CPU time limit exceeded, terminating
% 34.37/31.90 eprover: CPU time limit exceeded, terminating
% 36.65/33.91 eprover: CPU time limit exceeded, terminating
% 38.87/35.92 eprover: CPU time limit exceeded, terminating
% 41.08/37.93 eprover: CPU time limit exceeded, terminating
% 43.23/39.94 eprover: CPU time limit exceeded, terminating
% 45.47/41.95 eprover: CPU time limit exceeded, terminating
% 47.66/43.97 eprover: CPU time limit exceeded, terminating
% 49.92/45.98 eprover: CPU time limit exceeded, terminating
% 52.07/47.99 eprover: CPU time limit exceeded, terminating
% 54.32/50.00 eprover: CPU time limit exceeded, terminating
% 56.54/52.01 eprover: CPU time limit exceeded, terminating
% 58.76/54.03 eprover: CPU time limit exceeded, terminating
% 60.95/56.04 eprover: CPU time limit exceeded, terminating
% 63.13/58.05 eprover: CPU time limit exceeded, terminating
% 65.35/60.06 eprover: CPU time limit exceeded, terminating
% 67.53/62.08 eprover: CPU time limit exceeded, terminating
% 69.80/64.09 eprover: CPU time limit exceeded, terminating
% 72.00/66.10 eprover: CPU time limit exceeded, terminating
% 74.21/68.11 eprover: CPU time limit exceeded, terminating
% 76.43/70.13 eprover: CPU time limit exceeded, terminating
% 78.60/72.14 eprover: CPU time limit exceeded, terminating
% 80.82/74.15 eprover: CPU time limit exceeded, terminating
% 83.00/76.16 eprover: CPU time limit exceeded, terminating
% 85.16/78.17 eprover: CPU time limit exceeded, terminating
% 87.38/80.18 eprover: CPU time limit exceeded, terminating
% 89.66/82.20 eprover: CPU time limit exceeded, terminating
% 91.87/84.21 eprover: CPU time limit exceeded, terminating
% 94.07/86.22 eprover: CPU time limit exceeded, terminating
% 96.27/88.23 eprover: CPU time limit exceeded, terminating
% 98.46/90.24 eprover: CPU time limit exceeded, terminating
% 100.63/92.26 eprover: CPU time limit exceeded, terminating
% 102.87/94.27 eprover: CPU time limit exceeded, terminating
% 105.13/96.28 eprover: CPU time limit exceeded, terminating
% 107.25/98.29 eprover: CPU time limit exceeded, terminating
% 109.46/100.30 eprover: CPU time limit exceeded, terminating
% 111.73/102.31 eprover: CPU time limit exceeded, terminating
% 113.93/104.33 eprover: CPU time limit exceeded, terminating
% 116.14/106.34 eprover: CPU time limit exceeded, terminating
% 118.36/108.35 eprover: CPU time limit exceeded, terminating
% 120.50/110.40 eprover: CPU time limit exceeded, terminating
% 122.77/112.42 eprover: CPU time limit exceeded, terminating
% 124.98/114.44 eprover: CPU time limit exceeded, terminating
% 127.14/116.45 eprover: CPU time limit exceeded, terminating
% 129.33/118.46 eprover: CPU time limit exceeded, terminating
% 131.55/120.47 eprover: CPU time limit exceeded, terminating
% 133.82/122.48 eprover: CPU time limit exceeded, terminating
% 135.94/124.49 eprover: CPU time limit exceeded, terminating
% 138.15/126.51 eprover: CPU time limit exceeded, terminating
% 140.43/128.52 eprover: CPU time limit exceeded, terminating
% 142.64/130.53 eprover: CPU time limit exceeded, terminating
% 144.84/132.54 eprover: CPU time limit exceeded, terminating
% 146.99/134.55 eprover: CPU time limit exceeded, terminating
% 149.21/136.56 eprover: CPU time limit exceeded, terminating
% 151.41/138.57 eprover: CPU time limit exceeded, terminating
% 153.63/140.59 eprover: CPU time limit exceeded, terminating
% 155.89/142.60 eprover: CPU time limit exceeded, terminating
% 158.03/144.61 eprover: CPU time limit exceeded, terminating
% 160.29/146.62 eprover: CPU time limit exceeded, terminating
% 162.42/148.63 eprover: CPU time limit exceeded, terminating
% 164.68/150.64 eprover: CPU time limit exceeded, terminating
% 166.84/152.65 eprover: CPU time limit exceeded, terminating
% 169.10/154.66 eprover: CPU time limit exceeded, terminating
% 171.27/156.67 eprover: CPU time limit exceeded, terminating
% 173.48/158.68 eprover: CPU time limit exceeded, terminating
% 175.73/160.70 eprover: CPU time limit exceeded, terminating
% 177.87/162.71 eprover: CPU time limit exceeded, terminating
% 180.11/164.72 eprover: CPU time limit exceeded, terminating
% 182.27/166.73 eprover: CPU time limit exceeded, terminating
% 184.48/168.74 eprover: CPU time limit exceeded, terminating
% 186.68/170.75 eprover: CPU time limit exceeded, terminating
% 188.93/172.76 eprover: CPU time limit exceeded, terminating
% 191.13/174.77 eprover: CPU time limit exceeded, terminating
% 193.33/176.78 eprover: CPU time limit exceeded, terminating
% 195.50/178.79 eprover: CPU time limit exceeded, terminating
% 197.75/180.81 eprover: CPU time limit exceeded, terminating
% 199.93/182.82 eprover: CPU time limit exceeded, terminating
% 202.16/184.83 eprover: CPU time limit exceeded, terminating
% 204.38/186.84 eprover: CPU time limit exceeded, terminating
% 206.53/188.85 eprover: CPU time limit exceeded, terminating
% 208.75/190.86 eprover: CPU time limit exceeded, terminating
% 210.97/192.88 eprover: CPU time limit exceeded, terminating
% 213.20/194.89 eprover: CPU time limit exceeded, terminating
% 215.38/196.90 eprover: CPU time limit exceeded, terminating
% 217.54/198.92 eprover: CPU time limit exceeded, terminating
% 219.83/200.93 eprover: CPU time limit exceeded, terminating
% 221.97/202.94 eprover: CPU time limit exceeded, terminating
% 224.21/204.95 eprover: CPU time limit exceeded, terminating
% 226.43/206.96 eprover: CPU time limit exceeded, terminating
% 228.63/208.97 eprover: CPU time limit exceeded, terminating
% 230.85/210.98 eprover: CPU time limit exceeded, terminating
% 233.03/212.99 eprover: CPU time limit exceeded, terminating
% 235.25/215.00 eprover: CPU time limit exceeded, terminating
% 237.47/217.02 eprover: CPU time limit exceeded, terminating
% 239.60/219.03 eprover: CPU time limit exceeded, terminating
% 241.86/221.04 eprover: CPU time limit exceeded, terminating
% 244.03/223.05 eprover: CPU time limit exceeded, terminating
% 246.25/225.06 eprover: CPU time limit exceeded, terminating
% 248.44/227.07 eprover: CPU time limit exceeded, terminating
% 250.66/229.08 eprover: CPU time limit exceeded, terminating
% 252.92/231.09 eprover: CPU time limit exceeded, terminating
% 255.09/233.10 eprover: CPU time limit exceeded, terminating
% 257.23/235.12 eprover: CPU time limit exceeded, terminating
% 259.50/237.13 eprover: CPU time limit exceeded, terminating
% 261.70/239.14 eprover: CPU time limit exceeded, terminating
% 263.89/241.15 eprover: CPU time limit exceeded, terminating
% 266.07/243.16 eprover: CPU time limit exceeded, terminating
% 268.27/245.17 eprover: CPU time limit exceeded, terminating
% 270.49/247.18 eprover: CPU time limit exceeded, terminating
% 272.66/249.19 eprover: CPU time limit exceeded, terminating
% 274.94/251.21 eprover: CPU time limit exceeded, terminating
% 277.17/253.22 eprover: CPU time limit exceeded, terminating
% 279.35/255.23 eprover: CPU time limit exceeded, terminating
% 281.53/257.24 eprover: CPU time limit exceeded, terminating
% 283.74/259.25 eprover: CPU time limit exceeded, terminating
% 285.95/261.26 eprover: CPU time limit exceeded, terminating
% 288.12/263.27 eprover: CPU time limit exceeded, terminating
% 290.32/265.28 eprover: CPU time limit exceeded, terminating
% 292.53/267.29 eprover: CPU time limit exceeded, terminating
% 294.81/269.31 eprover: CPU time limit exceeded, terminating
% 296.98/271.32 eprover: CPU time limit exceeded, terminating
% 299.19/273.33 eprover: CPU time limit exceeded, terminating
% 300.13/274.10 eprover: CPU time limit exceeded, terminating
% 300.13/274.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------