TSTP Solution File: CSR196+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR196+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 287.01s 262.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR196+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n020.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 11 10:51:50 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.93/5.90 eprover: CPU time limit exceeded, terminating
% 8.09/7.92 eprover: CPU time limit exceeded, terminating
% 10.30/9.93 eprover: CPU time limit exceeded, terminating
% 12.48/11.94 eprover: CPU time limit exceeded, terminating
% 14.70/13.95 eprover: CPU time limit exceeded, terminating
% 16.89/15.96 eprover: CPU time limit exceeded, terminating
% 19.14/17.98 eprover: CPU time limit exceeded, terminating
% 21.36/19.99 eprover: CPU time limit exceeded, terminating
% 23.52/22.00 eprover: CPU time limit exceeded, terminating
% 25.79/24.01 eprover: CPU time limit exceeded, terminating
% 27.97/26.02 eprover: CPU time limit exceeded, terminating
% 30.20/28.04 eprover: CPU time limit exceeded, terminating
% 32.47/30.05 eprover: CPU time limit exceeded, terminating
% 34.61/32.06 eprover: CPU time limit exceeded, terminating
% 36.88/34.07 eprover: CPU time limit exceeded, terminating
% 39.11/36.09 eprover: CPU time limit exceeded, terminating
% 41.28/38.10 eprover: CPU time limit exceeded, terminating
% 43.51/40.11 eprover: CPU time limit exceeded, terminating
% 45.76/42.12 eprover: CPU time limit exceeded, terminating
% 47.93/44.13 eprover: CPU time limit exceeded, terminating
% 50.17/46.14 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.83/52.18 eprover: CPU time limit exceeded, terminating
% 59.05/54.19 eprover: CPU time limit exceeded, terminating
% 61.25/56.20 eprover: CPU time limit exceeded, terminating
% 63.48/58.22 eprover: CPU time limit exceeded, terminating
% 65.68/60.23 eprover: CPU time limit exceeded, terminating
% 67.85/62.24 eprover: CPU time limit exceeded, terminating
% 70.05/64.25 eprover: CPU time limit exceeded, terminating
% 72.31/66.27 eprover: CPU time limit exceeded, terminating
% 74.54/68.28 eprover: CPU time limit exceeded, terminating
% 76.69/70.29 eprover: CPU time limit exceeded, terminating
% 78.98/72.30 eprover: CPU time limit exceeded, terminating
% 81.20/74.31 eprover: CPU time limit exceeded, terminating
% 83.35/76.33 eprover: CPU time limit exceeded, terminating
% 85.60/78.34 eprover: CPU time limit exceeded, terminating
% 87.85/80.35 eprover: CPU time limit exceeded, terminating
% 90.03/82.36 eprover: CPU time limit exceeded, terminating
% 92.24/84.37 eprover: CPU time limit exceeded, terminating
% 94.47/86.38 eprover: CPU time limit exceeded, terminating
% 96.71/88.40 eprover: CPU time limit exceeded, terminating
% 98.88/90.41 eprover: CPU time limit exceeded, terminating
% 101.12/92.42 eprover: CPU time limit exceeded, terminating
% 103.30/94.43 eprover: CPU time limit exceeded, terminating
% 105.56/96.44 eprover: CPU time limit exceeded, terminating
% 107.72/98.46 eprover: CPU time limit exceeded, terminating
% 109.97/100.47 eprover: CPU time limit exceeded, terminating
% 112.13/102.48 eprover: CPU time limit exceeded, terminating
% 114.36/104.49 eprover: CPU time limit exceeded, terminating
% 116.59/106.50 eprover: CPU time limit exceeded, terminating
% 118.75/108.52 eprover: CPU time limit exceeded, terminating
% 120.97/110.53 eprover: CPU time limit exceeded, terminating
% 123.25/112.54 eprover: CPU time limit exceeded, terminating
% 125.42/114.55 eprover: CPU time limit exceeded, terminating
% 127.67/116.56 eprover: CPU time limit exceeded, terminating
% 129.90/118.58 eprover: CPU time limit exceeded, terminating
% 132.09/120.59 eprover: CPU time limit exceeded, terminating
% 134.35/122.60 eprover: CPU time limit exceeded, terminating
% 136.50/124.62 eprover: CPU time limit exceeded, terminating
% 138.76/126.63 eprover: CPU time limit exceeded, terminating
% 140.97/128.64 eprover: CPU time limit exceeded, terminating
% 143.16/130.65 eprover: CPU time limit exceeded, terminating
% 145.38/132.66 eprover: CPU time limit exceeded, terminating
% 147.65/134.68 eprover: CPU time limit exceeded, terminating
% 149.80/136.69 eprover: CPU time limit exceeded, terminating
% 152.06/138.70 eprover: CPU time limit exceeded, terminating
% 154.21/140.71 eprover: CPU time limit exceeded, terminating
% 156.48/142.72 eprover: CPU time limit exceeded, terminating
% 158.68/144.74 eprover: CPU time limit exceeded, terminating
% 160.88/146.75 eprover: CPU time limit exceeded, terminating
% 163.13/148.76 eprover: CPU time limit exceeded, terminating
% 165.31/150.77 eprover: CPU time limit exceeded, terminating
% 167.52/152.78 eprover: CPU time limit exceeded, terminating
% 169.77/154.80 eprover: CPU time limit exceeded, terminating
% 171.98/156.81 eprover: CPU time limit exceeded, terminating
% 174.15/158.82 eprover: CPU time limit exceeded, terminating
% 176.37/160.83 eprover: CPU time limit exceeded, terminating
% 178.52/162.84 eprover: CPU time limit exceeded, terminating
% 180.79/164.85 eprover: CPU time limit exceeded, terminating
% 183.01/166.86 eprover: CPU time limit exceeded, terminating
% 185.15/168.87 eprover: CPU time limit exceeded, terminating
% 187.44/170.88 eprover: CPU time limit exceeded, terminating
% 189.63/172.98 eprover: CPU time limit exceeded, terminating
% 191.86/174.99 eprover: CPU time limit exceeded, terminating
% 194.09/177.09 eprover: CPU time limit exceeded, terminating
% 196.31/179.10 eprover: CPU time limit exceeded, terminating
% 198.53/181.18 eprover: CPU time limit exceeded, terminating
% 200.77/183.28 eprover: CPU time limit exceeded, terminating
% 202.98/185.29 eprover: CPU time limit exceeded, terminating
% 205.21/187.36 eprover: CPU time limit exceeded, terminating
% 207.46/189.38 eprover: CPU time limit exceeded, terminating
% 209.62/191.42 eprover: CPU time limit exceeded, terminating
% 211.90/193.52 eprover: CPU time limit exceeded, terminating
% 214.14/195.61 eprover: CPU time limit exceeded, terminating
% 216.35/197.69 eprover: CPU time limit exceeded, terminating
% 218.56/199.78 eprover: CPU time limit exceeded, terminating
% 220.77/201.88 eprover: CPU time limit exceeded, terminating
% 223.00/203.89 eprover: CPU time limit exceeded, terminating
% 225.17/205.90 eprover: CPU time limit exceeded, terminating
% 227.34/207.91 eprover: CPU time limit exceeded, terminating
% 229.58/209.92 eprover: CPU time limit exceeded, terminating
% 231.75/211.93 eprover: CPU time limit exceeded, terminating
% 234.03/213.94 eprover: CPU time limit exceeded, terminating
% 236.21/215.96 eprover: CPU time limit exceeded, terminating
% 238.45/217.97 eprover: CPU time limit exceeded, terminating
% 240.64/219.98 eprover: CPU time limit exceeded, terminating
% 242.86/221.99 eprover: CPU time limit exceeded, terminating
% 245.06/224.01 eprover: CPU time limit exceeded, terminating
% 247.24/226.02 eprover: CPU time limit exceeded, terminating
% 249.45/228.04 eprover: CPU time limit exceeded, terminating
% 251.69/230.05 eprover: CPU time limit exceeded, terminating
% 253.90/232.06 eprover: CPU time limit exceeded, terminating
% 256.04/234.07 eprover: CPU time limit exceeded, terminating
% 258.29/236.08 eprover: CPU time limit exceeded, terminating
% 260.49/238.10 eprover: CPU time limit exceeded, terminating
% 262.69/240.11 eprover: CPU time limit exceeded, terminating
% 264.87/242.12 eprover: CPU time limit exceeded, terminating
% 267.12/244.13 eprover: CPU time limit exceeded, terminating
% 269.34/246.15 eprover: CPU time limit exceeded, terminating
% 271.54/248.16 eprover: CPU time limit exceeded, terminating
% 273.75/250.17 eprover: CPU time limit exceeded, terminating
% 275.96/252.18 eprover: CPU time limit exceeded, terminating
% 278.19/254.19 eprover: CPU time limit exceeded, terminating
% 280.35/256.21 eprover: CPU time limit exceeded, terminating
% 282.60/258.22 eprover: CPU time limit exceeded, terminating
% 284.77/260.23 eprover: CPU time limit exceeded, terminating
% 287.01/262.24 eprover: CPU time limit exceeded, terminating
% 289.19/264.25 eprover: CPU time limit exceeded, terminating
% 291.44/266.27 eprover: CPU time limit exceeded, terminating
% 293.62/268.28 eprover: CPU time limit exceeded, terminating
% 295.85/270.29 eprover: CPU time limit exceeded, terminating
% 298.02/272.30 eprover: CPU time limit exceeded, terminating
% 300.09/274.11 eprover: CPU time limit exceeded, terminating
% 300.09/274.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------