TSTP Solution File: CSR115+9 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+9 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:39 EDT 2022
% Result : Timeout 287.66s 269.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR115+9 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n020.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 : Sat Jun 11 16:52:50 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.80/3.83 eprover: CPU time limit exceeded, terminating
% 5.90/5.84 eprover: CPU time limit exceeded, terminating
% 8.08/7.85 eprover: CPU time limit exceeded, terminating
% 10.21/9.86 eprover: CPU time limit exceeded, terminating
% 12.40/11.87 eprover: CPU time limit exceeded, terminating
% 14.47/13.88 eprover: CPU time limit exceeded, terminating
% 16.63/15.89 eprover: CPU time limit exceeded, terminating
% 18.85/17.90 eprover: CPU time limit exceeded, terminating
% 20.92/19.92 eprover: CPU time limit exceeded, terminating
% 23.13/21.93 eprover: CPU time limit exceeded, terminating
% 25.31/23.94 eprover: CPU time limit exceeded, terminating
% 27.38/25.95 eprover: CPU time limit exceeded, terminating
% 29.57/27.96 eprover: CPU time limit exceeded, terminating
% 31.73/29.97 eprover: CPU time limit exceeded, terminating
% 33.95/31.98 eprover: CPU time limit exceeded, terminating
% 36.05/33.99 eprover: CPU time limit exceeded, terminating
% 38.27/36.00 eprover: CPU time limit exceeded, terminating
% 40.43/38.01 eprover: CPU time limit exceeded, terminating
% 42.57/40.02 eprover: CPU time limit exceeded, terminating
% 44.74/42.03 eprover: CPU time limit exceeded, terminating
% 46.86/44.04 eprover: CPU time limit exceeded, terminating
% 49.06/46.05 eprover: CPU time limit exceeded, terminating
% 51.18/48.07 eprover: CPU time limit exceeded, terminating
% 53.34/50.08 eprover: CPU time limit exceeded, terminating
% 55.53/52.09 eprover: CPU time limit exceeded, terminating
% 57.63/54.10 eprover: CPU time limit exceeded, terminating
% 59.82/56.11 eprover: CPU time limit exceeded, terminating
% 61.98/58.12 eprover: CPU time limit exceeded, terminating
% 64.16/60.13 eprover: CPU time limit exceeded, terminating
% 66.27/62.14 eprover: CPU time limit exceeded, terminating
% 68.43/64.15 eprover: CPU time limit exceeded, terminating
% 70.54/66.17 eprover: CPU time limit exceeded, terminating
% 72.79/68.18 eprover: CPU time limit exceeded, terminating
% 74.91/70.19 eprover: CPU time limit exceeded, terminating
% 77.08/72.20 eprover: CPU time limit exceeded, terminating
% 79.25/74.22 eprover: CPU time limit exceeded, terminating
% 81.29/76.24 eprover: CPU time limit exceeded, terminating
% 83.37/78.25 eprover: CPU time limit exceeded, terminating
% 85.49/80.26 eprover: CPU time limit exceeded, terminating
% 87.71/82.27 eprover: CPU time limit exceeded, terminating
% 89.86/84.28 eprover: CPU time limit exceeded, terminating
% 91.98/86.30 eprover: CPU time limit exceeded, terminating
% 94.13/88.31 eprover: CPU time limit exceeded, terminating
% 96.32/90.32 eprover: CPU time limit exceeded, terminating
% 98.48/92.33 eprover: CPU time limit exceeded, terminating
% 100.59/94.35 eprover: CPU time limit exceeded, terminating
% 102.75/96.36 eprover: CPU time limit exceeded, terminating
% 104.87/98.37 eprover: CPU time limit exceeded, terminating
% 107.05/100.38 eprover: CPU time limit exceeded, terminating
% 109.24/102.40 eprover: CPU time limit exceeded, terminating
% 111.37/104.41 eprover: CPU time limit exceeded, terminating
% 113.57/106.42 eprover: CPU time limit exceeded, terminating
% 115.73/108.44 eprover: CPU time limit exceeded, terminating
% 117.83/110.45 eprover: CPU time limit exceeded, terminating
% 120.06/112.46 eprover: CPU time limit exceeded, terminating
% 122.21/114.48 eprover: CPU time limit exceeded, terminating
% 124.35/116.49 eprover: CPU time limit exceeded, terminating
% 126.53/118.51 eprover: CPU time limit exceeded, terminating
% 128.67/120.52 eprover: CPU time limit exceeded, terminating
% 130.85/122.53 eprover: CPU time limit exceeded, terminating
% 132.97/124.55 eprover: CPU time limit exceeded, terminating
% 135.16/126.56 eprover: CPU time limit exceeded, terminating
% 137.31/128.57 eprover: CPU time limit exceeded, terminating
% 139.47/130.60 eprover: CPU time limit exceeded, terminating
% 141.63/132.61 eprover: CPU time limit exceeded, terminating
% 143.80/134.63 eprover: CPU time limit exceeded, terminating
% 145.85/136.64 eprover: CPU time limit exceeded, terminating
% 148.06/138.65 eprover: CPU time limit exceeded, terminating
% 150.25/140.66 eprover: CPU time limit exceeded, terminating
% 152.39/142.67 eprover: CPU time limit exceeded, terminating
% 154.52/144.69 eprover: CPU time limit exceeded, terminating
% 156.68/146.70 eprover: CPU time limit exceeded, terminating
% 158.88/148.71 eprover: CPU time limit exceeded, terminating
% 161.03/150.72 eprover: CPU time limit exceeded, terminating
% 163.18/152.73 eprover: CPU time limit exceeded, terminating
% 165.32/154.75 eprover: CPU time limit exceeded, terminating
% 167.51/156.76 eprover: CPU time limit exceeded, terminating
% 169.63/158.77 eprover: CPU time limit exceeded, terminating
% 171.79/160.78 eprover: CPU time limit exceeded, terminating
% 173.95/162.80 eprover: CPU time limit exceeded, terminating
% 176.10/164.81 eprover: CPU time limit exceeded, terminating
% 178.23/166.82 eprover: CPU time limit exceeded, terminating
% 180.37/168.83 eprover: CPU time limit exceeded, terminating
% 182.55/170.85 eprover: CPU time limit exceeded, terminating
% 184.69/172.86 eprover: CPU time limit exceeded, terminating
% 186.86/174.87 eprover: CPU time limit exceeded, terminating
% 188.98/176.89 eprover: CPU time limit exceeded, terminating
% 191.12/178.91 eprover: CPU time limit exceeded, terminating
% 193.25/180.92 eprover: CPU time limit exceeded, terminating
% 195.46/182.93 eprover: CPU time limit exceeded, terminating
% 197.64/184.94 eprover: CPU time limit exceeded, terminating
% 199.80/186.96 eprover: CPU time limit exceeded, terminating
% 201.93/188.97 eprover: CPU time limit exceeded, terminating
% 204.11/190.98 eprover: CPU time limit exceeded, terminating
% 206.22/192.99 eprover: CPU time limit exceeded, terminating
% 208.39/195.00 eprover: CPU time limit exceeded, terminating
% 210.50/197.02 eprover: CPU time limit exceeded, terminating
% 212.67/199.03 eprover: CPU time limit exceeded, terminating
% 214.89/201.04 eprover: CPU time limit exceeded, terminating
% 217.03/203.06 eprover: CPU time limit exceeded, terminating
% 219.18/205.07 eprover: CPU time limit exceeded, terminating
% 221.33/207.08 eprover: CPU time limit exceeded, terminating
% 223.49/209.10 eprover: CPU time limit exceeded, terminating
% 225.68/211.11 eprover: CPU time limit exceeded, terminating
% 227.80/213.15 eprover: CPU time limit exceeded, terminating
% 229.83/215.16 eprover: CPU time limit exceeded, terminating
% 231.95/217.17 eprover: CPU time limit exceeded, terminating
% 234.13/219.19 eprover: CPU time limit exceeded, terminating
% 236.26/221.22 eprover: CPU time limit exceeded, terminating
% 238.46/223.23 eprover: CPU time limit exceeded, terminating
% 240.59/225.24 eprover: CPU time limit exceeded, terminating
% 242.75/227.26 eprover: CPU time limit exceeded, terminating
% 244.91/229.27 eprover: CPU time limit exceeded, terminating
% 247.03/231.29 eprover: CPU time limit exceeded, terminating
% 249.18/233.30 eprover: CPU time limit exceeded, terminating
% 251.25/235.31 eprover: CPU time limit exceeded, terminating
% 253.35/237.33 eprover: CPU time limit exceeded, terminating
% 255.41/239.35 eprover: CPU time limit exceeded, terminating
% 257.49/241.36 eprover: CPU time limit exceeded, terminating
% 259.72/243.37 eprover: CPU time limit exceeded, terminating
% 261.86/245.38 eprover: CPU time limit exceeded, terminating
% 263.94/247.39 eprover: CPU time limit exceeded, terminating
% 266.09/249.40 eprover: CPU time limit exceeded, terminating
% 268.27/251.44 eprover: CPU time limit exceeded, terminating
% 270.46/253.45 eprover: CPU time limit exceeded, terminating
% 272.60/255.46 eprover: CPU time limit exceeded, terminating
% 274.77/257.47 eprover: CPU time limit exceeded, terminating
% 276.90/259.48 eprover: CPU time limit exceeded, terminating
% 279.07/261.50 eprover: CPU time limit exceeded, terminating
% 281.17/263.51 eprover: CPU time limit exceeded, terminating
% 283.33/265.52 eprover: CPU time limit exceeded, terminating
% 285.50/267.53 eprover: CPU time limit exceeded, terminating
% 287.66/269.54 eprover: CPU time limit exceeded, terminating
% 289.83/271.55 eprover: CPU time limit exceeded, terminating
% 291.97/273.56 eprover: CPU time limit exceeded, terminating
% 294.12/275.58 eprover: CPU time limit exceeded, terminating
% 296.22/277.59 eprover: CPU time limit exceeded, terminating
% 298.27/279.60 eprover: CPU time limit exceeded, terminating
% 300.03/281.30 eprover: CPU time limit exceeded, terminating
% 300.03/281.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------