TSTP Solution File: CSR293+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR293+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:36:15 EDT 2022
% Result : Timeout 285.76s 259.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.11 % Problem : CSR293+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 : Sat Jun 11 14:08:00 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.83/5.85 eprover: CPU time limit exceeded, terminating
% 7.99/7.86 eprover: CPU time limit exceeded, terminating
% 10.19/9.88 eprover: CPU time limit exceeded, terminating
% 12.36/11.89 eprover: CPU time limit exceeded, terminating
% 14.63/13.91 eprover: CPU time limit exceeded, terminating
% 16.85/15.92 eprover: CPU time limit exceeded, terminating
% 19.04/17.93 eprover: CPU time limit exceeded, terminating
% 21.25/19.95 eprover: CPU time limit exceeded, terminating
% 23.43/21.96 eprover: CPU time limit exceeded, terminating
% 25.65/23.97 eprover: CPU time limit exceeded, terminating
% 27.85/25.99 eprover: CPU time limit exceeded, terminating
% 30.13/28.00 eprover: CPU time limit exceeded, terminating
% 32.34/30.03 eprover: CPU time limit exceeded, terminating
% 34.55/32.04 eprover: CPU time limit exceeded, terminating
% 36.74/34.06 eprover: CPU time limit exceeded, terminating
% 38.93/36.07 eprover: CPU time limit exceeded, terminating
% 41.13/38.09 eprover: CPU time limit exceeded, terminating
% 43.40/40.11 eprover: CPU time limit exceeded, terminating
% 45.59/42.13 eprover: CPU time limit exceeded, terminating
% 47.80/44.14 eprover: CPU time limit exceeded, terminating
% 50.00/46.15 eprover: CPU time limit exceeded, terminating
% 52.19/48.17 eprover: CPU time limit exceeded, terminating
% 54.38/50.18 eprover: CPU time limit exceeded, terminating
% 56.65/52.19 eprover: CPU time limit exceeded, terminating
% 58.85/54.21 eprover: CPU time limit exceeded, terminating
% 61.05/56.23 eprover: CPU time limit exceeded, terminating
% 63.26/58.24 eprover: CPU time limit exceeded, terminating
% 65.41/60.26 eprover: CPU time limit exceeded, terminating
% 67.63/62.27 eprover: CPU time limit exceeded, terminating
% 69.90/64.28 eprover: CPU time limit exceeded, terminating
% 72.00/66.29 eprover: CPU time limit exceeded, terminating
% 74.28/68.31 eprover: CPU time limit exceeded, terminating
% 76.48/70.32 eprover: CPU time limit exceeded, terminating
% 78.71/72.33 eprover: CPU time limit exceeded, terminating
% 80.87/74.35 eprover: CPU time limit exceeded, terminating
% 83.09/76.36 eprover: CPU time limit exceeded, terminating
% 85.34/78.38 eprover: CPU time limit exceeded, terminating
% 87.54/80.39 eprover: CPU time limit exceeded, terminating
% 89.75/82.41 eprover: CPU time limit exceeded, terminating
% 91.95/84.42 eprover: CPU time limit exceeded, terminating
% 94.15/86.43 eprover: CPU time limit exceeded, terminating
% 96.31/88.44 eprover: CPU time limit exceeded, terminating
% 98.51/90.46 eprover: CPU time limit exceeded, terminating
% 100.70/92.47 eprover: CPU time limit exceeded, terminating
% 102.90/94.48 eprover: CPU time limit exceeded, terminating
% 105.17/96.49 eprover: CPU time limit exceeded, terminating
% 107.37/98.52 eprover: CPU time limit exceeded, terminating
% 109.57/100.53 eprover: CPU time limit exceeded, terminating
% 111.74/102.57 eprover: CPU time limit exceeded, terminating
% 113.97/104.59 eprover: CPU time limit exceeded, terminating
% 116.16/106.62 eprover: CPU time limit exceeded, terminating
% 118.41/108.63 eprover: CPU time limit exceeded, terminating
% 120.62/110.65 eprover: CPU time limit exceeded, terminating
% 122.83/112.67 eprover: CPU time limit exceeded, terminating
% 125.05/114.68 eprover: CPU time limit exceeded, terminating
% 127.15/116.69 eprover: CPU time limit exceeded, terminating
% 129.39/118.70 eprover: CPU time limit exceeded, terminating
% 131.62/120.72 eprover: CPU time limit exceeded, terminating
% 133.80/122.73 eprover: CPU time limit exceeded, terminating
% 136.05/124.75 eprover: CPU time limit exceeded, terminating
% 138.18/126.77 eprover: CPU time limit exceeded, terminating
% 140.46/128.78 eprover: CPU time limit exceeded, terminating
% 142.65/130.79 eprover: CPU time limit exceeded, terminating
% 144.87/132.80 eprover: CPU time limit exceeded, terminating
% 147.05/134.82 eprover: CPU time limit exceeded, terminating
% 149.26/136.83 eprover: CPU time limit exceeded, terminating
% 151.49/138.84 eprover: CPU time limit exceeded, terminating
% 153.61/140.85 eprover: CPU time limit exceeded, terminating
% 155.87/142.87 eprover: CPU time limit exceeded, terminating
% 158.10/144.88 eprover: CPU time limit exceeded, terminating
% 160.30/146.89 eprover: CPU time limit exceeded, terminating
% 162.46/148.90 eprover: CPU time limit exceeded, terminating
% 164.68/150.92 eprover: CPU time limit exceeded, terminating
% 166.88/152.93 eprover: CPU time limit exceeded, terminating
% 169.10/154.94 eprover: CPU time limit exceeded, terminating
% 171.32/156.95 eprover: CPU time limit exceeded, terminating
% 173.52/158.97 eprover: CPU time limit exceeded, terminating
% 175.72/160.99 eprover: CPU time limit exceeded, terminating
% 177.93/163.00 eprover: CPU time limit exceeded, terminating
% 180.11/165.01 eprover: CPU time limit exceeded, terminating
% 182.36/167.02 eprover: CPU time limit exceeded, terminating
% 184.58/169.04 eprover: CPU time limit exceeded, terminating
% 186.76/171.06 eprover: CPU time limit exceeded, terminating
% 188.96/173.07 eprover: CPU time limit exceeded, terminating
% 191.19/175.08 eprover: CPU time limit exceeded, terminating
% 193.34/177.10 eprover: CPU time limit exceeded, terminating
% 195.57/179.11 eprover: CPU time limit exceeded, terminating
% 197.75/181.13 eprover: CPU time limit exceeded, terminating
% 199.92/183.14 eprover: CPU time limit exceeded, terminating
% 202.18/185.16 eprover: CPU time limit exceeded, terminating
% 204.43/187.18 eprover: CPU time limit exceeded, terminating
% 206.61/189.19 eprover: CPU time limit exceeded, terminating
% 208.79/191.21 eprover: CPU time limit exceeded, terminating
% 212.93/193.22 eprover: CPU time limit exceeded, terminating
% 215.13/195.24 eprover: CPU time limit exceeded, terminating
% 217.40/197.26 eprover: CPU time limit exceeded, terminating
% 219.55/199.29 eprover: CPU time limit exceeded, terminating
% 221.75/201.31 eprover: CPU time limit exceeded, terminating
% 224.00/203.33 eprover: CPU time limit exceeded, terminating
% 226.22/205.34 eprover: CPU time limit exceeded, terminating
% 228.39/207.37 eprover: CPU time limit exceeded, terminating
% 230.59/209.38 eprover: CPU time limit exceeded, terminating
% 232.81/211.40 eprover: CPU time limit exceeded, terminating
% 234.99/213.43 eprover: CPU time limit exceeded, terminating
% 237.23/215.44 eprover: CPU time limit exceeded, terminating
% 239.43/217.46 eprover: CPU time limit exceeded, terminating
% 241.66/219.48 eprover: CPU time limit exceeded, terminating
% 243.85/221.49 eprover: CPU time limit exceeded, terminating
% 246.06/223.50 eprover: CPU time limit exceeded, terminating
% 248.24/225.52 eprover: CPU time limit exceeded, terminating
% 250.44/227.53 eprover: CPU time limit exceeded, terminating
% 252.68/229.56 eprover: CPU time limit exceeded, terminating
% 254.90/231.57 eprover: CPU time limit exceeded, terminating
% 257.06/233.59 eprover: CPU time limit exceeded, terminating
% 259.29/235.60 eprover: CPU time limit exceeded, terminating
% 261.52/237.62 eprover: CPU time limit exceeded, terminating
% 263.71/239.64 eprover: CPU time limit exceeded, terminating
% 265.95/241.65 eprover: CPU time limit exceeded, terminating
% 268.12/243.67 eprover: CPU time limit exceeded, terminating
% 270.33/245.68 eprover: CPU time limit exceeded, terminating
% 272.56/247.70 eprover: CPU time limit exceeded, terminating
% 274.72/249.71 eprover: CPU time limit exceeded, terminating
% 276.97/251.73 eprover: CPU time limit exceeded, terminating
% 279.11/253.74 eprover: CPU time limit exceeded, terminating
% 281.38/255.76 eprover: CPU time limit exceeded, terminating
% 283.54/257.77 eprover: CPU time limit exceeded, terminating
% 285.76/259.79 eprover: CPU time limit exceeded, terminating
% 287.95/261.80 eprover: CPU time limit exceeded, terminating
% 290.18/263.82 eprover: CPU time limit exceeded, terminating
% 292.41/265.83 eprover: CPU time limit exceeded, terminating
% 294.55/267.85 eprover: CPU time limit exceeded, terminating
% 296.78/269.87 eprover: CPU time limit exceeded, terminating
% 298.97/271.88 eprover: CPU time limit exceeded, terminating
% 300.10/272.77 eprover: CPU time limit exceeded, terminating
% 300.10/272.78 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------