TSTP Solution File: CSR115+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+7 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:36 EDT 2022
% Result : Timeout 287.36s 269.46s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : CSR115+7 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n022.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 11 19:14:34 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.73/3.83 eprover: CPU time limit exceeded, terminating
% 5.85/5.84 eprover: CPU time limit exceeded, terminating
% 8.10/7.86 eprover: CPU time limit exceeded, terminating
% 10.24/9.87 eprover: CPU time limit exceeded, terminating
% 12.42/11.89 eprover: CPU time limit exceeded, terminating
% 14.52/13.90 eprover: CPU time limit exceeded, terminating
% 16.69/15.91 eprover: CPU time limit exceeded, terminating
% 18.78/17.93 eprover: CPU time limit exceeded, terminating
% 21.02/19.94 eprover: CPU time limit exceeded, terminating
% 23.20/21.95 eprover: CPU time limit exceeded, terminating
% 25.35/23.97 eprover: CPU time limit exceeded, terminating
% 27.51/25.98 eprover: CPU time limit exceeded, terminating
% 29.65/27.99 eprover: CPU time limit exceeded, terminating
% 31.82/30.01 eprover: CPU time limit exceeded, terminating
% 34.01/32.02 eprover: CPU time limit exceeded, terminating
% 36.11/34.03 eprover: CPU time limit exceeded, terminating
% 38.25/36.04 eprover: CPU time limit exceeded, terminating
% 40.47/38.05 eprover: CPU time limit exceeded, terminating
% 42.62/40.06 eprover: CPU time limit exceeded, terminating
% 44.76/42.08 eprover: CPU time limit exceeded, terminating
% 46.92/44.09 eprover: CPU time limit exceeded, terminating
% 49.09/46.10 eprover: CPU time limit exceeded, terminating
% 51.18/48.11 eprover: CPU time limit exceeded, terminating
% 53.38/50.12 eprover: CPU time limit exceeded, terminating
% 55.49/52.13 eprover: CPU time limit exceeded, terminating
% 57.68/54.14 eprover: CPU time limit exceeded, terminating
% 59.85/56.15 eprover: CPU time limit exceeded, terminating
% 62.00/58.17 eprover: CPU time limit exceeded, terminating
% 64.14/60.18 eprover: CPU time limit exceeded, terminating
% 66.28/62.19 eprover: CPU time limit exceeded, terminating
% 68.40/64.20 eprover: CPU time limit exceeded, terminating
% 70.53/66.21 eprover: CPU time limit exceeded, terminating
% 72.69/68.22 eprover: CPU time limit exceeded, terminating
% 74.88/70.23 eprover: CPU time limit exceeded, terminating
% 77.03/72.24 eprover: CPU time limit exceeded, terminating
% 79.15/74.25 eprover: CPU time limit exceeded, terminating
% 81.22/76.27 eprover: CPU time limit exceeded, terminating
% 83.31/78.28 eprover: CPU time limit exceeded, terminating
% 85.45/80.29 eprover: CPU time limit exceeded, terminating
% 87.61/82.30 eprover: CPU time limit exceeded, terminating
% 89.71/84.31 eprover: CPU time limit exceeded, terminating
% 91.84/86.32 eprover: CPU time limit exceeded, terminating
% 94.03/88.34 eprover: CPU time limit exceeded, terminating
% 96.17/90.35 eprover: CPU time limit exceeded, terminating
% 98.34/92.36 eprover: CPU time limit exceeded, terminating
% 100.48/94.37 eprover: CPU time limit exceeded, terminating
% 102.62/96.38 eprover: CPU time limit exceeded, terminating
% 104.77/98.39 eprover: CPU time limit exceeded, terminating
% 106.91/100.41 eprover: CPU time limit exceeded, terminating
% 109.02/102.42 eprover: CPU time limit exceeded, terminating
% 111.23/104.43 eprover: CPU time limit exceeded, terminating
% 113.37/106.45 eprover: CPU time limit exceeded, terminating
% 115.52/108.46 eprover: CPU time limit exceeded, terminating
% 117.66/110.47 eprover: CPU time limit exceeded, terminating
% 119.82/112.48 eprover: CPU time limit exceeded, terminating
% 121.99/114.49 eprover: CPU time limit exceeded, terminating
% 124.11/116.51 eprover: CPU time limit exceeded, terminating
% 126.26/118.52 eprover: CPU time limit exceeded, terminating
% 128.34/120.53 eprover: CPU time limit exceeded, terminating
% 130.56/122.54 eprover: CPU time limit exceeded, terminating
% 132.66/124.56 eprover: CPU time limit exceeded, terminating
% 134.87/126.57 eprover: CPU time limit exceeded, terminating
% 136.96/128.58 eprover: CPU time limit exceeded, terminating
% 139.13/130.59 eprover: CPU time limit exceeded, terminating
% 141.30/132.60 eprover: CPU time limit exceeded, terminating
% 143.39/134.62 eprover: CPU time limit exceeded, terminating
% 145.58/136.63 eprover: CPU time limit exceeded, terminating
% 147.77/138.64 eprover: CPU time limit exceeded, terminating
% 149.92/140.65 eprover: CPU time limit exceeded, terminating
% 152.11/142.66 eprover: CPU time limit exceeded, terminating
% 154.27/144.68 eprover: CPU time limit exceeded, terminating
% 156.43/146.69 eprover: CPU time limit exceeded, terminating
% 158.59/148.70 eprover: CPU time limit exceeded, terminating
% 160.71/150.71 eprover: CPU time limit exceeded, terminating
% 162.87/152.72 eprover: CPU time limit exceeded, terminating
% 165.05/154.74 eprover: CPU time limit exceeded, terminating
% 167.21/156.75 eprover: CPU time limit exceeded, terminating
% 169.32/158.76 eprover: CPU time limit exceeded, terminating
% 171.49/160.77 eprover: CPU time limit exceeded, terminating
% 173.69/162.79 eprover: CPU time limit exceeded, terminating
% 175.82/164.80 eprover: CPU time limit exceeded, terminating
% 177.97/166.81 eprover: CPU time limit exceeded, terminating
% 180.14/168.83 eprover: CPU time limit exceeded, terminating
% 182.28/170.84 eprover: CPU time limit exceeded, terminating
% 184.41/172.85 eprover: CPU time limit exceeded, terminating
% 186.60/174.86 eprover: CPU time limit exceeded, terminating
% 188.80/176.88 eprover: CPU time limit exceeded, terminating
% 190.93/178.89 eprover: CPU time limit exceeded, terminating
% 193.04/180.90 eprover: CPU time limit exceeded, terminating
% 195.26/182.92 eprover: CPU time limit exceeded, terminating
% 197.41/184.93 eprover: CPU time limit exceeded, terminating
% 199.54/186.94 eprover: CPU time limit exceeded, terminating
% 201.69/188.96 eprover: CPU time limit exceeded, terminating
% 203.84/190.97 eprover: CPU time limit exceeded, terminating
% 205.98/192.98 eprover: CPU time limit exceeded, terminating
% 208.17/194.99 eprover: CPU time limit exceeded, terminating
% 210.34/197.00 eprover: CPU time limit exceeded, terminating
% 212.50/199.01 eprover: CPU time limit exceeded, terminating
% 214.68/201.03 eprover: CPU time limit exceeded, terminating
% 216.77/203.04 eprover: CPU time limit exceeded, terminating
% 218.91/205.05 eprover: CPU time limit exceeded, terminating
% 221.08/207.07 eprover: CPU time limit exceeded, terminating
% 223.24/209.08 eprover: CPU time limit exceeded, terminating
% 225.46/211.09 eprover: CPU time limit exceeded, terminating
% 227.57/213.10 eprover: CPU time limit exceeded, terminating
% 229.68/215.12 eprover: CPU time limit exceeded, terminating
% 231.78/217.13 eprover: CPU time limit exceeded, terminating
% 233.90/219.14 eprover: CPU time limit exceeded, terminating
% 236.02/221.15 eprover: CPU time limit exceeded, terminating
% 238.15/223.16 eprover: CPU time limit exceeded, terminating
% 240.31/225.18 eprover: CPU time limit exceeded, terminating
% 242.54/227.19 eprover: CPU time limit exceeded, terminating
% 244.69/229.20 eprover: CPU time limit exceeded, terminating
% 246.77/231.21 eprover: CPU time limit exceeded, terminating
% 248.98/233.23 eprover: CPU time limit exceeded, terminating
% 251.06/235.24 eprover: CPU time limit exceeded, terminating
% 253.14/237.25 eprover: CPU time limit exceeded, terminating
% 255.17/239.27 eprover: CPU time limit exceeded, terminating
% 257.35/241.28 eprover: CPU time limit exceeded, terminating
% 259.48/243.29 eprover: CPU time limit exceeded, terminating
% 261.63/245.31 eprover: CPU time limit exceeded, terminating
% 263.65/247.32 eprover: CPU time limit exceeded, terminating
% 265.83/249.33 eprover: CPU time limit exceeded, terminating
% 268.00/251.34 eprover: CPU time limit exceeded, terminating
% 270.12/253.36 eprover: CPU time limit exceeded, terminating
% 272.31/255.37 eprover: CPU time limit exceeded, terminating
% 274.45/257.38 eprover: CPU time limit exceeded, terminating
% 276.64/259.40 eprover: CPU time limit exceeded, terminating
% 278.76/261.41 eprover: CPU time limit exceeded, terminating
% 280.91/263.42 eprover: CPU time limit exceeded, terminating
% 283.04/265.43 eprover: CPU time limit exceeded, terminating
% 285.20/267.44 eprover: CPU time limit exceeded, terminating
% 287.36/269.46 eprover: CPU time limit exceeded, terminating
% 289.50/271.47 eprover: CPU time limit exceeded, terminating
% 291.66/273.48 eprover: CPU time limit exceeded, terminating
% 293.80/275.50 eprover: CPU time limit exceeded, terminating
% 295.94/277.51 eprover: CPU time limit exceeded, terminating
% 297.98/279.52 eprover: CPU time limit exceeded, terminating
% 300.06/281.52 eprover: CPU time limit exceeded, terminating
% 300.06/281.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------