TSTP Solution File: CSR172+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR172+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:00 EDT 2022
% Result : Timeout 286.69s 261.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR172+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n021.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 10 04:17:54 EDT 2022
% 0.14/0.34 % CPUTime :
% 5.92/5.89 eprover: CPU time limit exceeded, terminating
% 8.09/7.91 eprover: CPU time limit exceeded, terminating
% 10.30/9.92 eprover: CPU time limit exceeded, terminating
% 12.48/11.93 eprover: CPU time limit exceeded, terminating
% 14.70/13.94 eprover: CPU time limit exceeded, terminating
% 16.94/15.96 eprover: CPU time limit exceeded, terminating
% 19.11/17.97 eprover: CPU time limit exceeded, terminating
% 21.32/19.98 eprover: CPU time limit exceeded, terminating
% 23.54/21.99 eprover: CPU time limit exceeded, terminating
% 25.77/24.01 eprover: CPU time limit exceeded, terminating
% 28.00/26.02 eprover: CPU time limit exceeded, terminating
% 30.20/28.03 eprover: CPU time limit exceeded, terminating
% 32.47/30.04 eprover: CPU time limit exceeded, terminating
% 34.68/32.06 eprover: CPU time limit exceeded, terminating
% 36.88/34.07 eprover: CPU time limit exceeded, terminating
% 39.09/36.08 eprover: CPU time limit exceeded, terminating
% 41.31/38.10 eprover: CPU time limit exceeded, terminating
% 43.54/40.11 eprover: CPU time limit exceeded, terminating
% 45.70/42.12 eprover: CPU time limit exceeded, terminating
% 47.92/44.13 eprover: CPU time limit exceeded, terminating
% 50.18/46.15 eprover: CPU time limit exceeded, terminating
% 52.41/48.16 eprover: CPU time limit exceeded, terminating
% 54.59/50.17 eprover: CPU time limit exceeded, terminating
% 56.82/52.18 eprover: CPU time limit exceeded, terminating
% 59.01/54.20 eprover: CPU time limit exceeded, terminating
% 61.24/56.21 eprover: CPU time limit exceeded, terminating
% 63.47/58.22 eprover: CPU time limit exceeded, terminating
% 65.70/60.24 eprover: CPU time limit exceeded, terminating
% 67.85/62.25 eprover: CPU time limit exceeded, terminating
% 70.15/64.26 eprover: CPU time limit exceeded, terminating
% 72.34/66.28 eprover: CPU time limit exceeded, terminating
% 74.55/68.29 eprover: CPU time limit exceeded, terminating
% 76.76/70.30 eprover: CPU time limit exceeded, terminating
% 79.04/72.32 eprover: CPU time limit exceeded, terminating
% 81.19/74.33 eprover: CPU time limit exceeded, terminating
% 83.46/76.34 eprover: CPU time limit exceeded, terminating
% 85.67/78.35 eprover: CPU time limit exceeded, terminating
% 87.86/80.36 eprover: CPU time limit exceeded, terminating
% 90.04/82.37 eprover: CPU time limit exceeded, terminating
% 92.26/84.39 eprover: CPU time limit exceeded, terminating
% 94.48/86.40 eprover: CPU time limit exceeded, terminating
% 96.66/88.41 eprover: CPU time limit exceeded, terminating
% 98.91/90.42 eprover: CPU time limit exceeded, terminating
% 101.11/92.43 eprover: CPU time limit exceeded, terminating
% 103.23/94.45 eprover: CPU time limit exceeded, terminating
% 105.51/96.46 eprover: CPU time limit exceeded, terminating
% 107.74/98.47 eprover: CPU time limit exceeded, terminating
% 109.92/100.49 eprover: CPU time limit exceeded, terminating
% 112.15/102.50 eprover: CPU time limit exceeded, terminating
% 114.38/104.51 eprover: CPU time limit exceeded, terminating
% 116.56/106.53 eprover: CPU time limit exceeded, terminating
% 118.78/108.54 eprover: CPU time limit exceeded, terminating
% 120.98/110.55 eprover: CPU time limit exceeded, terminating
% 123.15/112.56 eprover: CPU time limit exceeded, terminating
% 125.44/114.58 eprover: CPU time limit exceeded, terminating
% 127.60/116.59 eprover: CPU time limit exceeded, terminating
% 129.87/118.60 eprover: CPU time limit exceeded, terminating
% 132.02/120.62 eprover: CPU time limit exceeded, terminating
% 134.23/122.63 eprover: CPU time limit exceeded, terminating
% 136.51/124.64 eprover: CPU time limit exceeded, terminating
% 138.68/126.66 eprover: CPU time limit exceeded, terminating
% 140.90/128.67 eprover: CPU time limit exceeded, terminating
% 143.14/130.68 eprover: CPU time limit exceeded, terminating
% 145.29/132.70 eprover: CPU time limit exceeded, terminating
% 147.52/134.71 eprover: CPU time limit exceeded, terminating
% 149.76/136.72 eprover: CPU time limit exceeded, terminating
% 151.91/138.74 eprover: CPU time limit exceeded, terminating
% 154.19/140.75 eprover: CPU time limit exceeded, terminating
% 156.35/142.76 eprover: CPU time limit exceeded, terminating
% 158.58/144.77 eprover: CPU time limit exceeded, terminating
% 160.80/146.79 eprover: CPU time limit exceeded, terminating
% 162.98/148.80 eprover: CPU time limit exceeded, terminating
% 165.21/150.81 eprover: CPU time limit exceeded, terminating
% 167.38/152.82 eprover: CPU time limit exceeded, terminating
% 169.59/154.84 eprover: CPU time limit exceeded, terminating
% 171.86/156.85 eprover: CPU time limit exceeded, terminating
% 174.06/158.86 eprover: CPU time limit exceeded, terminating
% 176.25/160.87 eprover: CPU time limit exceeded, terminating
% 178.47/162.88 eprover: CPU time limit exceeded, terminating
% 180.65/164.90 eprover: CPU time limit exceeded, terminating
% 182.91/166.91 eprover: CPU time limit exceeded, terminating
% 185.11/168.92 eprover: CPU time limit exceeded, terminating
% 187.28/170.94 eprover: CPU time limit exceeded, terminating
% 189.53/172.95 eprover: CPU time limit exceeded, terminating
% 191.75/174.96 eprover: CPU time limit exceeded, terminating
% 193.91/176.97 eprover: CPU time limit exceeded, terminating
% 196.13/178.99 eprover: CPU time limit exceeded, terminating
% 198.29/181.00 eprover: CPU time limit exceeded, terminating
% 200.58/183.01 eprover: CPU time limit exceeded, terminating
% 202.78/185.02 eprover: CPU time limit exceeded, terminating
% 204.99/187.04 eprover: CPU time limit exceeded, terminating
% 207.18/189.05 eprover: CPU time limit exceeded, terminating
% 209.33/191.06 eprover: CPU time limit exceeded, terminating
% 211.61/193.07 eprover: CPU time limit exceeded, terminating
% 213.83/195.08 eprover: CPU time limit exceeded, terminating
% 215.97/197.09 eprover: CPU time limit exceeded, terminating
% 218.21/199.11 eprover: CPU time limit exceeded, terminating
% 220.44/201.12 eprover: CPU time limit exceeded, terminating
% 222.63/203.13 eprover: CPU time limit exceeded, terminating
% 224.86/205.15 eprover: CPU time limit exceeded, terminating
% 227.09/207.16 eprover: CPU time limit exceeded, terminating
% 229.32/209.17 eprover: CPU time limit exceeded, terminating
% 231.47/211.18 eprover: CPU time limit exceeded, terminating
% 233.73/213.20 eprover: CPU time limit exceeded, terminating
% 235.93/215.21 eprover: CPU time limit exceeded, terminating
% 238.07/217.22 eprover: CPU time limit exceeded, terminating
% 240.32/219.23 eprover: CPU time limit exceeded, terminating
% 242.55/221.25 eprover: CPU time limit exceeded, terminating
% 244.74/223.26 eprover: CPU time limit exceeded, terminating
% 246.90/225.27 eprover: CPU time limit exceeded, terminating
% 249.19/227.28 eprover: CPU time limit exceeded, terminating
% 251.39/229.29 eprover: CPU time limit exceeded, terminating
% 253.62/231.31 eprover: CPU time limit exceeded, terminating
% 255.78/233.33 eprover: CPU time limit exceeded, terminating
% 258.01/235.34 eprover: CPU time limit exceeded, terminating
% 260.23/237.35 eprover: CPU time limit exceeded, terminating
% 262.42/239.36 eprover: CPU time limit exceeded, terminating
% 264.63/241.38 eprover: CPU time limit exceeded, terminating
% 266.85/243.39 eprover: CPU time limit exceeded, terminating
% 269.03/245.40 eprover: CPU time limit exceeded, terminating
% 271.22/247.41 eprover: CPU time limit exceeded, terminating
% 273.46/249.43 eprover: CPU time limit exceeded, terminating
% 275.64/251.44 eprover: CPU time limit exceeded, terminating
% 277.89/253.45 eprover: CPU time limit exceeded, terminating
% 280.12/255.46 eprover: CPU time limit exceeded, terminating
% 282.31/257.48 eprover: CPU time limit exceeded, terminating
% 284.53/259.49 eprover: CPU time limit exceeded, terminating
% 286.69/261.50 eprover: CPU time limit exceeded, terminating
% 288.90/263.51 eprover: CPU time limit exceeded, terminating
% 291.05/265.52 eprover: CPU time limit exceeded, terminating
% 293.28/267.54 eprover: CPU time limit exceeded, terminating
% 295.53/269.55 eprover: CPU time limit exceeded, terminating
% 297.74/271.56 eprover: CPU time limit exceeded, terminating
% 299.94/273.57 eprover: CPU time limit exceeded, terminating
% 300.19/273.80 eprover: CPU time limit exceeded, terminating
% 300.19/273.82 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------