TSTP Solution File: CSR306+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR306+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:16 EDT 2022
% Result : Timeout 287.24s 261.71s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR306+1 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n017.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 04:44:06 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.99/6.00 eprover: CPU time limit exceeded, terminating
% 8.15/8.01 eprover: CPU time limit exceeded, terminating
% 10.43/10.02 eprover: CPU time limit exceeded, terminating
% 12.62/12.04 eprover: CPU time limit exceeded, terminating
% 14.82/14.05 eprover: CPU time limit exceeded, terminating
% 17.05/16.06 eprover: CPU time limit exceeded, terminating
% 19.24/18.07 eprover: CPU time limit exceeded, terminating
% 21.43/20.09 eprover: CPU time limit exceeded, terminating
% 23.60/22.10 eprover: CPU time limit exceeded, terminating
% 25.87/24.11 eprover: CPU time limit exceeded, terminating
% 28.04/26.12 eprover: CPU time limit exceeded, terminating
% 30.29/28.13 eprover: CPU time limit exceeded, terminating
% 32.45/30.15 eprover: CPU time limit exceeded, terminating
% 34.72/32.16 eprover: CPU time limit exceeded, terminating
% 36.94/34.17 eprover: CPU time limit exceeded, terminating
% 39.10/36.18 eprover: CPU time limit exceeded, terminating
% 41.30/38.20 eprover: CPU time limit exceeded, terminating
% 43.54/40.21 eprover: CPU time limit exceeded, terminating
% 45.79/42.22 eprover: CPU time limit exceeded, terminating
% 47.96/44.23 eprover: CPU time limit exceeded, terminating
% 50.20/46.24 eprover: CPU time limit exceeded, terminating
% 52.38/48.25 eprover: CPU time limit exceeded, terminating
% 54.63/50.27 eprover: CPU time limit exceeded, terminating
% 56.79/52.28 eprover: CPU time limit exceeded, terminating
% 59.03/54.29 eprover: CPU time limit exceeded, terminating
% 61.29/56.30 eprover: CPU time limit exceeded, terminating
% 63.47/58.31 eprover: CPU time limit exceeded, terminating
% 65.68/60.33 eprover: CPU time limit exceeded, terminating
% 67.87/62.34 eprover: CPU time limit exceeded, terminating
% 70.11/64.35 eprover: CPU time limit exceeded, terminating
% 72.29/66.36 eprover: CPU time limit exceeded, terminating
% 74.55/68.38 eprover: CPU time limit exceeded, terminating
% 76.78/70.39 eprover: CPU time limit exceeded, terminating
% 79.01/72.41 eprover: CPU time limit exceeded, terminating
% 81.19/74.42 eprover: CPU time limit exceeded, terminating
% 83.36/76.44 eprover: CPU time limit exceeded, terminating
% 85.65/78.45 eprover: CPU time limit exceeded, terminating
% 87.86/80.46 eprover: CPU time limit exceeded, terminating
% 90.06/82.48 eprover: CPU time limit exceeded, terminating
% 92.28/84.49 eprover: CPU time limit exceeded, terminating
% 94.51/86.50 eprover: CPU time limit exceeded, terminating
% 96.68/88.52 eprover: CPU time limit exceeded, terminating
% 98.91/90.53 eprover: CPU time limit exceeded, terminating
% 101.10/92.54 eprover: CPU time limit exceeded, terminating
% 103.26/94.55 eprover: CPU time limit exceeded, terminating
% 105.53/96.57 eprover: CPU time limit exceeded, terminating
% 107.74/98.58 eprover: CPU time limit exceeded, terminating
% 109.97/100.59 eprover: CPU time limit exceeded, terminating
% 112.18/102.61 eprover: CPU time limit exceeded, terminating
% 114.41/104.62 eprover: CPU time limit exceeded, terminating
% 116.61/106.64 eprover: CPU time limit exceeded, terminating
% 118.83/108.65 eprover: CPU time limit exceeded, terminating
% 121.05/110.67 eprover: CPU time limit exceeded, terminating
% 123.28/112.68 eprover: CPU time limit exceeded, terminating
% 125.51/114.69 eprover: CPU time limit exceeded, terminating
% 127.66/116.71 eprover: CPU time limit exceeded, terminating
% 129.90/118.72 eprover: CPU time limit exceeded, terminating
% 132.07/120.73 eprover: CPU time limit exceeded, terminating
% 134.34/122.74 eprover: CPU time limit exceeded, terminating
% 136.56/124.76 eprover: CPU time limit exceeded, terminating
% 138.73/126.77 eprover: CPU time limit exceeded, terminating
% 140.95/128.78 eprover: CPU time limit exceeded, terminating
% 143.13/130.79 eprover: CPU time limit exceeded, terminating
% 145.37/132.81 eprover: CPU time limit exceeded, terminating
% 147.59/134.82 eprover: CPU time limit exceeded, terminating
% 149.85/136.84 eprover: CPU time limit exceeded, terminating
% 151.98/138.85 eprover: CPU time limit exceeded, terminating
% 154.27/140.87 eprover: CPU time limit exceeded, terminating
% 156.49/142.88 eprover: CPU time limit exceeded, terminating
% 158.67/144.89 eprover: CPU time limit exceeded, terminating
% 160.89/146.91 eprover: CPU time limit exceeded, terminating
% 163.10/148.92 eprover: CPU time limit exceeded, terminating
% 165.32/150.93 eprover: CPU time limit exceeded, terminating
% 167.47/152.95 eprover: CPU time limit exceeded, terminating
% 169.75/154.96 eprover: CPU time limit exceeded, terminating
% 171.95/156.97 eprover: CPU time limit exceeded, terminating
% 174.14/158.99 eprover: CPU time limit exceeded, terminating
% 176.39/161.00 eprover: CPU time limit exceeded, terminating
% 178.62/163.02 eprover: CPU time limit exceeded, terminating
% 180.80/165.03 eprover: CPU time limit exceeded, terminating
% 183.05/167.04 eprover: CPU time limit exceeded, terminating
% 185.29/169.06 eprover: CPU time limit exceeded, terminating
% 187.49/171.07 eprover: CPU time limit exceeded, terminating
% 189.67/173.09 eprover: CPU time limit exceeded, terminating
% 191.90/175.10 eprover: CPU time limit exceeded, terminating
% 194.11/177.11 eprover: CPU time limit exceeded, terminating
% 196.28/179.13 eprover: CPU time limit exceeded, terminating
% 198.57/181.14 eprover: CPU time limit exceeded, terminating
% 200.76/183.16 eprover: CPU time limit exceeded, terminating
% 203.01/185.17 eprover: CPU time limit exceeded, terminating
% 205.22/187.19 eprover: CPU time limit exceeded, terminating
% 207.41/189.20 eprover: CPU time limit exceeded, terminating
% 209.67/191.22 eprover: CPU time limit exceeded, terminating
% 211.81/193.23 eprover: CPU time limit exceeded, terminating
% 214.09/195.25 eprover: CPU time limit exceeded, terminating
% 216.29/197.26 eprover: CPU time limit exceeded, terminating
% 218.51/199.28 eprover: CPU time limit exceeded, terminating
% 220.72/201.29 eprover: CPU time limit exceeded, terminating
% 222.93/203.30 eprover: CPU time limit exceeded, terminating
% 225.10/205.32 eprover: CPU time limit exceeded, terminating
% 227.40/207.33 eprover: CPU time limit exceeded, terminating
% 229.59/209.35 eprover: CPU time limit exceeded, terminating
% 231.82/211.36 eprover: CPU time limit exceeded, terminating
% 233.99/213.37 eprover: CPU time limit exceeded, terminating
% 236.23/215.39 eprover: CPU time limit exceeded, terminating
% 238.45/217.40 eprover: CPU time limit exceeded, terminating
% 240.63/219.42 eprover: CPU time limit exceeded, terminating
% 242.92/221.43 eprover: CPU time limit exceeded, terminating
% 245.12/223.44 eprover: CPU time limit exceeded, terminating
% 247.32/225.46 eprover: CPU time limit exceeded, terminating
% 249.52/227.47 eprover: CPU time limit exceeded, terminating
% 251.78/229.49 eprover: CPU time limit exceeded, terminating
% 254.01/231.50 eprover: CPU time limit exceeded, terminating
% 256.19/233.51 eprover: CPU time limit exceeded, terminating
% 258.34/235.53 eprover: CPU time limit exceeded, terminating
% 260.66/237.54 eprover: CPU time limit exceeded, terminating
% 262.85/239.56 eprover: CPU time limit exceeded, terminating
% 265.03/241.57 eprover: CPU time limit exceeded, terminating
% 267.28/243.58 eprover: CPU time limit exceeded, terminating
% 269.50/245.60 eprover: CPU time limit exceeded, terminating
% 271.72/247.61 eprover: CPU time limit exceeded, terminating
% 273.89/249.62 eprover: CPU time limit exceeded, terminating
% 276.16/251.64 eprover: CPU time limit exceeded, terminating
% 278.32/253.65 eprover: CPU time limit exceeded, terminating
% 280.56/255.67 eprover: CPU time limit exceeded, terminating
% 282.82/257.68 eprover: CPU time limit exceeded, terminating
% 284.99/259.69 eprover: CPU time limit exceeded, terminating
% 287.24/261.71 eprover: CPU time limit exceeded, terminating
% 289.40/263.72 eprover: CPU time limit exceeded, terminating
% 291.62/265.74 eprover: CPU time limit exceeded, terminating
% 293.87/267.75 eprover: CPU time limit exceeded, terminating
% 296.04/269.76 eprover: CPU time limit exceeded, terminating
% 298.24/271.78 eprover: CPU time limit exceeded, terminating
% 300.04/273.29 eprover: CPU time limit exceeded, terminating
% 300.04/273.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------