TSTP Solution File: CSR115+30 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+30 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:29 EDT 2022
% Result : Timeout 286.06s 267.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR115+30 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n017.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 : Fri Jun 10 03:13:35 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.83/3.90 eprover: CPU time limit exceeded, terminating
% 5.90/5.91 eprover: CPU time limit exceeded, terminating
% 8.13/7.92 eprover: CPU time limit exceeded, terminating
% 10.28/9.93 eprover: CPU time limit exceeded, terminating
% 12.47/11.94 eprover: CPU time limit exceeded, terminating
% 14.60/13.95 eprover: CPU time limit exceeded, terminating
% 16.74/15.97 eprover: CPU time limit exceeded, terminating
% 18.87/17.98 eprover: CPU time limit exceeded, terminating
% 21.02/19.99 eprover: CPU time limit exceeded, terminating
% 23.17/22.00 eprover: CPU time limit exceeded, terminating
% 25.42/24.01 eprover: CPU time limit exceeded, terminating
% 27.59/26.03 eprover: CPU time limit exceeded, terminating
% 29.71/28.04 eprover: CPU time limit exceeded, terminating
% 31.86/30.05 eprover: CPU time limit exceeded, terminating
% 34.05/32.06 eprover: CPU time limit exceeded, terminating
% 36.25/34.07 eprover: CPU time limit exceeded, terminating
% 38.35/36.09 eprover: CPU time limit exceeded, terminating
% 40.57/38.10 eprover: CPU time limit exceeded, terminating
% 42.75/40.11 eprover: CPU time limit exceeded, terminating
% 44.90/42.12 eprover: CPU time limit exceeded, terminating
% 47.05/44.13 eprover: CPU time limit exceeded, terminating
% 49.18/46.15 eprover: CPU time limit exceeded, terminating
% 51.32/48.16 eprover: CPU time limit exceeded, terminating
% 53.51/50.17 eprover: CPU time limit exceeded, terminating
% 55.67/52.18 eprover: CPU time limit exceeded, terminating
% 57.79/54.19 eprover: CPU time limit exceeded, terminating
% 60.04/56.21 eprover: CPU time limit exceeded, terminating
% 62.19/58.22 eprover: CPU time limit exceeded, terminating
% 64.33/60.23 eprover: CPU time limit exceeded, terminating
% 66.51/62.24 eprover: CPU time limit exceeded, terminating
% 68.67/64.25 eprover: CPU time limit exceeded, terminating
% 70.83/66.26 eprover: CPU time limit exceeded, terminating
% 72.96/68.28 eprover: CPU time limit exceeded, terminating
% 75.17/70.29 eprover: CPU time limit exceeded, terminating
% 77.35/72.30 eprover: CPU time limit exceeded, terminating
% 79.47/74.31 eprover: CPU time limit exceeded, terminating
% 81.57/76.32 eprover: CPU time limit exceeded, terminating
% 83.64/78.34 eprover: CPU time limit exceeded, terminating
% 85.78/80.35 eprover: CPU time limit exceeded, terminating
% 87.89/82.36 eprover: CPU time limit exceeded, terminating
% 90.08/84.37 eprover: CPU time limit exceeded, terminating
% 92.25/86.38 eprover: CPU time limit exceeded, terminating
% 94.46/88.39 eprover: CPU time limit exceeded, terminating
% 96.61/90.41 eprover: CPU time limit exceeded, terminating
% 98.77/92.42 eprover: CPU time limit exceeded, terminating
% 100.94/94.43 eprover: CPU time limit exceeded, terminating
% 103.07/96.44 eprover: CPU time limit exceeded, terminating
% 105.23/98.45 eprover: CPU time limit exceeded, terminating
% 107.41/100.46 eprover: CPU time limit exceeded, terminating
% 109.55/102.48 eprover: CPU time limit exceeded, terminating
% 111.72/104.49 eprover: CPU time limit exceeded, terminating
% 113.93/106.50 eprover: CPU time limit exceeded, terminating
% 116.08/108.51 eprover: CPU time limit exceeded, terminating
% 118.25/110.52 eprover: CPU time limit exceeded, terminating
% 120.41/112.54 eprover: CPU time limit exceeded, terminating
% 122.54/114.55 eprover: CPU time limit exceeded, terminating
% 124.71/116.56 eprover: CPU time limit exceeded, terminating
% 126.85/118.57 eprover: CPU time limit exceeded, terminating
% 129.06/120.58 eprover: CPU time limit exceeded, terminating
% 131.12/122.59 eprover: CPU time limit exceeded, terminating
% 133.39/124.61 eprover: CPU time limit exceeded, terminating
% 135.54/126.62 eprover: CPU time limit exceeded, terminating
% 137.66/128.63 eprover: CPU time limit exceeded, terminating
% 139.80/130.64 eprover: CPU time limit exceeded, terminating
% 141.95/132.65 eprover: CPU time limit exceeded, terminating
% 144.12/134.67 eprover: CPU time limit exceeded, terminating
% 146.25/136.68 eprover: CPU time limit exceeded, terminating
% 148.43/138.69 eprover: CPU time limit exceeded, terminating
% 150.64/140.70 eprover: CPU time limit exceeded, terminating
% 152.81/142.71 eprover: CPU time limit exceeded, terminating
% 154.96/144.72 eprover: CPU time limit exceeded, terminating
% 157.11/146.74 eprover: CPU time limit exceeded, terminating
% 159.26/148.75 eprover: CPU time limit exceeded, terminating
% 161.41/150.76 eprover: CPU time limit exceeded, terminating
% 163.55/152.77 eprover: CPU time limit exceeded, terminating
% 165.71/154.78 eprover: CPU time limit exceeded, terminating
% 167.89/156.79 eprover: CPU time limit exceeded, terminating
% 170.11/158.81 eprover: CPU time limit exceeded, terminating
% 172.26/160.82 eprover: CPU time limit exceeded, terminating
% 174.44/162.83 eprover: CPU time limit exceeded, terminating
% 176.59/164.84 eprover: CPU time limit exceeded, terminating
% 178.71/166.86 eprover: CPU time limit exceeded, terminating
% 180.87/168.87 eprover: CPU time limit exceeded, terminating
% 183.04/170.88 eprover: CPU time limit exceeded, terminating
% 185.25/172.89 eprover: CPU time limit exceeded, terminating
% 187.41/174.91 eprover: CPU time limit exceeded, terminating
% 189.57/176.92 eprover: CPU time limit exceeded, terminating
% 191.70/178.93 eprover: CPU time limit exceeded, terminating
% 193.87/180.94 eprover: CPU time limit exceeded, terminating
% 196.04/182.95 eprover: CPU time limit exceeded, terminating
% 198.14/184.96 eprover: CPU time limit exceeded, terminating
% 200.31/186.98 eprover: CPU time limit exceeded, terminating
% 202.48/188.99 eprover: CPU time limit exceeded, terminating
% 204.69/191.00 eprover: CPU time limit exceeded, terminating
% 206.84/193.01 eprover: CPU time limit exceeded, terminating
% 209.00/195.02 eprover: CPU time limit exceeded, terminating
% 211.14/197.04 eprover: CPU time limit exceeded, terminating
% 213.29/199.05 eprover: CPU time limit exceeded, terminating
% 215.45/201.06 eprover: CPU time limit exceeded, terminating
% 217.61/203.07 eprover: CPU time limit exceeded, terminating
% 219.77/205.08 eprover: CPU time limit exceeded, terminating
% 221.97/207.09 eprover: CPU time limit exceeded, terminating
% 224.14/209.11 eprover: CPU time limit exceeded, terminating
% 226.28/211.12 eprover: CPU time limit exceeded, terminating
% 228.46/213.13 eprover: CPU time limit exceeded, terminating
% 230.51/215.14 eprover: CPU time limit exceeded, terminating
% 232.57/217.16 eprover: CPU time limit exceeded, terminating
% 234.71/219.17 eprover: CPU time limit exceeded, terminating
% 236.88/221.18 eprover: CPU time limit exceeded, terminating
% 239.02/223.19 eprover: CPU time limit exceeded, terminating
% 241.28/225.20 eprover: CPU time limit exceeded, terminating
% 243.40/227.22 eprover: CPU time limit exceeded, terminating
% 245.56/229.23 eprover: CPU time limit exceeded, terminating
% 247.70/231.24 eprover: CPU time limit exceeded, terminating
% 249.79/233.25 eprover: CPU time limit exceeded, terminating
% 251.88/235.27 eprover: CPU time limit exceeded, terminating
% 253.95/237.28 eprover: CPU time limit exceeded, terminating
% 256.07/239.29 eprover: CPU time limit exceeded, terminating
% 258.24/241.30 eprover: CPU time limit exceeded, terminating
% 260.37/243.31 eprover: CPU time limit exceeded, terminating
% 262.51/245.32 eprover: CPU time limit exceeded, terminating
% 264.61/247.34 eprover: CPU time limit exceeded, terminating
% 266.74/249.35 eprover: CPU time limit exceeded, terminating
% 268.84/251.36 eprover: CPU time limit exceeded, terminating
% 270.99/253.37 eprover: CPU time limit exceeded, terminating
% 273.15/255.38 eprover: CPU time limit exceeded, terminating
% 275.37/257.39 eprover: CPU time limit exceeded, terminating
% 277.49/259.40 eprover: CPU time limit exceeded, terminating
% 279.63/261.41 eprover: CPU time limit exceeded, terminating
% 281.77/263.43 eprover: CPU time limit exceeded, terminating
% 283.93/265.44 eprover: CPU time limit exceeded, terminating
% 286.06/267.45 eprover: CPU time limit exceeded, terminating
% 288.18/269.46 eprover: CPU time limit exceeded, terminating
% 290.30/271.47 eprover: CPU time limit exceeded, terminating
% 292.45/273.48 eprover: CPU time limit exceeded, terminating
% 294.67/275.49 eprover: CPU time limit exceeded, terminating
% 296.73/277.50 eprover: CPU time limit exceeded, terminating
% 298.82/279.51 eprover: CPU time limit exceeded, terminating
% 300.07/280.71 eprover: CPU time limit exceeded, terminating
% 300.07/280.72 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------