TSTP Solution File: CSR113+19 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+19 : TPTP v8.1.0. Released v4.0.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:35:20 EDT 2022
% Result : Timeout 287.64s 269.15s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR113+19 : TPTP v8.1.0. Released v4.0.0.
% 0.06/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 : Thu Jun 9 21:34:21 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.67/3.75 eprover: CPU time limit exceeded, terminating
% 5.84/5.76 eprover: CPU time limit exceeded, terminating
% 7.96/7.77 eprover: CPU time limit exceeded, terminating
% 10.10/9.78 eprover: CPU time limit exceeded, terminating
% 12.30/11.79 eprover: CPU time limit exceeded, terminating
% 14.47/13.80 eprover: CPU time limit exceeded, terminating
% 16.63/15.81 eprover: CPU time limit exceeded, terminating
% 18.76/17.83 eprover: CPU time limit exceeded, terminating
% 20.84/19.84 eprover: CPU time limit exceeded, terminating
% 23.07/21.85 eprover: CPU time limit exceeded, terminating
% 25.20/23.86 eprover: CPU time limit exceeded, terminating
% 27.40/25.87 eprover: CPU time limit exceeded, terminating
% 29.51/27.88 eprover: CPU time limit exceeded, terminating
% 31.70/29.89 eprover: CPU time limit exceeded, terminating
% 33.91/31.90 eprover: CPU time limit exceeded, terminating
% 36.06/33.91 eprover: CPU time limit exceeded, terminating
% 38.18/35.92 eprover: CPU time limit exceeded, terminating
% 40.36/37.93 eprover: CPU time limit exceeded, terminating
% 42.53/39.94 eprover: CPU time limit exceeded, terminating
% 44.72/41.95 eprover: CPU time limit exceeded, terminating
% 46.78/43.96 eprover: CPU time limit exceeded, terminating
% 49.03/45.97 eprover: CPU time limit exceeded, terminating
% 51.18/47.98 eprover: CPU time limit exceeded, terminating
% 53.35/49.99 eprover: CPU time limit exceeded, terminating
% 55.52/52.00 eprover: CPU time limit exceeded, terminating
% 57.65/54.01 eprover: CPU time limit exceeded, terminating
% 59.84/56.02 eprover: CPU time limit exceeded, terminating
% 61.98/58.03 eprover: CPU time limit exceeded, terminating
% 64.15/60.04 eprover: CPU time limit exceeded, terminating
% 66.32/62.05 eprover: CPU time limit exceeded, terminating
% 68.40/64.06 eprover: CPU time limit exceeded, terminating
% 70.60/66.07 eprover: CPU time limit exceeded, terminating
% 72.78/68.08 eprover: CPU time limit exceeded, terminating
% 74.94/70.09 eprover: CPU time limit exceeded, terminating
% 77.10/72.10 eprover: CPU time limit exceeded, terminating
% 79.24/74.11 eprover: CPU time limit exceeded, terminating
% 81.31/76.12 eprover: CPU time limit exceeded, terminating
% 83.39/78.13 eprover: CPU time limit exceeded, terminating
% 85.54/80.14 eprover: CPU time limit exceeded, terminating
% 87.71/82.15 eprover: CPU time limit exceeded, terminating
% 89.86/84.16 eprover: CPU time limit exceeded, terminating
% 92.01/86.17 eprover: CPU time limit exceeded, terminating
% 94.18/88.19 eprover: CPU time limit exceeded, terminating
% 96.35/90.20 eprover: CPU time limit exceeded, terminating
% 98.45/92.21 eprover: CPU time limit exceeded, terminating
% 100.65/94.22 eprover: CPU time limit exceeded, terminating
% 102.83/96.23 eprover: CPU time limit exceeded, terminating
% 104.87/98.24 eprover: CPU time limit exceeded, terminating
% 107.10/100.26 eprover: CPU time limit exceeded, terminating
% 109.23/102.27 eprover: CPU time limit exceeded, terminating
% 111.43/104.28 eprover: CPU time limit exceeded, terminating
% 113.57/106.29 eprover: CPU time limit exceeded, terminating
% 115.74/108.30 eprover: CPU time limit exceeded, terminating
% 117.85/110.31 eprover: CPU time limit exceeded, terminating
% 120.06/112.32 eprover: CPU time limit exceeded, terminating
% 122.17/114.33 eprover: CPU time limit exceeded, terminating
% 124.37/116.34 eprover: CPU time limit exceeded, terminating
% 126.48/118.35 eprover: CPU time limit exceeded, terminating
% 128.66/120.36 eprover: CPU time limit exceeded, terminating
% 130.80/122.37 eprover: CPU time limit exceeded, terminating
% 132.97/124.38 eprover: CPU time limit exceeded, terminating
% 135.12/126.39 eprover: CPU time limit exceeded, terminating
% 137.27/128.40 eprover: CPU time limit exceeded, terminating
% 139.37/130.41 eprover: CPU time limit exceeded, terminating
% 141.52/132.42 eprover: CPU time limit exceeded, terminating
% 143.70/134.44 eprover: CPU time limit exceeded, terminating
% 145.88/136.45 eprover: CPU time limit exceeded, terminating
% 148.03/138.46 eprover: CPU time limit exceeded, terminating
% 150.19/140.47 eprover: CPU time limit exceeded, terminating
% 152.35/142.48 eprover: CPU time limit exceeded, terminating
% 154.50/144.49 eprover: CPU time limit exceeded, terminating
% 156.66/146.50 eprover: CPU time limit exceeded, terminating
% 158.79/148.51 eprover: CPU time limit exceeded, terminating
% 160.94/150.52 eprover: CPU time limit exceeded, terminating
% 163.06/152.53 eprover: CPU time limit exceeded, terminating
% 165.30/154.54 eprover: CPU time limit exceeded, terminating
% 167.42/156.55 eprover: CPU time limit exceeded, terminating
% 169.57/158.56 eprover: CPU time limit exceeded, terminating
% 171.76/160.57 eprover: CPU time limit exceeded, terminating
% 173.88/162.58 eprover: CPU time limit exceeded, terminating
% 176.05/164.59 eprover: CPU time limit exceeded, terminating
% 178.18/166.60 eprover: CPU time limit exceeded, terminating
% 180.31/168.61 eprover: CPU time limit exceeded, terminating
% 182.44/170.62 eprover: CPU time limit exceeded, terminating
% 184.58/172.63 eprover: CPU time limit exceeded, terminating
% 186.75/174.64 eprover: CPU time limit exceeded, terminating
% 188.92/176.65 eprover: CPU time limit exceeded, terminating
% 191.11/178.66 eprover: CPU time limit exceeded, terminating
% 193.22/180.67 eprover: CPU time limit exceeded, terminating
% 195.38/182.68 eprover: CPU time limit exceeded, terminating
% 197.54/184.69 eprover: CPU time limit exceeded, terminating
% 199.71/186.71 eprover: CPU time limit exceeded, terminating
% 201.82/188.72 eprover: CPU time limit exceeded, terminating
% 204.02/190.73 eprover: CPU time limit exceeded, terminating
% 206.14/192.74 eprover: CPU time limit exceeded, terminating
% 208.33/194.75 eprover: CPU time limit exceeded, terminating
% 210.43/196.76 eprover: CPU time limit exceeded, terminating
% 212.62/198.77 eprover: CPU time limit exceeded, terminating
% 214.74/200.78 eprover: CPU time limit exceeded, terminating
% 216.93/202.79 eprover: CPU time limit exceeded, terminating
% 219.08/204.80 eprover: CPU time limit exceeded, terminating
% 221.28/206.81 eprover: CPU time limit exceeded, terminating
% 223.44/208.82 eprover: CPU time limit exceeded, terminating
% 225.57/210.83 eprover: CPU time limit exceeded, terminating
% 227.75/212.84 eprover: CPU time limit exceeded, terminating
% 229.80/214.85 eprover: CPU time limit exceeded, terminating
% 231.91/216.87 eprover: CPU time limit exceeded, terminating
% 234.02/218.88 eprover: CPU time limit exceeded, terminating
% 236.19/220.89 eprover: CPU time limit exceeded, terminating
% 238.35/222.90 eprover: CPU time limit exceeded, terminating
% 240.54/224.91 eprover: CPU time limit exceeded, terminating
% 242.67/226.92 eprover: CPU time limit exceeded, terminating
% 244.87/228.93 eprover: CPU time limit exceeded, terminating
% 246.96/230.94 eprover: CPU time limit exceeded, terminating
% 249.14/232.95 eprover: CPU time limit exceeded, terminating
% 251.17/234.96 eprover: CPU time limit exceeded, terminating
% 253.27/236.97 eprover: CPU time limit exceeded, terminating
% 255.30/238.99 eprover: CPU time limit exceeded, terminating
% 257.48/241.00 eprover: CPU time limit exceeded, terminating
% 259.65/243.01 eprover: CPU time limit exceeded, terminating
% 261.85/245.02 eprover: CPU time limit exceeded, terminating
% 263.94/247.03 eprover: CPU time limit exceeded, terminating
% 266.07/249.04 eprover: CPU time limit exceeded, terminating
% 268.23/251.05 eprover: CPU time limit exceeded, terminating
% 270.37/253.06 eprover: CPU time limit exceeded, terminating
% 272.55/255.07 eprover: CPU time limit exceeded, terminating
% 274.73/257.08 eprover: CPU time limit exceeded, terminating
% 276.91/259.10 eprover: CPU time limit exceeded, terminating
% 278.97/261.11 eprover: CPU time limit exceeded, terminating
% 281.11/263.12 eprover: CPU time limit exceeded, terminating
% 283.33/265.13 eprover: CPU time limit exceeded, terminating
% 285.48/267.14 eprover: CPU time limit exceeded, terminating
% 287.64/269.15 eprover: CPU time limit exceeded, terminating
% 289.77/271.16 eprover: CPU time limit exceeded, terminating
% 291.92/273.17 eprover: CPU time limit exceeded, terminating
% 294.12/275.18 eprover: CPU time limit exceeded, terminating
% 296.14/277.19 eprover: CPU time limit exceeded, terminating
% 298.22/279.21 eprover: CPU time limit exceeded, terminating
% 300.08/280.93 eprover: CPU time limit exceeded, terminating
% 300.08/280.95 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------