TSTP Solution File: CSR115+16 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+16 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:27 EDT 2022
% Result : Timeout 287.39s 271.49s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR115+16 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.12/0.31 % Computer : n032.cluster.edu
% 0.12/0.31 % Model : x86_64 x86_64
% 0.12/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.31 % Memory : 8042.1875MB
% 0.12/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.31 % CPULimit : 300
% 0.12/0.31 % WCLimit : 600
% 0.12/0.31 % DateTime : Fri Jun 10 23:07:09 EDT 2022
% 0.12/0.31 % CPUTime :
% 3.69/3.78 eprover: CPU time limit exceeded, terminating
% 5.84/5.80 eprover: CPU time limit exceeded, terminating
% 7.97/7.81 eprover: CPU time limit exceeded, terminating
% 10.13/9.82 eprover: CPU time limit exceeded, terminating
% 12.31/11.84 eprover: CPU time limit exceeded, terminating
% 14.45/13.85 eprover: CPU time limit exceeded, terminating
% 16.53/15.86 eprover: CPU time limit exceeded, terminating
% 18.71/17.88 eprover: CPU time limit exceeded, terminating
% 20.89/19.89 eprover: CPU time limit exceeded, terminating
% 22.99/21.91 eprover: CPU time limit exceeded, terminating
% 25.17/23.92 eprover: CPU time limit exceeded, terminating
% 27.33/25.93 eprover: CPU time limit exceeded, terminating
% 29.43/27.95 eprover: CPU time limit exceeded, terminating
% 31.60/29.96 eprover: CPU time limit exceeded, terminating
% 33.77/31.97 eprover: CPU time limit exceeded, terminating
% 35.86/33.98 eprover: CPU time limit exceeded, terminating
% 37.99/36.00 eprover: CPU time limit exceeded, terminating
% 40.15/38.01 eprover: CPU time limit exceeded, terminating
% 42.28/40.02 eprover: CPU time limit exceeded, terminating
% 44.39/42.03 eprover: CPU time limit exceeded, terminating
% 46.56/44.04 eprover: CPU time limit exceeded, terminating
% 48.63/46.05 eprover: CPU time limit exceeded, terminating
% 50.77/48.06 eprover: CPU time limit exceeded, terminating
% 52.92/50.08 eprover: CPU time limit exceeded, terminating
% 55.00/52.09 eprover: CPU time limit exceeded, terminating
% 57.20/54.11 eprover: CPU time limit exceeded, terminating
% 59.31/56.13 eprover: CPU time limit exceeded, terminating
% 61.45/58.14 eprover: CPU time limit exceeded, terminating
% 63.55/60.17 eprover: CPU time limit exceeded, terminating
% 65.69/62.18 eprover: CPU time limit exceeded, terminating
% 67.89/64.20 eprover: CPU time limit exceeded, terminating
% 70.03/66.21 eprover: CPU time limit exceeded, terminating
% 72.15/68.23 eprover: CPU time limit exceeded, terminating
% 74.31/70.24 eprover: CPU time limit exceeded, terminating
% 76.37/72.26 eprover: CPU time limit exceeded, terminating
% 78.51/74.27 eprover: CPU time limit exceeded, terminating
% 80.58/76.29 eprover: CPU time limit exceeded, terminating
% 82.69/78.31 eprover: CPU time limit exceeded, terminating
% 84.82/80.32 eprover: CPU time limit exceeded, terminating
% 86.95/82.34 eprover: CPU time limit exceeded, terminating
% 89.03/84.36 eprover: CPU time limit exceeded, terminating
% 91.14/86.37 eprover: CPU time limit exceeded, terminating
% 93.27/88.38 eprover: CPU time limit exceeded, terminating
% 95.47/90.40 eprover: CPU time limit exceeded, terminating
% 97.59/92.41 eprover: CPU time limit exceeded, terminating
% 99.75/94.42 eprover: CPU time limit exceeded, terminating
% 101.87/96.44 eprover: CPU time limit exceeded, terminating
% 103.98/98.45 eprover: CPU time limit exceeded, terminating
% 106.15/100.46 eprover: CPU time limit exceeded, terminating
% 108.23/102.47 eprover: CPU time limit exceeded, terminating
% 110.37/104.48 eprover: CPU time limit exceeded, terminating
% 112.58/106.50 eprover: CPU time limit exceeded, terminating
% 114.72/108.51 eprover: CPU time limit exceeded, terminating
% 116.83/110.52 eprover: CPU time limit exceeded, terminating
% 118.98/112.53 eprover: CPU time limit exceeded, terminating
% 121.09/114.54 eprover: CPU time limit exceeded, terminating
% 123.21/116.56 eprover: CPU time limit exceeded, terminating
% 125.36/118.57 eprover: CPU time limit exceeded, terminating
% 127.50/120.58 eprover: CPU time limit exceeded, terminating
% 129.61/122.59 eprover: CPU time limit exceeded, terminating
% 131.81/124.60 eprover: CPU time limit exceeded, terminating
% 133.97/126.62 eprover: CPU time limit exceeded, terminating
% 136.10/128.63 eprover: CPU time limit exceeded, terminating
% 138.19/130.64 eprover: CPU time limit exceeded, terminating
% 140.34/132.66 eprover: CPU time limit exceeded, terminating
% 142.46/134.67 eprover: CPU time limit exceeded, terminating
% 144.57/136.68 eprover: CPU time limit exceeded, terminating
% 146.76/138.69 eprover: CPU time limit exceeded, terminating
% 148.92/140.70 eprover: CPU time limit exceeded, terminating
% 151.06/142.71 eprover: CPU time limit exceeded, terminating
% 153.19/144.73 eprover: CPU time limit exceeded, terminating
% 155.34/146.74 eprover: CPU time limit exceeded, terminating
% 157.46/148.75 eprover: CPU time limit exceeded, terminating
% 159.56/150.76 eprover: CPU time limit exceeded, terminating
% 161.78/152.77 eprover: CPU time limit exceeded, terminating
% 163.82/154.78 eprover: CPU time limit exceeded, terminating
% 166.02/156.79 eprover: CPU time limit exceeded, terminating
% 168.16/158.81 eprover: CPU time limit exceeded, terminating
% 170.33/160.82 eprover: CPU time limit exceeded, terminating
% 172.42/162.83 eprover: CPU time limit exceeded, terminating
% 174.59/164.84 eprover: CPU time limit exceeded, terminating
% 176.71/166.85 eprover: CPU time limit exceeded, terminating
% 178.82/168.87 eprover: CPU time limit exceeded, terminating
% 180.94/170.88 eprover: CPU time limit exceeded, terminating
% 183.08/172.89 eprover: CPU time limit exceeded, terminating
% 185.21/174.90 eprover: CPU time limit exceeded, terminating
% 187.42/176.91 eprover: CPU time limit exceeded, terminating
% 189.56/178.92 eprover: CPU time limit exceeded, terminating
% 191.70/180.94 eprover: CPU time limit exceeded, terminating
% 193.80/182.95 eprover: CPU time limit exceeded, terminating
% 195.90/184.96 eprover: CPU time limit exceeded, terminating
% 198.06/186.97 eprover: CPU time limit exceeded, terminating
% 200.19/188.99 eprover: CPU time limit exceeded, terminating
% 202.39/191.00 eprover: CPU time limit exceeded, terminating
% 204.54/193.01 eprover: CPU time limit exceeded, terminating
% 206.69/195.02 eprover: CPU time limit exceeded, terminating
% 208.79/197.04 eprover: CPU time limit exceeded, terminating
% 210.94/199.05 eprover: CPU time limit exceeded, terminating
% 213.07/201.06 eprover: CPU time limit exceeded, terminating
% 215.18/203.07 eprover: CPU time limit exceeded, terminating
% 217.31/205.08 eprover: CPU time limit exceeded, terminating
% 219.53/207.10 eprover: CPU time limit exceeded, terminating
% 221.66/209.11 eprover: CPU time limit exceeded, terminating
% 223.78/211.12 eprover: CPU time limit exceeded, terminating
% 225.93/213.13 eprover: CPU time limit exceeded, terminating
% 227.99/215.14 eprover: CPU time limit exceeded, terminating
% 230.02/217.16 eprover: CPU time limit exceeded, terminating
% 232.15/219.17 eprover: CPU time limit exceeded, terminating
% 234.29/221.18 eprover: CPU time limit exceeded, terminating
% 236.51/223.19 eprover: CPU time limit exceeded, terminating
% 238.64/225.21 eprover: CPU time limit exceeded, terminating
% 240.77/227.22 eprover: CPU time limit exceeded, terminating
% 242.91/229.23 eprover: CPU time limit exceeded, terminating
% 244.98/231.25 eprover: CPU time limit exceeded, terminating
% 247.10/233.26 eprover: CPU time limit exceeded, terminating
% 249.19/235.27 eprover: CPU time limit exceeded, terminating
% 251.24/237.28 eprover: CPU time limit exceeded, terminating
% 253.30/239.29 eprover: CPU time limit exceeded, terminating
% 255.50/241.31 eprover: CPU time limit exceeded, terminating
% 257.60/243.32 eprover: CPU time limit exceeded, terminating
% 259.74/245.33 eprover: CPU time limit exceeded, terminating
% 261.82/247.35 eprover: CPU time limit exceeded, terminating
% 263.92/249.36 eprover: CPU time limit exceeded, terminating
% 266.06/251.37 eprover: CPU time limit exceeded, terminating
% 268.19/253.38 eprover: CPU time limit exceeded, terminating
% 270.32/255.39 eprover: CPU time limit exceeded, terminating
% 272.54/257.41 eprover: CPU time limit exceeded, terminating
% 274.64/259.42 eprover: CPU time limit exceeded, terminating
% 276.78/261.43 eprover: CPU time limit exceeded, terminating
% 278.93/263.44 eprover: CPU time limit exceeded, terminating
% 281.04/265.46 eprover: CPU time limit exceeded, terminating
% 283.17/267.47 eprover: CPU time limit exceeded, terminating
% 285.37/269.48 eprover: CPU time limit exceeded, terminating
% 287.39/271.49 eprover: CPU time limit exceeded, terminating
% 289.53/273.51 eprover: CPU time limit exceeded, terminating
% 291.74/275.52 eprover: CPU time limit exceeded, terminating
% 293.77/277.53 eprover: CPU time limit exceeded, terminating
% 295.83/279.54 eprover: CPU time limit exceeded, terminating
% 297.90/281.55 eprover: CPU time limit exceeded, terminating
% 300.02/283.52 eprover: CPU time limit exceeded, terminating
% 300.02/283.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------