TSTP Solution File: CSR200+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR200+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:03 EDT 2022
% Result : Timeout 286.66s 261.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR200+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 04:47:18 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.84/5.87 eprover: CPU time limit exceeded, terminating
% 8.02/7.88 eprover: CPU time limit exceeded, terminating
% 10.24/9.89 eprover: CPU time limit exceeded, terminating
% 12.46/11.91 eprover: CPU time limit exceeded, terminating
% 14.69/13.92 eprover: CPU time limit exceeded, terminating
% 16.91/15.93 eprover: CPU time limit exceeded, terminating
% 19.13/17.95 eprover: CPU time limit exceeded, terminating
% 21.26/19.96 eprover: CPU time limit exceeded, terminating
% 23.54/21.97 eprover: CPU time limit exceeded, terminating
% 25.73/23.99 eprover: CPU time limit exceeded, terminating
% 28.00/26.00 eprover: CPU time limit exceeded, terminating
% 30.24/28.01 eprover: CPU time limit exceeded, terminating
% 32.41/30.02 eprover: CPU time limit exceeded, terminating
% 34.59/32.04 eprover: CPU time limit exceeded, terminating
% 36.81/34.05 eprover: CPU time limit exceeded, terminating
% 39.06/36.06 eprover: CPU time limit exceeded, terminating
% 41.30/38.07 eprover: CPU time limit exceeded, terminating
% 43.51/40.09 eprover: CPU time limit exceeded, terminating
% 45.70/42.10 eprover: CPU time limit exceeded, terminating
% 47.97/44.11 eprover: CPU time limit exceeded, terminating
% 50.12/46.12 eprover: CPU time limit exceeded, terminating
% 52.36/48.13 eprover: CPU time limit exceeded, terminating
% 54.55/50.14 eprover: CPU time limit exceeded, terminating
% 56.78/52.15 eprover: CPU time limit exceeded, terminating
% 58.95/54.16 eprover: CPU time limit exceeded, terminating
% 61.23/56.17 eprover: CPU time limit exceeded, terminating
% 63.39/58.19 eprover: CPU time limit exceeded, terminating
% 65.64/60.20 eprover: CPU time limit exceeded, terminating
% 67.81/62.21 eprover: CPU time limit exceeded, terminating
% 70.07/64.22 eprover: CPU time limit exceeded, terminating
% 72.26/66.23 eprover: CPU time limit exceeded, terminating
% 74.41/68.24 eprover: CPU time limit exceeded, terminating
% 76.65/70.25 eprover: CPU time limit exceeded, terminating
% 78.93/72.26 eprover: CPU time limit exceeded, terminating
% 81.10/74.28 eprover: CPU time limit exceeded, terminating
% 83.33/76.29 eprover: CPU time limit exceeded, terminating
% 85.49/78.30 eprover: CPU time limit exceeded, terminating
% 87.75/80.31 eprover: CPU time limit exceeded, terminating
% 89.97/82.32 eprover: CPU time limit exceeded, terminating
% 92.18/84.33 eprover: CPU time limit exceeded, terminating
% 94.31/86.34 eprover: CPU time limit exceeded, terminating
% 96.53/88.35 eprover: CPU time limit exceeded, terminating
% 98.79/90.36 eprover: CPU time limit exceeded, terminating
% 100.98/92.38 eprover: CPU time limit exceeded, terminating
% 103.17/94.39 eprover: CPU time limit exceeded, terminating
% 105.38/96.40 eprover: CPU time limit exceeded, terminating
% 107.62/98.41 eprover: CPU time limit exceeded, terminating
% 109.84/100.42 eprover: CPU time limit exceeded, terminating
% 112.04/102.43 eprover: CPU time limit exceeded, terminating
% 114.27/104.45 eprover: CPU time limit exceeded, terminating
% 116.47/106.46 eprover: CPU time limit exceeded, terminating
% 118.66/108.47 eprover: CPU time limit exceeded, terminating
% 120.89/110.48 eprover: CPU time limit exceeded, terminating
% 123.09/112.49 eprover: CPU time limit exceeded, terminating
% 125.30/114.50 eprover: CPU time limit exceeded, terminating
% 127.50/116.51 eprover: CPU time limit exceeded, terminating
% 129.70/118.52 eprover: CPU time limit exceeded, terminating
% 131.91/120.53 eprover: CPU time limit exceeded, terminating
% 134.14/122.55 eprover: CPU time limit exceeded, terminating
% 136.38/124.56 eprover: CPU time limit exceeded, terminating
% 138.59/126.57 eprover: CPU time limit exceeded, terminating
% 140.82/128.58 eprover: CPU time limit exceeded, terminating
% 142.99/130.59 eprover: CPU time limit exceeded, terminating
% 145.23/132.60 eprover: CPU time limit exceeded, terminating
% 147.37/134.61 eprover: CPU time limit exceeded, terminating
% 149.59/136.62 eprover: CPU time limit exceeded, terminating
% 151.84/138.63 eprover: CPU time limit exceeded, terminating
% 153.97/140.64 eprover: CPU time limit exceeded, terminating
% 156.23/142.65 eprover: CPU time limit exceeded, terminating
% 158.48/144.67 eprover: CPU time limit exceeded, terminating
% 160.66/146.68 eprover: CPU time limit exceeded, terminating
% 162.88/148.69 eprover: CPU time limit exceeded, terminating
% 165.07/150.70 eprover: CPU time limit exceeded, terminating
% 167.31/152.71 eprover: CPU time limit exceeded, terminating
% 169.46/154.72 eprover: CPU time limit exceeded, terminating
% 171.72/156.73 eprover: CPU time limit exceeded, terminating
% 173.94/158.74 eprover: CPU time limit exceeded, terminating
% 176.13/160.75 eprover: CPU time limit exceeded, terminating
% 178.38/162.76 eprover: CPU time limit exceeded, terminating
% 180.55/164.78 eprover: CPU time limit exceeded, terminating
% 182.75/166.79 eprover: CPU time limit exceeded, terminating
% 184.99/168.80 eprover: CPU time limit exceeded, terminating
% 187.20/170.81 eprover: CPU time limit exceeded, terminating
% 189.35/172.82 eprover: CPU time limit exceeded, terminating
% 191.59/174.83 eprover: CPU time limit exceeded, terminating
% 193.83/176.84 eprover: CPU time limit exceeded, terminating
% 196.03/178.85 eprover: CPU time limit exceeded, terminating
% 198.18/180.86 eprover: CPU time limit exceeded, terminating
% 200.43/182.88 eprover: CPU time limit exceeded, terminating
% 202.63/184.89 eprover: CPU time limit exceeded, terminating
% 204.88/186.90 eprover: CPU time limit exceeded, terminating
% 207.09/188.91 eprover: CPU time limit exceeded, terminating
% 209.29/190.92 eprover: CPU time limit exceeded, terminating
% 211.51/192.93 eprover: CPU time limit exceeded, terminating
% 213.72/194.94 eprover: CPU time limit exceeded, terminating
% 215.95/196.95 eprover: CPU time limit exceeded, terminating
% 218.14/198.97 eprover: CPU time limit exceeded, terminating
% 220.36/200.98 eprover: CPU time limit exceeded, terminating
% 222.52/202.99 eprover: CPU time limit exceeded, terminating
% 224.75/205.00 eprover: CPU time limit exceeded, terminating
% 226.94/207.01 eprover: CPU time limit exceeded, terminating
% 229.22/209.02 eprover: CPU time limit exceeded, terminating
% 231.38/211.04 eprover: CPU time limit exceeded, terminating
% 233.61/213.05 eprover: CPU time limit exceeded, terminating
% 235.85/215.06 eprover: CPU time limit exceeded, terminating
% 238.04/217.07 eprover: CPU time limit exceeded, terminating
% 240.27/219.09 eprover: CPU time limit exceeded, terminating
% 242.48/221.10 eprover: CPU time limit exceeded, terminating
% 244.69/223.11 eprover: CPU time limit exceeded, terminating
% 246.84/225.12 eprover: CPU time limit exceeded, terminating
% 249.05/227.14 eprover: CPU time limit exceeded, terminating
% 251.31/229.15 eprover: CPU time limit exceeded, terminating
% 253.52/231.16 eprover: CPU time limit exceeded, terminating
% 255.72/233.17 eprover: CPU time limit exceeded, terminating
% 257.92/235.19 eprover: CPU time limit exceeded, terminating
% 260.10/237.20 eprover: CPU time limit exceeded, terminating
% 262.33/239.21 eprover: CPU time limit exceeded, terminating
% 264.57/241.22 eprover: CPU time limit exceeded, terminating
% 266.79/243.24 eprover: CPU time limit exceeded, terminating
% 269.01/245.25 eprover: CPU time limit exceeded, terminating
% 271.18/247.36 eprover: CPU time limit exceeded, terminating
% 273.39/249.37 eprover: CPU time limit exceeded, terminating
% 275.58/251.39 eprover: CPU time limit exceeded, terminating
% 277.82/253.40 eprover: CPU time limit exceeded, terminating
% 279.98/255.41 eprover: CPU time limit exceeded, terminating
% 282.22/257.42 eprover: CPU time limit exceeded, terminating
% 284.43/259.44 eprover: CPU time limit exceeded, terminating
% 286.66/261.45 eprover: CPU time limit exceeded, terminating
% 288.80/263.46 eprover: CPU time limit exceeded, terminating
% 291.05/265.47 eprover: CPU time limit exceeded, terminating
% 293.30/267.48 eprover: CPU time limit exceeded, terminating
% 295.50/269.50 eprover: CPU time limit exceeded, terminating
% 297.70/271.51 eprover: CPU time limit exceeded, terminating
% 299.95/273.52 eprover: CPU time limit exceeded, terminating
% 300.12/273.69 eprover: CPU time limit exceeded, terminating
% 300.12/273.70 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------