TSTP Solution File: CSR189+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR189+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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 286.76s 261.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR189+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n009.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 10:51:38 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.79/5.81 eprover: CPU time limit exceeded, terminating
% 7.97/7.83 eprover: CPU time limit exceeded, terminating
% 10.24/9.84 eprover: CPU time limit exceeded, terminating
% 12.44/11.86 eprover: CPU time limit exceeded, terminating
% 14.65/13.87 eprover: CPU time limit exceeded, terminating
% 16.81/15.88 eprover: CPU time limit exceeded, terminating
% 19.08/17.90 eprover: CPU time limit exceeded, terminating
% 21.27/19.91 eprover: CPU time limit exceeded, terminating
% 23.50/21.93 eprover: CPU time limit exceeded, terminating
% 25.64/23.95 eprover: CPU time limit exceeded, terminating
% 27.97/25.96 eprover: CPU time limit exceeded, terminating
% 30.18/27.98 eprover: CPU time limit exceeded, terminating
% 32.35/29.99 eprover: CPU time limit exceeded, terminating
% 34.56/32.01 eprover: CPU time limit exceeded, terminating
% 36.82/34.02 eprover: CPU time limit exceeded, terminating
% 38.97/36.04 eprover: CPU time limit exceeded, terminating
% 41.23/38.05 eprover: CPU time limit exceeded, terminating
% 43.46/40.07 eprover: CPU time limit exceeded, terminating
% 45.69/42.08 eprover: CPU time limit exceeded, terminating
% 47.91/44.10 eprover: CPU time limit exceeded, terminating
% 50.15/46.11 eprover: CPU time limit exceeded, terminating
% 52.32/48.12 eprover: CPU time limit exceeded, terminating
% 54.48/50.14 eprover: CPU time limit exceeded, terminating
% 56.75/52.15 eprover: CPU time limit exceeded, terminating
% 58.97/54.16 eprover: CPU time limit exceeded, terminating
% 61.16/56.17 eprover: CPU time limit exceeded, terminating
% 63.40/58.18 eprover: CPU time limit exceeded, terminating
% 65.57/60.20 eprover: CPU time limit exceeded, terminating
% 67.79/62.21 eprover: CPU time limit exceeded, terminating
% 69.95/64.22 eprover: CPU time limit exceeded, terminating
% 72.17/66.23 eprover: CPU time limit exceeded, terminating
% 74.44/68.24 eprover: CPU time limit exceeded, terminating
% 76.65/70.26 eprover: CPU time limit exceeded, terminating
% 78.88/72.27 eprover: CPU time limit exceeded, terminating
% 81.09/74.28 eprover: CPU time limit exceeded, terminating
% 83.27/76.30 eprover: CPU time limit exceeded, terminating
% 85.51/78.31 eprover: CPU time limit exceeded, terminating
% 87.73/80.33 eprover: CPU time limit exceeded, terminating
% 89.89/82.34 eprover: CPU time limit exceeded, terminating
% 92.13/84.35 eprover: CPU time limit exceeded, terminating
% 94.33/86.37 eprover: CPU time limit exceeded, terminating
% 96.52/88.38 eprover: CPU time limit exceeded, terminating
% 98.77/90.39 eprover: CPU time limit exceeded, terminating
% 100.93/92.41 eprover: CPU time limit exceeded, terminating
% 103.18/94.42 eprover: CPU time limit exceeded, terminating
% 105.40/96.44 eprover: CPU time limit exceeded, terminating
% 107.60/98.45 eprover: CPU time limit exceeded, terminating
% 109.79/100.47 eprover: CPU time limit exceeded, terminating
% 112.02/102.48 eprover: CPU time limit exceeded, terminating
% 114.24/104.50 eprover: CPU time limit exceeded, terminating
% 116.43/106.51 eprover: CPU time limit exceeded, terminating
% 118.64/108.53 eprover: CPU time limit exceeded, terminating
% 120.84/110.54 eprover: CPU time limit exceeded, terminating
% 123.04/112.56 eprover: CPU time limit exceeded, terminating
% 125.29/114.57 eprover: CPU time limit exceeded, terminating
% 127.51/116.59 eprover: CPU time limit exceeded, terminating
% 129.65/118.60 eprover: CPU time limit exceeded, terminating
% 131.88/120.62 eprover: CPU time limit exceeded, terminating
% 134.13/122.63 eprover: CPU time limit exceeded, terminating
% 136.27/124.65 eprover: CPU time limit exceeded, terminating
% 138.54/126.66 eprover: CPU time limit exceeded, terminating
% 140.78/128.68 eprover: CPU time limit exceeded, terminating
% 142.96/130.69 eprover: CPU time limit exceeded, terminating
% 145.19/132.71 eprover: CPU time limit exceeded, terminating
% 147.40/134.72 eprover: CPU time limit exceeded, terminating
% 149.59/136.74 eprover: CPU time limit exceeded, terminating
% 151.81/138.75 eprover: CPU time limit exceeded, terminating
% 154.03/140.77 eprover: CPU time limit exceeded, terminating
% 156.20/142.78 eprover: CPU time limit exceeded, terminating
% 158.48/144.80 eprover: CPU time limit exceeded, terminating
% 160.66/146.81 eprover: CPU time limit exceeded, terminating
% 162.84/148.83 eprover: CPU time limit exceeded, terminating
% 165.02/150.84 eprover: CPU time limit exceeded, terminating
% 167.29/152.86 eprover: CPU time limit exceeded, terminating
% 169.49/154.87 eprover: CPU time limit exceeded, terminating
% 171.73/156.89 eprover: CPU time limit exceeded, terminating
% 173.86/158.91 eprover: CPU time limit exceeded, terminating
% 176.13/160.92 eprover: CPU time limit exceeded, terminating
% 178.33/162.93 eprover: CPU time limit exceeded, terminating
% 180.53/164.95 eprover: CPU time limit exceeded, terminating
% 182.75/166.97 eprover: CPU time limit exceeded, terminating
% 184.99/168.98 eprover: CPU time limit exceeded, terminating
% 187.12/171.00 eprover: CPU time limit exceeded, terminating
% 189.40/173.01 eprover: CPU time limit exceeded, terminating
% 191.63/175.03 eprover: CPU time limit exceeded, terminating
% 193.77/177.04 eprover: CPU time limit exceeded, terminating
% 196.03/179.06 eprover: CPU time limit exceeded, terminating
% 198.26/181.08 eprover: CPU time limit exceeded, terminating
% 200.45/183.09 eprover: CPU time limit exceeded, terminating
% 202.69/185.11 eprover: CPU time limit exceeded, terminating
% 204.84/187.12 eprover: CPU time limit exceeded, terminating
% 207.07/189.14 eprover: CPU time limit exceeded, terminating
% 209.28/191.16 eprover: CPU time limit exceeded, terminating
% 211.54/193.17 eprover: CPU time limit exceeded, terminating
% 213.69/195.19 eprover: CPU time limit exceeded, terminating
% 215.94/197.20 eprover: CPU time limit exceeded, terminating
% 218.13/199.22 eprover: CPU time limit exceeded, terminating
% 220.39/201.23 eprover: CPU time limit exceeded, terminating
% 222.52/203.25 eprover: CPU time limit exceeded, terminating
% 224.78/205.26 eprover: CPU time limit exceeded, terminating
% 226.99/207.28 eprover: CPU time limit exceeded, terminating
% 229.17/209.29 eprover: CPU time limit exceeded, terminating
% 231.45/211.31 eprover: CPU time limit exceeded, terminating
% 233.66/213.33 eprover: CPU time limit exceeded, terminating
% 235.85/215.34 eprover: CPU time limit exceeded, terminating
% 238.04/217.36 eprover: CPU time limit exceeded, terminating
% 240.22/219.38 eprover: CPU time limit exceeded, terminating
% 242.50/221.39 eprover: CPU time limit exceeded, terminating
% 244.69/223.41 eprover: CPU time limit exceeded, terminating
% 246.92/225.42 eprover: CPU time limit exceeded, terminating
% 249.13/227.44 eprover: CPU time limit exceeded, terminating
% 251.29/229.46 eprover: CPU time limit exceeded, terminating
% 253.50/231.47 eprover: CPU time limit exceeded, terminating
% 255.71/233.49 eprover: CPU time limit exceeded, terminating
% 257.98/235.50 eprover: CPU time limit exceeded, terminating
% 260.19/237.52 eprover: CPU time limit exceeded, terminating
% 262.38/239.53 eprover: CPU time limit exceeded, terminating
% 264.62/241.55 eprover: CPU time limit exceeded, terminating
% 266.79/243.57 eprover: CPU time limit exceeded, terminating
% 269.05/245.58 eprover: CPU time limit exceeded, terminating
% 271.26/247.60 eprover: CPU time limit exceeded, terminating
% 273.47/249.62 eprover: CPU time limit exceeded, terminating
% 275.65/251.63 eprover: CPU time limit exceeded, terminating
% 277.86/253.65 eprover: CPU time limit exceeded, terminating
% 280.12/255.66 eprover: CPU time limit exceeded, terminating
% 282.24/257.68 eprover: CPU time limit exceeded, terminating
% 284.54/259.70 eprover: CPU time limit exceeded, terminating
% 286.76/261.71 eprover: CPU time limit exceeded, terminating
% 288.92/263.73 eprover: CPU time limit exceeded, terminating
% 291.14/265.75 eprover: CPU time limit exceeded, terminating
% 293.38/267.76 eprover: CPU time limit exceeded, terminating
% 295.53/269.78 eprover: CPU time limit exceeded, terminating
% 297.75/271.80 eprover: CPU time limit exceeded, terminating
% 300.03/273.81 eprover: CPU time limit exceeded, terminating
% 300.06/273.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------