TSTP Solution File: CSR215+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR215+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:05 EDT 2022
% Result : Timeout 286.45s 261.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR215+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n017.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 10 08:50:35 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.85/5.82 eprover: CPU time limit exceeded, terminating
% 8.05/7.83 eprover: CPU time limit exceeded, terminating
% 10.21/9.85 eprover: CPU time limit exceeded, terminating
% 12.38/11.86 eprover: CPU time limit exceeded, terminating
% 14.59/13.87 eprover: CPU time limit exceeded, terminating
% 16.88/15.89 eprover: CPU time limit exceeded, terminating
% 19.03/17.90 eprover: CPU time limit exceeded, terminating
% 21.30/19.91 eprover: CPU time limit exceeded, terminating
% 23.53/21.93 eprover: CPU time limit exceeded, terminating
% 25.74/23.94 eprover: CPU time limit exceeded, terminating
% 27.99/25.95 eprover: CPU time limit exceeded, terminating
% 30.17/27.97 eprover: CPU time limit exceeded, terminating
% 32.40/29.98 eprover: CPU time limit exceeded, terminating
% 34.67/31.99 eprover: CPU time limit exceeded, terminating
% 36.81/34.00 eprover: CPU time limit exceeded, terminating
% 39.03/36.01 eprover: CPU time limit exceeded, terminating
% 41.28/38.02 eprover: CPU time limit exceeded, terminating
% 43.45/40.03 eprover: CPU time limit exceeded, terminating
% 45.70/42.04 eprover: CPU time limit exceeded, terminating
% 47.85/44.06 eprover: CPU time limit exceeded, terminating
% 50.12/46.07 eprover: CPU time limit exceeded, terminating
% 52.35/48.08 eprover: CPU time limit exceeded, terminating
% 54.52/50.09 eprover: CPU time limit exceeded, terminating
% 56.77/52.10 eprover: CPU time limit exceeded, terminating
% 58.91/54.11 eprover: CPU time limit exceeded, terminating
% 61.15/56.13 eprover: CPU time limit exceeded, terminating
% 63.38/58.14 eprover: CPU time limit exceeded, terminating
% 65.54/60.15 eprover: CPU time limit exceeded, terminating
% 67.78/62.16 eprover: CPU time limit exceeded, terminating
% 70.04/64.18 eprover: CPU time limit exceeded, terminating
% 72.20/66.19 eprover: CPU time limit exceeded, terminating
% 74.40/68.20 eprover: CPU time limit exceeded, terminating
% 76.65/70.21 eprover: CPU time limit exceeded, terminating
% 78.87/72.22 eprover: CPU time limit exceeded, terminating
% 81.04/74.24 eprover: CPU time limit exceeded, terminating
% 83.29/76.25 eprover: CPU time limit exceeded, terminating
% 85.49/78.26 eprover: CPU time limit exceeded, terminating
% 87.67/80.27 eprover: CPU time limit exceeded, terminating
% 89.93/82.28 eprover: CPU time limit exceeded, terminating
% 92.07/84.30 eprover: CPU time limit exceeded, terminating
% 94.35/86.31 eprover: CPU time limit exceeded, terminating
% 96.56/88.32 eprover: CPU time limit exceeded, terminating
% 98.76/90.33 eprover: CPU time limit exceeded, terminating
% 100.92/92.35 eprover: CPU time limit exceeded, terminating
% 103.15/94.36 eprover: CPU time limit exceeded, terminating
% 105.36/96.37 eprover: CPU time limit exceeded, terminating
% 107.53/98.39 eprover: CPU time limit exceeded, terminating
% 109.79/100.40 eprover: CPU time limit exceeded, terminating
% 112.00/102.41 eprover: CPU time limit exceeded, terminating
% 114.20/104.42 eprover: CPU time limit exceeded, terminating
% 116.39/106.43 eprover: CPU time limit exceeded, terminating
% 118.61/108.44 eprover: CPU time limit exceeded, terminating
% 120.82/110.46 eprover: CPU time limit exceeded, terminating
% 122.98/112.47 eprover: CPU time limit exceeded, terminating
% 125.21/114.48 eprover: CPU time limit exceeded, terminating
% 127.40/116.49 eprover: CPU time limit exceeded, terminating
% 129.59/118.51 eprover: CPU time limit exceeded, terminating
% 131.78/120.52 eprover: CPU time limit exceeded, terminating
% 134.04/122.53 eprover: CPU time limit exceeded, terminating
% 136.17/124.54 eprover: CPU time limit exceeded, terminating
% 138.42/126.56 eprover: CPU time limit exceeded, terminating
% 140.64/128.57 eprover: CPU time limit exceeded, terminating
% 142.83/130.58 eprover: CPU time limit exceeded, terminating
% 145.07/132.59 eprover: CPU time limit exceeded, terminating
% 147.24/134.60 eprover: CPU time limit exceeded, terminating
% 149.48/136.62 eprover: CPU time limit exceeded, terminating
% 151.62/138.63 eprover: CPU time limit exceeded, terminating
% 153.84/140.64 eprover: CPU time limit exceeded, terminating
% 156.09/142.65 eprover: CPU time limit exceeded, terminating
% 158.29/144.66 eprover: CPU time limit exceeded, terminating
% 160.49/146.68 eprover: CPU time limit exceeded, terminating
% 162.69/148.69 eprover: CPU time limit exceeded, terminating
% 164.89/150.70 eprover: CPU time limit exceeded, terminating
% 167.16/152.72 eprover: CPU time limit exceeded, terminating
% 169.34/154.73 eprover: CPU time limit exceeded, terminating
% 171.57/156.74 eprover: CPU time limit exceeded, terminating
% 173.78/158.75 eprover: CPU time limit exceeded, terminating
% 175.96/160.77 eprover: CPU time limit exceeded, terminating
% 178.21/162.78 eprover: CPU time limit exceeded, terminating
% 180.37/164.79 eprover: CPU time limit exceeded, terminating
% 182.61/166.80 eprover: CPU time limit exceeded, terminating
% 184.83/168.81 eprover: CPU time limit exceeded, terminating
% 187.01/170.83 eprover: CPU time limit exceeded, terminating
% 189.23/172.84 eprover: CPU time limit exceeded, terminating
% 191.40/174.85 eprover: CPU time limit exceeded, terminating
% 193.64/176.86 eprover: CPU time limit exceeded, terminating
% 195.85/178.87 eprover: CPU time limit exceeded, terminating
% 198.01/180.89 eprover: CPU time limit exceeded, terminating
% 200.27/182.90 eprover: CPU time limit exceeded, terminating
% 202.46/184.91 eprover: CPU time limit exceeded, terminating
% 204.66/186.92 eprover: CPU time limit exceeded, terminating
% 206.86/188.94 eprover: CPU time limit exceeded, terminating
% 209.07/190.95 eprover: CPU time limit exceeded, terminating
% 211.32/192.96 eprover: CPU time limit exceeded, terminating
% 213.53/194.97 eprover: CPU time limit exceeded, terminating
% 215.73/196.98 eprover: CPU time limit exceeded, terminating
% 217.93/199.00 eprover: CPU time limit exceeded, terminating
% 220.12/201.01 eprover: CPU time limit exceeded, terminating
% 222.36/203.02 eprover: CPU time limit exceeded, terminating
% 224.59/205.04 eprover: CPU time limit exceeded, terminating
% 226.80/207.05 eprover: CPU time limit exceeded, terminating
% 229.01/209.06 eprover: CPU time limit exceeded, terminating
% 231.21/211.07 eprover: CPU time limit exceeded, terminating
% 233.41/213.09 eprover: CPU time limit exceeded, terminating
% 235.61/215.10 eprover: CPU time limit exceeded, terminating
% 237.79/217.11 eprover: CPU time limit exceeded, terminating
% 240.00/219.13 eprover: CPU time limit exceeded, terminating
% 242.23/221.14 eprover: CPU time limit exceeded, terminating
% 244.36/223.15 eprover: CPU time limit exceeded, terminating
% 246.63/225.16 eprover: CPU time limit exceeded, terminating
% 248.87/227.18 eprover: CPU time limit exceeded, terminating
% 251.02/229.19 eprover: CPU time limit exceeded, terminating
% 253.27/231.20 eprover: CPU time limit exceeded, terminating
% 255.49/233.21 eprover: CPU time limit exceeded, terminating
% 257.73/235.23 eprover: CPU time limit exceeded, terminating
% 259.87/237.24 eprover: CPU time limit exceeded, terminating
% 262.08/239.25 eprover: CPU time limit exceeded, terminating
% 264.32/241.26 eprover: CPU time limit exceeded, terminating
% 266.54/243.28 eprover: CPU time limit exceeded, terminating
% 268.78/245.29 eprover: CPU time limit exceeded, terminating
% 270.94/247.30 eprover: CPU time limit exceeded, terminating
% 273.17/249.31 eprover: CPU time limit exceeded, terminating
% 275.33/251.33 eprover: CPU time limit exceeded, terminating
% 277.61/253.34 eprover: CPU time limit exceeded, terminating
% 279.73/255.35 eprover: CPU time limit exceeded, terminating
% 282.01/257.36 eprover: CPU time limit exceeded, terminating
% 284.14/259.37 eprover: CPU time limit exceeded, terminating
% 286.45/261.39 eprover: CPU time limit exceeded, terminating
% 288.65/263.40 eprover: CPU time limit exceeded, terminating
% 290.83/265.41 eprover: CPU time limit exceeded, terminating
% 293.00/267.43 eprover: CPU time limit exceeded, terminating
% 295.25/269.44 eprover: CPU time limit exceeded, terminating
% 297.49/271.45 eprover: CPU time limit exceeded, terminating
% 299.63/273.46 eprover: CPU time limit exceeded, terminating
% 300.17/273.85 eprover: CPU time limit exceeded, terminating
% 300.17/273.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------