TSTP Solution File: CSR115+84 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+84 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:37 EDT 2022
% Result : Timeout 286.02s 267.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR115+84 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n019.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Thu Jun 9 18:02:25 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.73/3.77 eprover: CPU time limit exceeded, terminating
% 5.88/5.78 eprover: CPU time limit exceeded, terminating
% 8.01/7.79 eprover: CPU time limit exceeded, terminating
% 10.22/9.81 eprover: CPU time limit exceeded, terminating
% 12.34/11.82 eprover: CPU time limit exceeded, terminating
% 14.55/13.83 eprover: CPU time limit exceeded, terminating
% 16.70/15.85 eprover: CPU time limit exceeded, terminating
% 18.87/17.86 eprover: CPU time limit exceeded, terminating
% 21.01/19.87 eprover: CPU time limit exceeded, terminating
% 23.16/21.89 eprover: CPU time limit exceeded, terminating
% 25.30/23.90 eprover: CPU time limit exceeded, terminating
% 27.54/25.91 eprover: CPU time limit exceeded, terminating
% 29.72/27.92 eprover: CPU time limit exceeded, terminating
% 31.87/29.94 eprover: CPU time limit exceeded, terminating
% 34.05/31.95 eprover: CPU time limit exceeded, terminating
% 36.24/33.97 eprover: CPU time limit exceeded, terminating
% 38.38/35.98 eprover: CPU time limit exceeded, terminating
% 40.56/37.99 eprover: CPU time limit exceeded, terminating
% 42.75/40.00 eprover: CPU time limit exceeded, terminating
% 44.87/42.02 eprover: CPU time limit exceeded, terminating
% 47.07/44.03 eprover: CPU time limit exceeded, terminating
% 49.21/46.04 eprover: CPU time limit exceeded, terminating
% 51.38/48.06 eprover: CPU time limit exceeded, terminating
% 53.56/50.07 eprover: CPU time limit exceeded, terminating
% 55.75/52.08 eprover: CPU time limit exceeded, terminating
% 57.87/54.10 eprover: CPU time limit exceeded, terminating
% 60.08/56.11 eprover: CPU time limit exceeded, terminating
% 62.24/58.12 eprover: CPU time limit exceeded, terminating
% 64.35/60.14 eprover: CPU time limit exceeded, terminating
% 66.55/62.15 eprover: CPU time limit exceeded, terminating
% 68.74/64.16 eprover: CPU time limit exceeded, terminating
% 70.90/66.17 eprover: CPU time limit exceeded, terminating
% 73.04/68.19 eprover: CPU time limit exceeded, terminating
% 75.24/70.20 eprover: CPU time limit exceeded, terminating
% 77.35/72.21 eprover: CPU time limit exceeded, terminating
% 79.49/74.23 eprover: CPU time limit exceeded, terminating
% 81.60/76.24 eprover: CPU time limit exceeded, terminating
% 83.71/78.26 eprover: CPU time limit exceeded, terminating
% 85.85/80.27 eprover: CPU time limit exceeded, terminating
% 88.02/82.28 eprover: CPU time limit exceeded, terminating
% 90.14/84.29 eprover: CPU time limit exceeded, terminating
% 92.29/86.31 eprover: CPU time limit exceeded, terminating
% 94.43/88.32 eprover: CPU time limit exceeded, terminating
% 96.58/90.33 eprover: CPU time limit exceeded, terminating
% 98.81/92.35 eprover: CPU time limit exceeded, terminating
% 100.98/94.36 eprover: CPU time limit exceeded, terminating
% 103.10/96.37 eprover: CPU time limit exceeded, terminating
% 105.30/98.38 eprover: CPU time limit exceeded, terminating
% 107.41/100.40 eprover: CPU time limit exceeded, terminating
% 109.62/102.41 eprover: CPU time limit exceeded, terminating
% 111.73/104.42 eprover: CPU time limit exceeded, terminating
% 113.90/106.44 eprover: CPU time limit exceeded, terminating
% 116.10/108.45 eprover: CPU time limit exceeded, terminating
% 118.28/110.46 eprover: CPU time limit exceeded, terminating
% 120.38/112.48 eprover: CPU time limit exceeded, terminating
% 122.57/114.49 eprover: CPU time limit exceeded, terminating
% 124.68/116.50 eprover: CPU time limit exceeded, terminating
% 126.86/118.51 eprover: CPU time limit exceeded, terminating
% 129.04/120.53 eprover: CPU time limit exceeded, terminating
% 131.22/122.54 eprover: CPU time limit exceeded, terminating
% 133.36/124.55 eprover: CPU time limit exceeded, terminating
% 135.51/126.57 eprover: CPU time limit exceeded, terminating
% 137.69/128.58 eprover: CPU time limit exceeded, terminating
% 139.84/130.59 eprover: CPU time limit exceeded, terminating
% 141.96/132.61 eprover: CPU time limit exceeded, terminating
% 144.11/134.62 eprover: CPU time limit exceeded, terminating
% 146.32/136.63 eprover: CPU time limit exceeded, terminating
% 148.49/138.65 eprover: CPU time limit exceeded, terminating
% 150.63/140.66 eprover: CPU time limit exceeded, terminating
% 152.76/142.67 eprover: CPU time limit exceeded, terminating
% 154.94/144.68 eprover: CPU time limit exceeded, terminating
% 157.11/146.70 eprover: CPU time limit exceeded, terminating
% 159.23/148.71 eprover: CPU time limit exceeded, terminating
% 161.41/150.72 eprover: CPU time limit exceeded, terminating
% 163.50/152.74 eprover: CPU time limit exceeded, terminating
% 165.74/154.75 eprover: CPU time limit exceeded, terminating
% 167.90/156.77 eprover: CPU time limit exceeded, terminating
% 170.05/158.78 eprover: CPU time limit exceeded, terminating
% 172.21/160.80 eprover: CPU time limit exceeded, terminating
% 174.34/162.81 eprover: CPU time limit exceeded, terminating
% 176.51/164.82 eprover: CPU time limit exceeded, terminating
% 178.61/166.84 eprover: CPU time limit exceeded, terminating
% 180.86/168.85 eprover: CPU time limit exceeded, terminating
% 182.97/170.87 eprover: CPU time limit exceeded, terminating
% 185.16/172.88 eprover: CPU time limit exceeded, terminating
% 187.26/174.89 eprover: CPU time limit exceeded, terminating
% 189.48/176.91 eprover: CPU time limit exceeded, terminating
% 191.57/178.92 eprover: CPU time limit exceeded, terminating
% 193.81/180.93 eprover: CPU time limit exceeded, terminating
% 195.95/182.95 eprover: CPU time limit exceeded, terminating
% 198.03/184.96 eprover: CPU time limit exceeded, terminating
% 200.26/186.97 eprover: CPU time limit exceeded, terminating
% 202.39/188.99 eprover: CPU time limit exceeded, terminating
% 204.53/191.00 eprover: CPU time limit exceeded, terminating
% 206.70/193.01 eprover: CPU time limit exceeded, terminating
% 208.89/195.02 eprover: CPU time limit exceeded, terminating
% 211.00/197.04 eprover: CPU time limit exceeded, terminating
% 213.19/199.05 eprover: CPU time limit exceeded, terminating
% 215.36/201.06 eprover: CPU time limit exceeded, terminating
% 217.52/203.08 eprover: CPU time limit exceeded, terminating
% 219.62/205.09 eprover: CPU time limit exceeded, terminating
% 221.80/207.10 eprover: CPU time limit exceeded, terminating
% 223.99/209.12 eprover: CPU time limit exceeded, terminating
% 226.15/211.13 eprover: CPU time limit exceeded, terminating
% 228.32/213.14 eprover: CPU time limit exceeded, terminating
% 230.34/215.16 eprover: CPU time limit exceeded, terminating
% 232.45/217.17 eprover: CPU time limit exceeded, terminating
% 234.55/219.18 eprover: CPU time limit exceeded, terminating
% 236.73/221.19 eprover: CPU time limit exceeded, terminating
% 238.93/223.21 eprover: CPU time limit exceeded, terminating
% 241.12/225.22 eprover: CPU time limit exceeded, terminating
% 243.21/227.23 eprover: CPU time limit exceeded, terminating
% 245.40/229.25 eprover: CPU time limit exceeded, terminating
% 247.56/231.26 eprover: CPU time limit exceeded, terminating
% 249.69/233.27 eprover: CPU time limit exceeded, terminating
% 251.79/235.29 eprover: CPU time limit exceeded, terminating
% 253.82/237.30 eprover: CPU time limit exceeded, terminating
% 255.91/239.31 eprover: CPU time limit exceeded, terminating
% 258.09/241.33 eprover: CPU time limit exceeded, terminating
% 260.19/243.34 eprover: CPU time limit exceeded, terminating
% 262.39/245.35 eprover: CPU time limit exceeded, terminating
% 264.46/247.37 eprover: CPU time limit exceeded, terminating
% 266.59/249.38 eprover: CPU time limit exceeded, terminating
% 268.78/251.39 eprover: CPU time limit exceeded, terminating
% 270.88/253.41 eprover: CPU time limit exceeded, terminating
% 273.10/255.42 eprover: CPU time limit exceeded, terminating
% 275.24/257.43 eprover: CPU time limit exceeded, terminating
% 277.39/259.45 eprover: CPU time limit exceeded, terminating
% 279.56/261.46 eprover: CPU time limit exceeded, terminating
% 281.64/263.47 eprover: CPU time limit exceeded, terminating
% 283.84/265.49 eprover: CPU time limit exceeded, terminating
% 286.02/267.50 eprover: CPU time limit exceeded, terminating
% 288.13/269.51 eprover: CPU time limit exceeded, terminating
% 290.28/271.53 eprover: CPU time limit exceeded, terminating
% 292.48/273.54 eprover: CPU time limit exceeded, terminating
% 294.65/275.56 eprover: CPU time limit exceeded, terminating
% 296.68/277.57 eprover: CPU time limit exceeded, terminating
% 298.78/279.58 eprover: CPU time limit exceeded, terminating
% 300.09/280.80 eprover: CPU time limit exceeded, terminating
% 300.09/280.81 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------