TSTP Solution File: CSR180+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR180+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:01 EDT 2022
% Result : Timeout 286.54s 261.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : CSR180+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 10 16:42:23 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.99/6.00 eprover: CPU time limit exceeded, terminating
% 8.18/8.02 eprover: CPU time limit exceeded, terminating
% 10.39/10.03 eprover: CPU time limit exceeded, terminating
% 12.58/12.04 eprover: CPU time limit exceeded, terminating
% 14.76/14.05 eprover: CPU time limit exceeded, terminating
% 16.93/16.06 eprover: CPU time limit exceeded, terminating
% 19.20/18.08 eprover: CPU time limit exceeded, terminating
% 21.42/20.09 eprover: CPU time limit exceeded, terminating
% 23.57/22.10 eprover: CPU time limit exceeded, terminating
% 25.80/24.11 eprover: CPU time limit exceeded, terminating
% 28.07/26.12 eprover: CPU time limit exceeded, terminating
% 30.28/28.14 eprover: CPU time limit exceeded, terminating
% 32.49/30.15 eprover: CPU time limit exceeded, terminating
% 34.67/32.16 eprover: CPU time limit exceeded, terminating
% 36.92/34.17 eprover: CPU time limit exceeded, terminating
% 39.06/36.19 eprover: CPU time limit exceeded, terminating
% 41.31/38.20 eprover: CPU time limit exceeded, terminating
% 43.53/40.21 eprover: CPU time limit exceeded, terminating
% 45.74/42.22 eprover: CPU time limit exceeded, terminating
% 47.97/44.23 eprover: CPU time limit exceeded, terminating
% 50.16/46.25 eprover: CPU time limit exceeded, terminating
% 52.40/48.26 eprover: CPU time limit exceeded, terminating
% 54.57/50.27 eprover: CPU time limit exceeded, terminating
% 56.82/52.28 eprover: CPU time limit exceeded, terminating
% 58.99/54.29 eprover: CPU time limit exceeded, terminating
% 61.25/56.31 eprover: CPU time limit exceeded, terminating
% 63.39/58.32 eprover: CPU time limit exceeded, terminating
% 65.67/60.33 eprover: CPU time limit exceeded, terminating
% 67.85/62.34 eprover: CPU time limit exceeded, terminating
% 70.04/64.35 eprover: CPU time limit exceeded, terminating
% 72.27/66.36 eprover: CPU time limit exceeded, terminating
% 74.44/68.38 eprover: CPU time limit exceeded, terminating
% 76.67/70.39 eprover: CPU time limit exceeded, terminating
% 78.91/72.40 eprover: CPU time limit exceeded, terminating
% 81.15/74.41 eprover: CPU time limit exceeded, terminating
% 83.36/76.42 eprover: CPU time limit exceeded, terminating
% 85.56/78.44 eprover: CPU time limit exceeded, terminating
% 87.74/80.45 eprover: CPU time limit exceeded, terminating
% 89.97/82.46 eprover: CPU time limit exceeded, terminating
% 92.13/84.47 eprover: CPU time limit exceeded, terminating
% 94.37/86.48 eprover: CPU time limit exceeded, terminating
% 96.61/88.50 eprover: CPU time limit exceeded, terminating
% 98.76/90.51 eprover: CPU time limit exceeded, terminating
% 100.98/92.52 eprover: CPU time limit exceeded, terminating
% 103.23/94.53 eprover: CPU time limit exceeded, terminating
% 105.40/96.54 eprover: CPU time limit exceeded, terminating
% 107.61/98.56 eprover: CPU time limit exceeded, terminating
% 109.85/100.57 eprover: CPU time limit exceeded, terminating
% 112.04/102.58 eprover: CPU time limit exceeded, terminating
% 114.28/104.59 eprover: CPU time limit exceeded, terminating
% 116.42/106.60 eprover: CPU time limit exceeded, terminating
% 118.69/108.62 eprover: CPU time limit exceeded, terminating
% 120.90/110.63 eprover: CPU time limit exceeded, terminating
% 123.06/112.64 eprover: CPU time limit exceeded, terminating
% 125.27/114.65 eprover: CPU time limit exceeded, terminating
% 127.52/116.67 eprover: CPU time limit exceeded, terminating
% 129.67/118.68 eprover: CPU time limit exceeded, terminating
% 131.91/120.69 eprover: CPU time limit exceeded, terminating
% 134.08/122.70 eprover: CPU time limit exceeded, terminating
% 136.34/124.71 eprover: CPU time limit exceeded, terminating
% 138.54/126.73 eprover: CPU time limit exceeded, terminating
% 140.69/128.75 eprover: CPU time limit exceeded, terminating
% 142.92/130.76 eprover: CPU time limit exceeded, terminating
% 145.16/132.77 eprover: CPU time limit exceeded, terminating
% 147.38/134.78 eprover: CPU time limit exceeded, terminating
% 149.53/136.79 eprover: CPU time limit exceeded, terminating
% 151.78/138.81 eprover: CPU time limit exceeded, terminating
% 153.95/140.82 eprover: CPU time limit exceeded, terminating
% 156.21/142.83 eprover: CPU time limit exceeded, terminating
% 158.35/144.84 eprover: CPU time limit exceeded, terminating
% 160.61/146.86 eprover: CPU time limit exceeded, terminating
% 162.75/148.87 eprover: CPU time limit exceeded, terminating
% 165.00/150.88 eprover: CPU time limit exceeded, terminating
% 167.20/152.89 eprover: CPU time limit exceeded, terminating
% 169.37/154.90 eprover: CPU time limit exceeded, terminating
% 171.61/156.91 eprover: CPU time limit exceeded, terminating
% 173.83/158.92 eprover: CPU time limit exceeded, terminating
% 175.99/160.93 eprover: CPU time limit exceeded, terminating
% 178.24/162.95 eprover: CPU time limit exceeded, terminating
% 180.37/164.96 eprover: CPU time limit exceeded, terminating
% 182.63/166.97 eprover: CPU time limit exceeded, terminating
% 184.86/168.98 eprover: CPU time limit exceeded, terminating
% 187.04/170.99 eprover: CPU time limit exceeded, terminating
% 189.25/173.00 eprover: CPU time limit exceeded, terminating
% 191.44/175.02 eprover: CPU time limit exceeded, terminating
% 193.64/177.03 eprover: CPU time limit exceeded, terminating
% 195.91/179.04 eprover: CPU time limit exceeded, terminating
% 198.12/181.05 eprover: CPU time limit exceeded, terminating
% 200.30/183.07 eprover: CPU time limit exceeded, terminating
% 202.51/185.08 eprover: CPU time limit exceeded, terminating
% 204.72/187.09 eprover: CPU time limit exceeded, terminating
% 206.96/189.10 eprover: CPU time limit exceeded, terminating
% 209.18/191.12 eprover: CPU time limit exceeded, terminating
% 211.35/193.13 eprover: CPU time limit exceeded, terminating
% 213.60/195.14 eprover: CPU time limit exceeded, terminating
% 215.82/197.15 eprover: CPU time limit exceeded, terminating
% 217.99/199.17 eprover: CPU time limit exceeded, terminating
% 220.21/201.18 eprover: CPU time limit exceeded, terminating
% 222.39/203.19 eprover: CPU time limit exceeded, terminating
% 224.63/205.20 eprover: CPU time limit exceeded, terminating
% 226.88/207.21 eprover: CPU time limit exceeded, terminating
% 229.09/209.23 eprover: CPU time limit exceeded, terminating
% 231.29/211.24 eprover: CPU time limit exceeded, terminating
% 233.50/213.25 eprover: CPU time limit exceeded, terminating
% 235.68/215.26 eprover: CPU time limit exceeded, terminating
% 237.93/217.28 eprover: CPU time limit exceeded, terminating
% 240.15/219.29 eprover: CPU time limit exceeded, terminating
% 242.34/221.30 eprover: CPU time limit exceeded, terminating
% 244.55/223.32 eprover: CPU time limit exceeded, terminating
% 246.78/225.33 eprover: CPU time limit exceeded, terminating
% 248.98/227.34 eprover: CPU time limit exceeded, terminating
% 251.18/229.36 eprover: CPU time limit exceeded, terminating
% 253.35/231.37 eprover: CPU time limit exceeded, terminating
% 255.56/233.38 eprover: CPU time limit exceeded, terminating
% 257.78/235.39 eprover: CPU time limit exceeded, terminating
% 260.04/237.40 eprover: CPU time limit exceeded, terminating
% 262.22/239.42 eprover: CPU time limit exceeded, terminating
% 264.45/241.43 eprover: CPU time limit exceeded, terminating
% 266.68/243.44 eprover: CPU time limit exceeded, terminating
% 268.84/245.46 eprover: CPU time limit exceeded, terminating
% 271.08/247.47 eprover: CPU time limit exceeded, terminating
% 273.28/249.48 eprover: CPU time limit exceeded, terminating
% 275.54/251.49 eprover: CPU time limit exceeded, terminating
% 277.73/253.50 eprover: CPU time limit exceeded, terminating
% 279.95/255.51 eprover: CPU time limit exceeded, terminating
% 282.14/257.53 eprover: CPU time limit exceeded, terminating
% 284.34/259.54 eprover: CPU time limit exceeded, terminating
% 286.54/261.55 eprover: CPU time limit exceeded, terminating
% 288.73/263.56 eprover: CPU time limit exceeded, terminating
% 290.94/265.57 eprover: CPU time limit exceeded, terminating
% 293.15/267.59 eprover: CPU time limit exceeded, terminating
% 295.44/269.60 eprover: CPU time limit exceeded, terminating
% 297.66/271.61 eprover: CPU time limit exceeded, terminating
% 299.87/273.62 eprover: CPU time limit exceeded, terminating
% 300.43/274.10 eprover: CPU time limit exceeded, terminating
% 300.43/274.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------