TSTP Solution File: CSR113+17 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+17 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 286.14s 267.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.14 % Problem : CSR113+17 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.15 % Command : run_infinox %s
% 0.14/0.36 % Computer : n018.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 11 10:07:25 EDT 2022
% 0.14/0.37 % CPUTime :
% 3.74/3.80 eprover: CPU time limit exceeded, terminating
% 5.94/5.81 eprover: CPU time limit exceeded, terminating
% 8.06/7.83 eprover: CPU time limit exceeded, terminating
% 10.28/9.84 eprover: CPU time limit exceeded, terminating
% 12.46/11.86 eprover: CPU time limit exceeded, terminating
% 14.59/13.87 eprover: CPU time limit exceeded, terminating
% 16.79/15.89 eprover: CPU time limit exceeded, terminating
% 18.93/17.90 eprover: CPU time limit exceeded, terminating
% 21.09/19.92 eprover: CPU time limit exceeded, terminating
% 23.29/21.93 eprover: CPU time limit exceeded, terminating
% 25.39/23.94 eprover: CPU time limit exceeded, terminating
% 27.58/25.96 eprover: CPU time limit exceeded, terminating
% 29.77/27.97 eprover: CPU time limit exceeded, terminating
% 31.90/29.99 eprover: CPU time limit exceeded, terminating
% 34.10/32.00 eprover: CPU time limit exceeded, terminating
% 36.22/34.02 eprover: CPU time limit exceeded, terminating
% 38.47/36.03 eprover: CPU time limit exceeded, terminating
% 40.62/38.05 eprover: CPU time limit exceeded, terminating
% 42.74/40.06 eprover: CPU time limit exceeded, terminating
% 44.97/42.08 eprover: CPU time limit exceeded, terminating
% 47.13/44.09 eprover: CPU time limit exceeded, terminating
% 49.31/46.11 eprover: CPU time limit exceeded, terminating
% 51.46/48.12 eprover: CPU time limit exceeded, terminating
% 53.59/50.13 eprover: CPU time limit exceeded, terminating
% 55.78/52.14 eprover: CPU time limit exceeded, terminating
% 57.90/54.15 eprover: CPU time limit exceeded, terminating
% 60.08/56.16 eprover: CPU time limit exceeded, terminating
% 62.20/58.17 eprover: CPU time limit exceeded, terminating
% 64.32/60.18 eprover: CPU time limit exceeded, terminating
% 66.52/62.20 eprover: CPU time limit exceeded, terminating
% 68.70/64.21 eprover: CPU time limit exceeded, terminating
% 70.83/66.22 eprover: CPU time limit exceeded, terminating
% 72.99/68.24 eprover: CPU time limit exceeded, terminating
% 75.11/70.25 eprover: CPU time limit exceeded, terminating
% 77.31/72.26 eprover: CPU time limit exceeded, terminating
% 79.41/74.28 eprover: CPU time limit exceeded, terminating
% 81.52/76.29 eprover: CPU time limit exceeded, terminating
% 83.62/78.31 eprover: CPU time limit exceeded, terminating
% 85.79/80.32 eprover: CPU time limit exceeded, terminating
% 87.90/82.33 eprover: CPU time limit exceeded, terminating
% 90.09/84.35 eprover: CPU time limit exceeded, terminating
% 92.27/86.36 eprover: CPU time limit exceeded, terminating
% 94.42/88.37 eprover: CPU time limit exceeded, terminating
% 96.56/90.39 eprover: CPU time limit exceeded, terminating
% 98.74/92.40 eprover: CPU time limit exceeded, terminating
% 100.87/94.41 eprover: CPU time limit exceeded, terminating
% 103.05/96.43 eprover: CPU time limit exceeded, terminating
% 105.19/98.44 eprover: CPU time limit exceeded, terminating
% 107.38/100.46 eprover: CPU time limit exceeded, terminating
% 109.53/102.47 eprover: CPU time limit exceeded, terminating
% 111.68/104.48 eprover: CPU time limit exceeded, terminating
% 113.87/106.50 eprover: CPU time limit exceeded, terminating
% 115.96/108.51 eprover: CPU time limit exceeded, terminating
% 118.14/110.53 eprover: CPU time limit exceeded, terminating
% 120.35/112.54 eprover: CPU time limit exceeded, terminating
% 122.51/114.55 eprover: CPU time limit exceeded, terminating
% 124.66/116.57 eprover: CPU time limit exceeded, terminating
% 126.81/118.58 eprover: CPU time limit exceeded, terminating
% 128.94/120.60 eprover: CPU time limit exceeded, terminating
% 131.11/122.61 eprover: CPU time limit exceeded, terminating
% 133.30/124.62 eprover: CPU time limit exceeded, terminating
% 135.37/126.64 eprover: CPU time limit exceeded, terminating
% 137.59/128.65 eprover: CPU time limit exceeded, terminating
% 139.77/130.67 eprover: CPU time limit exceeded, terminating
% 141.88/132.68 eprover: CPU time limit exceeded, terminating
% 144.06/134.70 eprover: CPU time limit exceeded, terminating
% 146.25/136.71 eprover: CPU time limit exceeded, terminating
% 148.42/138.73 eprover: CPU time limit exceeded, terminating
% 150.48/140.74 eprover: CPU time limit exceeded, terminating
% 152.64/142.75 eprover: CPU time limit exceeded, terminating
% 154.86/144.77 eprover: CPU time limit exceeded, terminating
% 157.01/146.78 eprover: CPU time limit exceeded, terminating
% 159.21/148.79 eprover: CPU time limit exceeded, terminating
% 161.37/150.81 eprover: CPU time limit exceeded, terminating
% 163.50/152.82 eprover: CPU time limit exceeded, terminating
% 165.67/154.84 eprover: CPU time limit exceeded, terminating
% 167.81/156.85 eprover: CPU time limit exceeded, terminating
% 169.99/158.86 eprover: CPU time limit exceeded, terminating
% 172.13/160.88 eprover: CPU time limit exceeded, terminating
% 174.27/162.89 eprover: CPU time limit exceeded, terminating
% 176.45/164.91 eprover: CPU time limit exceeded, terminating
% 178.61/166.92 eprover: CPU time limit exceeded, terminating
% 180.73/168.94 eprover: CPU time limit exceeded, terminating
% 182.96/170.95 eprover: CPU time limit exceeded, terminating
% 185.04/172.97 eprover: CPU time limit exceeded, terminating
% 187.26/174.98 eprover: CPU time limit exceeded, terminating
% 189.43/177.00 eprover: CPU time limit exceeded, terminating
% 191.52/179.01 eprover: CPU time limit exceeded, terminating
% 193.68/181.02 eprover: CPU time limit exceeded, terminating
% 195.89/183.04 eprover: CPU time limit exceeded, terminating
% 198.00/185.05 eprover: CPU time limit exceeded, terminating
% 200.18/187.07 eprover: CPU time limit exceeded, terminating
% 202.38/189.08 eprover: CPU time limit exceeded, terminating
% 204.49/191.10 eprover: CPU time limit exceeded, terminating
% 206.68/193.11 eprover: CPU time limit exceeded, terminating
% 208.78/195.13 eprover: CPU time limit exceeded, terminating
% 210.94/197.14 eprover: CPU time limit exceeded, terminating
% 213.12/199.15 eprover: CPU time limit exceeded, terminating
% 215.29/201.17 eprover: CPU time limit exceeded, terminating
% 217.41/203.18 eprover: CPU time limit exceeded, terminating
% 219.60/205.20 eprover: CPU time limit exceeded, terminating
% 221.80/207.21 eprover: CPU time limit exceeded, terminating
% 223.94/209.22 eprover: CPU time limit exceeded, terminating
% 226.08/211.24 eprover: CPU time limit exceeded, terminating
% 228.25/213.25 eprover: CPU time limit exceeded, terminating
% 230.34/215.27 eprover: CPU time limit exceeded, terminating
% 232.38/217.28 eprover: CPU time limit exceeded, terminating
% 234.58/219.30 eprover: CPU time limit exceeded, terminating
% 236.75/221.31 eprover: CPU time limit exceeded, terminating
% 238.88/223.33 eprover: CPU time limit exceeded, terminating
% 241.06/225.34 eprover: CPU time limit exceeded, terminating
% 243.18/227.35 eprover: CPU time limit exceeded, terminating
% 245.40/229.37 eprover: CPU time limit exceeded, terminating
% 247.57/231.38 eprover: CPU time limit exceeded, terminating
% 249.66/233.40 eprover: CPU time limit exceeded, terminating
% 251.75/235.41 eprover: CPU time limit exceeded, terminating
% 253.87/237.43 eprover: CPU time limit exceeded, terminating
% 255.90/239.44 eprover: CPU time limit exceeded, terminating
% 258.09/241.46 eprover: CPU time limit exceeded, terminating
% 260.28/243.47 eprover: CPU time limit exceeded, terminating
% 262.45/245.49 eprover: CPU time limit exceeded, terminating
% 264.47/247.50 eprover: CPU time limit exceeded, terminating
% 266.66/249.52 eprover: CPU time limit exceeded, terminating
% 268.86/251.53 eprover: CPU time limit exceeded, terminating
% 270.95/253.55 eprover: CPU time limit exceeded, terminating
% 273.13/255.56 eprover: CPU time limit exceeded, terminating
% 275.32/257.57 eprover: CPU time limit exceeded, terminating
% 277.43/259.59 eprover: CPU time limit exceeded, terminating
% 279.59/261.60 eprover: CPU time limit exceeded, terminating
% 281.80/263.62 eprover: CPU time limit exceeded, terminating
% 283.97/265.63 eprover: CPU time limit exceeded, terminating
% 286.14/267.65 eprover: CPU time limit exceeded, terminating
% 288.23/269.66 eprover: CPU time limit exceeded, terminating
% 290.34/271.67 eprover: CPU time limit exceeded, terminating
% 292.52/273.69 eprover: CPU time limit exceeded, terminating
% 294.75/275.70 eprover: CPU time limit exceeded, terminating
% 296.83/277.72 eprover: CPU time limit exceeded, terminating
% 298.90/279.73 eprover: CPU time limit exceeded, terminating
% 300.05/280.80 eprover: CPU time limit exceeded, terminating
% 300.05/280.82 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------