TSTP Solution File: CSR213+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR213+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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.52s 261.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : CSR213+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n022.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 : Fri Jun 10 22:33:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.83/5.84 eprover: CPU time limit exceeded, terminating
% 7.97/7.85 eprover: CPU time limit exceeded, terminating
% 10.19/9.86 eprover: CPU time limit exceeded, terminating
% 12.40/11.88 eprover: CPU time limit exceeded, terminating
% 14.56/13.89 eprover: CPU time limit exceeded, terminating
% 16.84/15.90 eprover: CPU time limit exceeded, terminating
% 19.05/17.91 eprover: CPU time limit exceeded, terminating
% 21.23/19.92 eprover: CPU time limit exceeded, terminating
% 23.44/21.93 eprover: CPU time limit exceeded, terminating
% 25.65/23.94 eprover: CPU time limit exceeded, terminating
% 27.84/25.95 eprover: CPU time limit exceeded, terminating
% 30.06/27.97 eprover: CPU time limit exceeded, terminating
% 32.28/29.98 eprover: CPU time limit exceeded, terminating
% 34.45/31.99 eprover: CPU time limit exceeded, terminating
% 36.74/34.00 eprover: CPU time limit exceeded, terminating
% 38.94/36.01 eprover: CPU time limit exceeded, terminating
% 41.12/38.02 eprover: CPU time limit exceeded, terminating
% 43.33/40.03 eprover: CPU time limit exceeded, terminating
% 45.56/42.04 eprover: CPU time limit exceeded, terminating
% 47.80/44.05 eprover: CPU time limit exceeded, terminating
% 49.94/46.07 eprover: CPU time limit exceeded, terminating
% 52.19/48.08 eprover: CPU time limit exceeded, terminating
% 54.37/50.09 eprover: CPU time limit exceeded, terminating
% 56.65/52.10 eprover: CPU time limit exceeded, terminating
% 58.88/54.11 eprover: CPU time limit exceeded, terminating
% 61.08/56.12 eprover: CPU time limit exceeded, terminating
% 63.32/58.14 eprover: CPU time limit exceeded, terminating
% 65.46/60.15 eprover: CPU time limit exceeded, terminating
% 67.71/62.16 eprover: CPU time limit exceeded, terminating
% 69.88/64.17 eprover: CPU time limit exceeded, terminating
% 72.10/66.19 eprover: CPU time limit exceeded, terminating
% 74.34/68.20 eprover: CPU time limit exceeded, terminating
% 76.47/70.21 eprover: CPU time limit exceeded, terminating
% 78.77/72.22 eprover: CPU time limit exceeded, terminating
% 80.97/74.23 eprover: CPU time limit exceeded, terminating
% 83.17/76.24 eprover: CPU time limit exceeded, terminating
% 85.39/78.26 eprover: CPU time limit exceeded, terminating
% 87.55/80.27 eprover: CPU time limit exceeded, terminating
% 89.79/82.28 eprover: CPU time limit exceeded, terminating
% 91.96/84.29 eprover: CPU time limit exceeded, terminating
% 94.26/86.30 eprover: CPU time limit exceeded, terminating
% 96.47/88.32 eprover: CPU time limit exceeded, terminating
% 98.67/90.33 eprover: CPU time limit exceeded, terminating
% 100.84/92.34 eprover: CPU time limit exceeded, terminating
% 103.05/94.35 eprover: CPU time limit exceeded, terminating
% 105.24/96.37 eprover: CPU time limit exceeded, terminating
% 107.47/98.38 eprover: CPU time limit exceeded, terminating
% 109.64/100.39 eprover: CPU time limit exceeded, terminating
% 111.89/102.40 eprover: CPU time limit exceeded, terminating
% 114.13/104.41 eprover: CPU time limit exceeded, terminating
% 116.31/106.43 eprover: CPU time limit exceeded, terminating
% 118.49/108.44 eprover: CPU time limit exceeded, terminating
% 120.74/110.45 eprover: CPU time limit exceeded, terminating
% 122.92/112.46 eprover: CPU time limit exceeded, terminating
% 125.12/114.47 eprover: CPU time limit exceeded, terminating
% 127.38/116.49 eprover: CPU time limit exceeded, terminating
% 129.59/118.50 eprover: CPU time limit exceeded, terminating
% 131.81/120.51 eprover: CPU time limit exceeded, terminating
% 133.98/122.52 eprover: CPU time limit exceeded, terminating
% 136.19/124.54 eprover: CPU time limit exceeded, terminating
% 138.43/126.55 eprover: CPU time limit exceeded, terminating
% 140.60/128.56 eprover: CPU time limit exceeded, terminating
% 142.79/130.57 eprover: CPU time limit exceeded, terminating
% 145.00/132.59 eprover: CPU time limit exceeded, terminating
% 147.27/134.60 eprover: CPU time limit exceeded, terminating
% 149.46/136.61 eprover: CPU time limit exceeded, terminating
% 151.69/138.62 eprover: CPU time limit exceeded, terminating
% 153.90/140.63 eprover: CPU time limit exceeded, terminating
% 156.07/142.65 eprover: CPU time limit exceeded, terminating
% 158.30/144.66 eprover: CPU time limit exceeded, terminating
% 160.47/146.67 eprover: CPU time limit exceeded, terminating
% 162.70/148.69 eprover: CPU time limit exceeded, terminating
% 164.95/150.70 eprover: CPU time limit exceeded, terminating
% 167.11/152.71 eprover: CPU time limit exceeded, terminating
% 169.36/154.72 eprover: CPU time limit exceeded, terminating
% 171.57/156.73 eprover: CPU time limit exceeded, terminating
% 173.81/158.75 eprover: CPU time limit exceeded, terminating
% 175.98/160.76 eprover: CPU time limit exceeded, terminating
% 178.15/162.77 eprover: CPU time limit exceeded, terminating
% 180.36/164.78 eprover: CPU time limit exceeded, terminating
% 182.59/166.80 eprover: CPU time limit exceeded, terminating
% 184.85/168.81 eprover: CPU time limit exceeded, terminating
% 187.07/170.82 eprover: CPU time limit exceeded, terminating
% 189.27/172.83 eprover: CPU time limit exceeded, terminating
% 191.46/174.85 eprover: CPU time limit exceeded, terminating
% 193.65/176.86 eprover: CPU time limit exceeded, terminating
% 195.84/178.87 eprover: CPU time limit exceeded, terminating
% 198.06/180.88 eprover: CPU time limit exceeded, terminating
% 200.23/182.90 eprover: CPU time limit exceeded, terminating
% 202.53/184.91 eprover: CPU time limit exceeded, terminating
% 204.72/186.92 eprover: CPU time limit exceeded, terminating
% 206.93/188.93 eprover: CPU time limit exceeded, terminating
% 209.11/190.94 eprover: CPU time limit exceeded, terminating
% 211.30/192.96 eprover: CPU time limit exceeded, terminating
% 213.53/194.97 eprover: CPU time limit exceeded, terminating
% 215.72/196.98 eprover: CPU time limit exceeded, terminating
% 217.99/199.00 eprover: CPU time limit exceeded, terminating
% 220.20/201.01 eprover: CPU time limit exceeded, terminating
% 222.42/203.02 eprover: CPU time limit exceeded, terminating
% 224.58/205.03 eprover: CPU time limit exceeded, terminating
% 226.80/207.04 eprover: CPU time limit exceeded, terminating
% 228.98/209.06 eprover: CPU time limit exceeded, terminating
% 231.21/211.07 eprover: CPU time limit exceeded, terminating
% 233.45/213.08 eprover: CPU time limit exceeded, terminating
% 235.62/215.09 eprover: CPU time limit exceeded, terminating
% 237.86/217.10 eprover: CPU time limit exceeded, terminating
% 240.10/219.12 eprover: CPU time limit exceeded, terminating
% 242.29/221.13 eprover: CPU time limit exceeded, terminating
% 244.49/223.15 eprover: CPU time limit exceeded, terminating
% 246.70/225.16 eprover: CPU time limit exceeded, terminating
% 248.91/227.17 eprover: CPU time limit exceeded, terminating
% 251.13/229.18 eprover: CPU time limit exceeded, terminating
% 253.34/231.19 eprover: CPU time limit exceeded, terminating
% 255.56/233.21 eprover: CPU time limit exceeded, terminating
% 257.75/235.22 eprover: CPU time limit exceeded, terminating
% 259.96/237.23 eprover: CPU time limit exceeded, terminating
% 262.17/239.25 eprover: CPU time limit exceeded, terminating
% 264.40/241.26 eprover: CPU time limit exceeded, terminating
% 266.58/243.27 eprover: CPU time limit exceeded, terminating
% 268.79/245.28 eprover: CPU time limit exceeded, terminating
% 271.05/247.30 eprover: CPU time limit exceeded, terminating
% 273.26/249.31 eprover: CPU time limit exceeded, terminating
% 275.44/251.32 eprover: CPU time limit exceeded, terminating
% 277.66/253.33 eprover: CPU time limit exceeded, terminating
% 279.89/255.35 eprover: CPU time limit exceeded, terminating
% 282.08/257.36 eprover: CPU time limit exceeded, terminating
% 284.28/259.37 eprover: CPU time limit exceeded, terminating
% 286.52/261.38 eprover: CPU time limit exceeded, terminating
% 288.68/263.39 eprover: CPU time limit exceeded, terminating
% 290.92/265.41 eprover: CPU time limit exceeded, terminating
% 293.14/267.42 eprover: CPU time limit exceeded, terminating
% 295.35/269.43 eprover: CPU time limit exceeded, terminating
% 297.58/271.44 eprover: CPU time limit exceeded, terminating
% 299.76/273.46 eprover: CPU time limit exceeded, terminating
% 300.08/273.72 eprover: CPU time limit exceeded, terminating
% 300.08/273.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------