TSTP Solution File: CSR115+11 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+11 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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.30s 267.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : CSR115+11 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 10 14:20:52 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.67/3.78 eprover: CPU time limit exceeded, terminating
% 5.87/5.79 eprover: CPU time limit exceeded, terminating
% 8.03/7.80 eprover: CPU time limit exceeded, terminating
% 10.18/9.81 eprover: CPU time limit exceeded, terminating
% 12.35/11.82 eprover: CPU time limit exceeded, terminating
% 14.50/13.83 eprover: CPU time limit exceeded, terminating
% 16.61/15.84 eprover: CPU time limit exceeded, terminating
% 18.76/17.85 eprover: CPU time limit exceeded, terminating
% 20.93/19.86 eprover: CPU time limit exceeded, terminating
% 23.05/21.87 eprover: CPU time limit exceeded, terminating
% 25.22/23.89 eprover: CPU time limit exceeded, terminating
% 27.34/25.90 eprover: CPU time limit exceeded, terminating
% 29.54/27.91 eprover: CPU time limit exceeded, terminating
% 31.70/29.92 eprover: CPU time limit exceeded, terminating
% 33.89/31.93 eprover: CPU time limit exceeded, terminating
% 36.03/33.94 eprover: CPU time limit exceeded, terminating
% 38.14/35.95 eprover: CPU time limit exceeded, terminating
% 40.28/37.96 eprover: CPU time limit exceeded, terminating
% 42.50/39.97 eprover: CPU time limit exceeded, terminating
% 44.59/41.98 eprover: CPU time limit exceeded, terminating
% 46.81/43.99 eprover: CPU time limit exceeded, terminating
% 48.88/46.00 eprover: CPU time limit exceeded, terminating
% 51.11/48.01 eprover: CPU time limit exceeded, terminating
% 53.25/50.03 eprover: CPU time limit exceeded, terminating
% 55.39/52.04 eprover: CPU time limit exceeded, terminating
% 57.54/54.05 eprover: CPU time limit exceeded, terminating
% 59.72/56.06 eprover: CPU time limit exceeded, terminating
% 61.84/58.07 eprover: CPU time limit exceeded, terminating
% 63.99/60.08 eprover: CPU time limit exceeded, terminating
% 66.12/62.09 eprover: CPU time limit exceeded, terminating
% 68.30/64.10 eprover: CPU time limit exceeded, terminating
% 70.50/66.11 eprover: CPU time limit exceeded, terminating
% 72.65/68.12 eprover: CPU time limit exceeded, terminating
% 74.81/70.13 eprover: CPU time limit exceeded, terminating
% 76.93/72.14 eprover: CPU time limit exceeded, terminating
% 79.07/74.15 eprover: CPU time limit exceeded, terminating
% 81.16/76.16 eprover: CPU time limit exceeded, terminating
% 83.28/78.18 eprover: CPU time limit exceeded, terminating
% 85.34/80.19 eprover: CPU time limit exceeded, terminating
% 87.57/82.20 eprover: CPU time limit exceeded, terminating
% 89.73/84.22 eprover: CPU time limit exceeded, terminating
% 91.87/86.23 eprover: CPU time limit exceeded, terminating
% 94.02/88.24 eprover: CPU time limit exceeded, terminating
% 96.17/90.25 eprover: CPU time limit exceeded, terminating
% 98.29/92.26 eprover: CPU time limit exceeded, terminating
% 100.45/94.27 eprover: CPU time limit exceeded, terminating
% 102.58/96.28 eprover: CPU time limit exceeded, terminating
% 104.73/98.29 eprover: CPU time limit exceeded, terminating
% 106.97/100.30 eprover: CPU time limit exceeded, terminating
% 109.12/102.31 eprover: CPU time limit exceeded, terminating
% 111.26/104.32 eprover: CPU time limit exceeded, terminating
% 113.38/106.33 eprover: CPU time limit exceeded, terminating
% 115.52/108.35 eprover: CPU time limit exceeded, terminating
% 117.71/110.36 eprover: CPU time limit exceeded, terminating
% 119.88/112.37 eprover: CPU time limit exceeded, terminating
% 122.00/114.38 eprover: CPU time limit exceeded, terminating
% 124.19/116.40 eprover: CPU time limit exceeded, terminating
% 126.34/118.41 eprover: CPU time limit exceeded, terminating
% 128.48/120.42 eprover: CPU time limit exceeded, terminating
% 130.67/122.43 eprover: CPU time limit exceeded, terminating
% 132.77/124.44 eprover: CPU time limit exceeded, terminating
% 134.99/126.45 eprover: CPU time limit exceeded, terminating
% 137.10/128.47 eprover: CPU time limit exceeded, terminating
% 139.25/130.48 eprover: CPU time limit exceeded, terminating
% 141.43/132.49 eprover: CPU time limit exceeded, terminating
% 145.54/134.50 eprover: CPU time limit exceeded, terminating
% 147.71/136.51 eprover: CPU time limit exceeded, terminating
% 149.83/138.52 eprover: CPU time limit exceeded, terminating
% 151.99/140.53 eprover: CPU time limit exceeded, terminating
% 154.13/142.54 eprover: CPU time limit exceeded, terminating
% 156.32/144.56 eprover: CPU time limit exceeded, terminating
% 158.48/146.57 eprover: CPU time limit exceeded, terminating
% 160.60/148.58 eprover: CPU time limit exceeded, terminating
% 162.76/150.59 eprover: CPU time limit exceeded, terminating
% 164.89/152.60 eprover: CPU time limit exceeded, terminating
% 167.05/154.61 eprover: CPU time limit exceeded, terminating
% 169.25/156.62 eprover: CPU time limit exceeded, terminating
% 171.40/158.64 eprover: CPU time limit exceeded, terminating
% 173.51/160.65 eprover: CPU time limit exceeded, terminating
% 175.68/162.66 eprover: CPU time limit exceeded, terminating
% 177.84/164.67 eprover: CPU time limit exceeded, terminating
% 180.01/166.68 eprover: CPU time limit exceeded, terminating
% 182.15/168.69 eprover: CPU time limit exceeded, terminating
% 184.31/170.71 eprover: CPU time limit exceeded, terminating
% 186.44/172.72 eprover: CPU time limit exceeded, terminating
% 188.60/174.73 eprover: CPU time limit exceeded, terminating
% 190.75/176.74 eprover: CPU time limit exceeded, terminating
% 192.91/178.75 eprover: CPU time limit exceeded, terminating
% 195.06/180.76 eprover: CPU time limit exceeded, terminating
% 197.21/182.77 eprover: CPU time limit exceeded, terminating
% 199.36/184.78 eprover: CPU time limit exceeded, terminating
% 201.50/186.79 eprover: CPU time limit exceeded, terminating
% 203.67/188.80 eprover: CPU time limit exceeded, terminating
% 205.85/190.82 eprover: CPU time limit exceeded, terminating
% 207.95/192.83 eprover: CPU time limit exceeded, terminating
% 210.11/194.84 eprover: CPU time limit exceeded, terminating
% 212.24/196.85 eprover: CPU time limit exceeded, terminating
% 214.41/198.86 eprover: CPU time limit exceeded, terminating
% 216.62/200.87 eprover: CPU time limit exceeded, terminating
% 218.76/202.88 eprover: CPU time limit exceeded, terminating
% 220.89/204.89 eprover: CPU time limit exceeded, terminating
% 223.09/206.91 eprover: CPU time limit exceeded, terminating
% 225.18/208.91 eprover: CPU time limit exceeded, terminating
% 227.35/210.92 eprover: CPU time limit exceeded, terminating
% 229.52/212.94 eprover: CPU time limit exceeded, terminating
% 231.71/214.95 eprover: CPU time limit exceeded, terminating
% 233.74/216.96 eprover: CPU time limit exceeded, terminating
% 235.95/218.97 eprover: CPU time limit exceeded, terminating
% 238.09/220.98 eprover: CPU time limit exceeded, terminating
% 240.22/223.00 eprover: CPU time limit exceeded, terminating
% 242.38/225.01 eprover: CPU time limit exceeded, terminating
% 244.48/227.02 eprover: CPU time limit exceeded, terminating
% 246.68/229.03 eprover: CPU time limit exceeded, terminating
% 248.86/231.04 eprover: CPU time limit exceeded, terminating
% 251.00/233.06 eprover: CPU time limit exceeded, terminating
% 253.07/235.07 eprover: CPU time limit exceeded, terminating
% 255.15/237.08 eprover: CPU time limit exceeded, terminating
% 257.26/239.09 eprover: CPU time limit exceeded, terminating
% 259.45/241.10 eprover: CPU time limit exceeded, terminating
% 261.53/243.11 eprover: CPU time limit exceeded, terminating
% 263.75/245.12 eprover: CPU time limit exceeded, terminating
% 265.83/247.13 eprover: CPU time limit exceeded, terminating
% 267.95/249.14 eprover: CPU time limit exceeded, terminating
% 270.10/251.15 eprover: CPU time limit exceeded, terminating
% 272.23/253.16 eprover: CPU time limit exceeded, terminating
% 274.41/255.17 eprover: CPU time limit exceeded, terminating
% 276.61/257.18 eprover: CPU time limit exceeded, terminating
% 278.75/259.19 eprover: CPU time limit exceeded, terminating
% 280.89/261.21 eprover: CPU time limit exceeded, terminating
% 283.05/263.22 eprover: CPU time limit exceeded, terminating
% 285.17/265.23 eprover: CPU time limit exceeded, terminating
% 287.30/267.24 eprover: CPU time limit exceeded, terminating
% 289.48/269.25 eprover: CPU time limit exceeded, terminating
% 291.61/271.26 eprover: CPU time limit exceeded, terminating
% 293.74/273.27 eprover: CPU time limit exceeded, terminating
% 295.87/275.28 eprover: CPU time limit exceeded, terminating
% 297.96/277.29 eprover: CPU time limit exceeded, terminating
% 300.02/279.20 eprover: CPU time limit exceeded, terminating
% 300.02/279.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------