TSTP Solution File: CSR296+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR296+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:15 EDT 2022
% Result : Timeout 286.33s 259.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR296+1 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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 18:17:22 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.96/5.97 eprover: CPU time limit exceeded, terminating
% 8.13/7.98 eprover: CPU time limit exceeded, terminating
% 10.35/10.00 eprover: CPU time limit exceeded, terminating
% 12.58/12.01 eprover: CPU time limit exceeded, terminating
% 14.75/14.02 eprover: CPU time limit exceeded, terminating
% 16.91/16.04 eprover: CPU time limit exceeded, terminating
% 21.05/18.05 eprover: CPU time limit exceeded, terminating
% 23.29/20.06 eprover: CPU time limit exceeded, terminating
% 25.52/22.07 eprover: CPU time limit exceeded, terminating
% 27.68/24.09 eprover: CPU time limit exceeded, terminating
% 30.01/26.10 eprover: CPU time limit exceeded, terminating
% 32.14/28.12 eprover: CPU time limit exceeded, terminating
% 34.43/30.13 eprover: CPU time limit exceeded, terminating
% 36.64/32.14 eprover: CPU time limit exceeded, terminating
% 38.79/34.15 eprover: CPU time limit exceeded, terminating
% 41.07/36.17 eprover: CPU time limit exceeded, terminating
% 43.26/38.18 eprover: CPU time limit exceeded, terminating
% 45.44/40.20 eprover: CPU time limit exceeded, terminating
% 47.67/42.21 eprover: CPU time limit exceeded, terminating
% 49.92/44.22 eprover: CPU time limit exceeded, terminating
% 52.11/46.23 eprover: CPU time limit exceeded, terminating
% 54.35/48.25 eprover: CPU time limit exceeded, terminating
% 56.58/50.26 eprover: CPU time limit exceeded, terminating
% 58.80/52.27 eprover: CPU time limit exceeded, terminating
% 60.94/54.28 eprover: CPU time limit exceeded, terminating
% 63.18/56.29 eprover: CPU time limit exceeded, terminating
% 65.40/58.30 eprover: CPU time limit exceeded, terminating
% 67.61/60.32 eprover: CPU time limit exceeded, terminating
% 69.82/62.33 eprover: CPU time limit exceeded, terminating
% 72.02/64.34 eprover: CPU time limit exceeded, terminating
% 74.23/66.35 eprover: CPU time limit exceeded, terminating
% 76.41/68.36 eprover: CPU time limit exceeded, terminating
% 78.66/70.37 eprover: CPU time limit exceeded, terminating
% 80.84/72.39 eprover: CPU time limit exceeded, terminating
% 83.08/74.40 eprover: CPU time limit exceeded, terminating
% 85.28/76.41 eprover: CPU time limit exceeded, terminating
% 87.43/78.42 eprover: CPU time limit exceeded, terminating
% 89.65/80.43 eprover: CPU time limit exceeded, terminating
% 91.93/82.45 eprover: CPU time limit exceeded, terminating
% 94.15/84.46 eprover: CPU time limit exceeded, terminating
% 96.35/86.47 eprover: CPU time limit exceeded, terminating
% 98.56/88.48 eprover: CPU time limit exceeded, terminating
% 100.73/90.49 eprover: CPU time limit exceeded, terminating
% 102.96/92.50 eprover: CPU time limit exceeded, terminating
% 105.12/94.52 eprover: CPU time limit exceeded, terminating
% 107.36/96.53 eprover: CPU time limit exceeded, terminating
% 109.60/98.54 eprover: CPU time limit exceeded, terminating
% 111.81/100.55 eprover: CPU time limit exceeded, terminating
% 113.99/102.56 eprover: CPU time limit exceeded, terminating
% 116.21/104.57 eprover: CPU time limit exceeded, terminating
% 118.39/106.58 eprover: CPU time limit exceeded, terminating
% 120.62/108.60 eprover: CPU time limit exceeded, terminating
% 122.80/110.61 eprover: CPU time limit exceeded, terminating
% 125.06/112.62 eprover: CPU time limit exceeded, terminating
% 127.26/114.63 eprover: CPU time limit exceeded, terminating
% 129.43/116.64 eprover: CPU time limit exceeded, terminating
% 131.69/118.65 eprover: CPU time limit exceeded, terminating
% 133.89/120.67 eprover: CPU time limit exceeded, terminating
% 136.07/122.68 eprover: CPU time limit exceeded, terminating
% 138.35/124.69 eprover: CPU time limit exceeded, terminating
% 140.48/126.70 eprover: CPU time limit exceeded, terminating
% 142.76/128.71 eprover: CPU time limit exceeded, terminating
% 144.98/130.73 eprover: CPU time limit exceeded, terminating
% 147.18/132.74 eprover: CPU time limit exceeded, terminating
% 149.38/134.75 eprover: CPU time limit exceeded, terminating
% 151.56/136.76 eprover: CPU time limit exceeded, terminating
% 153.82/138.77 eprover: CPU time limit exceeded, terminating
% 155.98/140.78 eprover: CPU time limit exceeded, terminating
% 158.24/142.79 eprover: CPU time limit exceeded, terminating
% 160.45/144.81 eprover: CPU time limit exceeded, terminating
% 162.66/146.82 eprover: CPU time limit exceeded, terminating
% 164.82/148.83 eprover: CPU time limit exceeded, terminating
% 167.05/150.84 eprover: CPU time limit exceeded, terminating
% 169.29/152.85 eprover: CPU time limit exceeded, terminating
% 171.47/154.86 eprover: CPU time limit exceeded, terminating
% 173.70/156.88 eprover: CPU time limit exceeded, terminating
% 175.91/158.89 eprover: CPU time limit exceeded, terminating
% 178.11/160.90 eprover: CPU time limit exceeded, terminating
% 180.30/162.91 eprover: CPU time limit exceeded, terminating
% 182.52/164.92 eprover: CPU time limit exceeded, terminating
% 184.74/166.93 eprover: CPU time limit exceeded, terminating
% 186.91/168.95 eprover: CPU time limit exceeded, terminating
% 189.12/170.96 eprover: CPU time limit exceeded, terminating
% 191.34/172.97 eprover: CPU time limit exceeded, terminating
% 193.58/174.98 eprover: CPU time limit exceeded, terminating
% 195.80/176.99 eprover: CPU time limit exceeded, terminating
% 198.01/179.00 eprover: CPU time limit exceeded, terminating
% 200.18/181.02 eprover: CPU time limit exceeded, terminating
% 202.39/183.03 eprover: CPU time limit exceeded, terminating
% 204.59/185.04 eprover: CPU time limit exceeded, terminating
% 206.85/187.05 eprover: CPU time limit exceeded, terminating
% 209.01/189.06 eprover: CPU time limit exceeded, terminating
% 211.21/191.07 eprover: CPU time limit exceeded, terminating
% 213.43/193.09 eprover: CPU time limit exceeded, terminating
% 215.60/195.10 eprover: CPU time limit exceeded, terminating
% 217.85/197.11 eprover: CPU time limit exceeded, terminating
% 220.07/199.12 eprover: CPU time limit exceeded, terminating
% 222.25/201.13 eprover: CPU time limit exceeded, terminating
% 224.51/203.14 eprover: CPU time limit exceeded, terminating
% 226.65/205.16 eprover: CPU time limit exceeded, terminating
% 228.92/207.17 eprover: CPU time limit exceeded, terminating
% 231.10/209.18 eprover: CPU time limit exceeded, terminating
% 233.32/211.19 eprover: CPU time limit exceeded, terminating
% 235.57/213.20 eprover: CPU time limit exceeded, terminating
% 237.79/215.21 eprover: CPU time limit exceeded, terminating
% 239.98/217.22 eprover: CPU time limit exceeded, terminating
% 242.21/219.24 eprover: CPU time limit exceeded, terminating
% 244.36/221.25 eprover: CPU time limit exceeded, terminating
% 246.61/223.26 eprover: CPU time limit exceeded, terminating
% 248.76/225.27 eprover: CPU time limit exceeded, terminating
% 251.00/227.28 eprover: CPU time limit exceeded, terminating
% 253.26/229.29 eprover: CPU time limit exceeded, terminating
% 255.40/231.30 eprover: CPU time limit exceeded, terminating
% 257.63/233.31 eprover: CPU time limit exceeded, terminating
% 259.87/235.32 eprover: CPU time limit exceeded, terminating
% 262.04/237.33 eprover: CPU time limit exceeded, terminating
% 264.25/239.35 eprover: CPU time limit exceeded, terminating
% 266.50/241.36 eprover: CPU time limit exceeded, terminating
% 268.68/243.37 eprover: CPU time limit exceeded, terminating
% 270.91/245.38 eprover: CPU time limit exceeded, terminating
% 273.07/247.40 eprover: CPU time limit exceeded, terminating
% 275.33/249.41 eprover: CPU time limit exceeded, terminating
% 277.54/251.42 eprover: CPU time limit exceeded, terminating
% 279.71/253.43 eprover: CPU time limit exceeded, terminating
% 281.93/255.44 eprover: CPU time limit exceeded, terminating
% 284.10/257.46 eprover: CPU time limit exceeded, terminating
% 286.33/259.47 eprover: CPU time limit exceeded, terminating
% 288.55/261.48 eprover: CPU time limit exceeded, terminating
% 290.82/263.50 eprover: CPU time limit exceeded, terminating
% 292.95/265.51 eprover: CPU time limit exceeded, terminating
% 295.20/267.52 eprover: CPU time limit exceeded, terminating
% 297.43/269.53 eprover: CPU time limit exceeded, terminating
% 299.58/271.55 eprover: CPU time limit exceeded, terminating
% 300.04/271.89 eprover: CPU time limit exceeded, terminating
% 300.04/271.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------