TSTP Solution File: CSR280+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR280+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:13 EDT 2022
% Result : Timeout 287.26s 261.73s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : CSR280+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % 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 : Fri Jun 10 14:34:03 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.96/5.97 eprover: CPU time limit exceeded, terminating
% 8.17/7.98 eprover: CPU time limit exceeded, terminating
% 10.35/9.99 eprover: CPU time limit exceeded, terminating
% 12.60/12.01 eprover: CPU time limit exceeded, terminating
% 14.74/14.02 eprover: CPU time limit exceeded, terminating
% 16.96/16.04 eprover: CPU time limit exceeded, terminating
% 19.22/18.05 eprover: CPU time limit exceeded, terminating
% 21.42/20.06 eprover: CPU time limit exceeded, terminating
% 23.63/22.08 eprover: CPU time limit exceeded, terminating
% 25.83/24.09 eprover: CPU time limit exceeded, terminating
% 28.07/26.10 eprover: CPU time limit exceeded, terminating
% 30.34/28.12 eprover: CPU time limit exceeded, terminating
% 32.54/30.13 eprover: CPU time limit exceeded, terminating
% 34.76/32.14 eprover: CPU time limit exceeded, terminating
% 36.89/34.16 eprover: CPU time limit exceeded, terminating
% 39.10/36.17 eprover: CPU time limit exceeded, terminating
% 41.37/38.18 eprover: CPU time limit exceeded, terminating
% 43.60/40.19 eprover: CPU time limit exceeded, terminating
% 45.80/42.21 eprover: CPU time limit exceeded, terminating
% 48.06/44.22 eprover: CPU time limit exceeded, terminating
% 50.26/46.23 eprover: CPU time limit exceeded, terminating
% 52.40/48.25 eprover: CPU time limit exceeded, terminating
% 54.68/50.26 eprover: CPU time limit exceeded, terminating
% 56.88/52.27 eprover: CPU time limit exceeded, terminating
% 59.09/54.29 eprover: CPU time limit exceeded, terminating
% 61.32/56.30 eprover: CPU time limit exceeded, terminating
% 63.55/58.31 eprover: CPU time limit exceeded, terminating
% 65.73/60.33 eprover: CPU time limit exceeded, terminating
% 67.96/62.34 eprover: CPU time limit exceeded, terminating
% 70.16/64.35 eprover: CPU time limit exceeded, terminating
% 72.39/66.37 eprover: CPU time limit exceeded, terminating
% 74.60/68.38 eprover: CPU time limit exceeded, terminating
% 76.82/70.40 eprover: CPU time limit exceeded, terminating
% 79.02/72.41 eprover: CPU time limit exceeded, terminating
% 81.25/74.42 eprover: CPU time limit exceeded, terminating
% 83.47/76.44 eprover: CPU time limit exceeded, terminating
% 85.68/78.45 eprover: CPU time limit exceeded, terminating
% 87.91/80.47 eprover: CPU time limit exceeded, terminating
% 90.12/82.48 eprover: CPU time limit exceeded, terminating
% 92.34/84.50 eprover: CPU time limit exceeded, terminating
% 94.58/86.51 eprover: CPU time limit exceeded, terminating
% 96.74/88.52 eprover: CPU time limit exceeded, terminating
% 98.98/90.54 eprover: CPU time limit exceeded, terminating
% 101.20/92.55 eprover: CPU time limit exceeded, terminating
% 103.42/94.57 eprover: CPU time limit exceeded, terminating
% 105.61/96.58 eprover: CPU time limit exceeded, terminating
% 107.85/98.59 eprover: CPU time limit exceeded, terminating
% 110.03/100.61 eprover: CPU time limit exceeded, terminating
% 112.25/102.62 eprover: CPU time limit exceeded, terminating
% 114.48/104.64 eprover: CPU time limit exceeded, terminating
% 116.67/106.65 eprover: CPU time limit exceeded, terminating
% 118.92/108.67 eprover: CPU time limit exceeded, terminating
% 121.12/110.68 eprover: CPU time limit exceeded, terminating
% 123.34/112.69 eprover: CPU time limit exceeded, terminating
% 125.51/114.70 eprover: CPU time limit exceeded, terminating
% 127.73/116.72 eprover: CPU time limit exceeded, terminating
% 129.90/118.73 eprover: CPU time limit exceeded, terminating
% 132.21/120.74 eprover: CPU time limit exceeded, terminating
% 134.44/122.76 eprover: CPU time limit exceeded, terminating
% 136.66/124.77 eprover: CPU time limit exceeded, terminating
% 138.87/126.79 eprover: CPU time limit exceeded, terminating
% 141.08/128.80 eprover: CPU time limit exceeded, terminating
% 143.34/130.82 eprover: CPU time limit exceeded, terminating
% 145.55/132.83 eprover: CPU time limit exceeded, terminating
% 147.67/134.84 eprover: CPU time limit exceeded, terminating
% 149.95/136.86 eprover: CPU time limit exceeded, terminating
% 152.18/138.87 eprover: CPU time limit exceeded, terminating
% 154.38/140.89 eprover: CPU time limit exceeded, terminating
% 156.58/142.90 eprover: CPU time limit exceeded, terminating
% 158.77/144.92 eprover: CPU time limit exceeded, terminating
% 161.01/146.93 eprover: CPU time limit exceeded, terminating
% 163.26/148.94 eprover: CPU time limit exceeded, terminating
% 165.44/150.96 eprover: CPU time limit exceeded, terminating
% 167.68/152.97 eprover: CPU time limit exceeded, terminating
% 169.87/154.99 eprover: CPU time limit exceeded, terminating
% 172.12/157.00 eprover: CPU time limit exceeded, terminating
% 174.31/159.01 eprover: CPU time limit exceeded, terminating
% 176.53/161.03 eprover: CPU time limit exceeded, terminating
% 178.75/163.04 eprover: CPU time limit exceeded, terminating
% 180.94/165.06 eprover: CPU time limit exceeded, terminating
% 183.20/167.07 eprover: CPU time limit exceeded, terminating
% 185.38/169.08 eprover: CPU time limit exceeded, terminating
% 187.61/171.10 eprover: CPU time limit exceeded, terminating
% 189.83/173.11 eprover: CPU time limit exceeded, terminating
% 192.04/175.12 eprover: CPU time limit exceeded, terminating
% 194.24/177.14 eprover: CPU time limit exceeded, terminating
% 196.45/179.15 eprover: CPU time limit exceeded, terminating
% 198.68/181.17 eprover: CPU time limit exceeded, terminating
% 200.90/183.18 eprover: CPU time limit exceeded, terminating
% 203.11/185.20 eprover: CPU time limit exceeded, terminating
% 205.30/187.21 eprover: CPU time limit exceeded, terminating
% 207.49/189.22 eprover: CPU time limit exceeded, terminating
% 209.76/191.24 eprover: CPU time limit exceeded, terminating
% 211.98/193.25 eprover: CPU time limit exceeded, terminating
% 214.16/195.27 eprover: CPU time limit exceeded, terminating
% 216.39/197.28 eprover: CPU time limit exceeded, terminating
% 218.61/199.29 eprover: CPU time limit exceeded, terminating
% 220.80/201.31 eprover: CPU time limit exceeded, terminating
% 223.06/203.32 eprover: CPU time limit exceeded, terminating
% 225.30/205.34 eprover: CPU time limit exceeded, terminating
% 227.52/207.35 eprover: CPU time limit exceeded, terminating
% 229.73/209.36 eprover: CPU time limit exceeded, terminating
% 231.91/211.38 eprover: CPU time limit exceeded, terminating
% 234.13/213.39 eprover: CPU time limit exceeded, terminating
% 236.37/215.41 eprover: CPU time limit exceeded, terminating
% 238.56/217.42 eprover: CPU time limit exceeded, terminating
% 240.77/219.43 eprover: CPU time limit exceeded, terminating
% 242.95/221.45 eprover: CPU time limit exceeded, terminating
% 245.23/223.46 eprover: CPU time limit exceeded, terminating
% 247.42/225.48 eprover: CPU time limit exceeded, terminating
% 249.63/227.49 eprover: CPU time limit exceeded, terminating
% 251.82/229.50 eprover: CPU time limit exceeded, terminating
% 254.03/231.52 eprover: CPU time limit exceeded, terminating
% 256.28/233.53 eprover: CPU time limit exceeded, terminating
% 258.54/235.54 eprover: CPU time limit exceeded, terminating
% 260.73/237.56 eprover: CPU time limit exceeded, terminating
% 262.93/239.57 eprover: CPU time limit exceeded, terminating
% 265.16/241.58 eprover: CPU time limit exceeded, terminating
% 267.33/243.60 eprover: CPU time limit exceeded, terminating
% 269.55/245.61 eprover: CPU time limit exceeded, terminating
% 271.77/247.63 eprover: CPU time limit exceeded, terminating
% 273.97/249.64 eprover: CPU time limit exceeded, terminating
% 276.20/251.65 eprover: CPU time limit exceeded, terminating
% 278.45/253.67 eprover: CPU time limit exceeded, terminating
% 280.62/255.68 eprover: CPU time limit exceeded, terminating
% 282.83/257.70 eprover: CPU time limit exceeded, terminating
% 284.99/259.71 eprover: CPU time limit exceeded, terminating
% 287.26/261.73 eprover: CPU time limit exceeded, terminating
% 289.52/263.74 eprover: CPU time limit exceeded, terminating
% 291.67/265.75 eprover: CPU time limit exceeded, terminating
% 293.93/267.76 eprover: CPU time limit exceeded, terminating
% 296.15/269.78 eprover: CPU time limit exceeded, terminating
% 298.32/271.79 eprover: CPU time limit exceeded, terminating
% 300.02/273.24 eprover: CPU time limit exceeded, terminating
% 300.02/273.26 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------