TSTP Solution File: CSR251+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR251+1 : TPTP v8.1.0. Released v7.3.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:36:10 EDT 2022
% Result : Timeout 287.15s 259.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : CSR251+1 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.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 : Sat Jun 11 10:37:05 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.85/5.85 eprover: CPU time limit exceeded, terminating
% 8.07/7.86 eprover: CPU time limit exceeded, terminating
% 10.28/9.87 eprover: CPU time limit exceeded, terminating
% 12.52/11.89 eprover: CPU time limit exceeded, terminating
% 14.70/13.90 eprover: CPU time limit exceeded, terminating
% 16.95/15.91 eprover: CPU time limit exceeded, terminating
% 19.13/17.93 eprover: CPU time limit exceeded, terminating
% 21.36/19.94 eprover: CPU time limit exceeded, terminating
% 23.55/21.95 eprover: CPU time limit exceeded, terminating
% 25.78/23.97 eprover: CPU time limit exceeded, terminating
% 28.09/25.98 eprover: CPU time limit exceeded, terminating
% 30.28/27.99 eprover: CPU time limit exceeded, terminating
% 32.52/30.01 eprover: CPU time limit exceeded, terminating
% 34.70/32.02 eprover: CPU time limit exceeded, terminating
% 36.93/34.03 eprover: CPU time limit exceeded, terminating
% 39.12/36.05 eprover: CPU time limit exceeded, terminating
% 41.39/38.06 eprover: CPU time limit exceeded, terminating
% 43.57/40.07 eprover: CPU time limit exceeded, terminating
% 45.84/42.09 eprover: CPU time limit exceeded, terminating
% 48.04/44.10 eprover: CPU time limit exceeded, terminating
% 50.25/46.11 eprover: CPU time limit exceeded, terminating
% 52.49/48.12 eprover: CPU time limit exceeded, terminating
% 54.75/50.14 eprover: CPU time limit exceeded, terminating
% 56.96/52.15 eprover: CPU time limit exceeded, terminating
% 59.16/54.16 eprover: CPU time limit exceeded, terminating
% 61.40/56.18 eprover: CPU time limit exceeded, terminating
% 63.57/58.19 eprover: CPU time limit exceeded, terminating
% 65.82/60.20 eprover: CPU time limit exceeded, terminating
% 67.99/62.22 eprover: CPU time limit exceeded, terminating
% 70.26/64.23 eprover: CPU time limit exceeded, terminating
% 72.46/66.24 eprover: CPU time limit exceeded, terminating
% 74.64/68.26 eprover: CPU time limit exceeded, terminating
% 76.91/70.27 eprover: CPU time limit exceeded, terminating
% 79.19/72.28 eprover: CPU time limit exceeded, terminating
% 81.40/74.30 eprover: CPU time limit exceeded, terminating
% 83.56/76.31 eprover: CPU time limit exceeded, terminating
% 85.81/78.32 eprover: CPU time limit exceeded, terminating
% 88.04/80.33 eprover: CPU time limit exceeded, terminating
% 90.25/82.35 eprover: CPU time limit exceeded, terminating
% 92.43/84.36 eprover: CPU time limit exceeded, terminating
% 94.66/86.37 eprover: CPU time limit exceeded, terminating
% 96.87/88.39 eprover: CPU time limit exceeded, terminating
% 99.13/90.40 eprover: CPU time limit exceeded, terminating
% 101.36/92.41 eprover: CPU time limit exceeded, terminating
% 103.58/94.43 eprover: CPU time limit exceeded, terminating
% 105.79/96.44 eprover: CPU time limit exceeded, terminating
% 107.99/98.45 eprover: CPU time limit exceeded, terminating
% 110.16/100.47 eprover: CPU time limit exceeded, terminating
% 112.38/102.48 eprover: CPU time limit exceeded, terminating
% 114.66/104.49 eprover: CPU time limit exceeded, terminating
% 116.89/106.50 eprover: CPU time limit exceeded, terminating
% 119.10/108.52 eprover: CPU time limit exceeded, terminating
% 121.32/110.53 eprover: CPU time limit exceeded, terminating
% 123.55/112.54 eprover: CPU time limit exceeded, terminating
% 125.74/114.56 eprover: CPU time limit exceeded, terminating
% 127.94/116.57 eprover: CPU time limit exceeded, terminating
% 130.17/118.58 eprover: CPU time limit exceeded, terminating
% 132.47/120.60 eprover: CPU time limit exceeded, terminating
% 134.61/122.61 eprover: CPU time limit exceeded, terminating
% 136.88/124.62 eprover: CPU time limit exceeded, terminating
% 139.08/126.64 eprover: CPU time limit exceeded, terminating
% 141.31/128.65 eprover: CPU time limit exceeded, terminating
% 143.52/130.66 eprover: CPU time limit exceeded, terminating
% 145.70/132.68 eprover: CPU time limit exceeded, terminating
% 147.98/134.69 eprover: CPU time limit exceeded, terminating
% 150.13/136.70 eprover: CPU time limit exceeded, terminating
% 152.43/138.72 eprover: CPU time limit exceeded, terminating
% 154.64/140.73 eprover: CPU time limit exceeded, terminating
% 156.83/142.74 eprover: CPU time limit exceeded, terminating
% 159.03/144.75 eprover: CPU time limit exceeded, terminating
% 161.26/146.77 eprover: CPU time limit exceeded, terminating
% 163.49/148.78 eprover: CPU time limit exceeded, terminating
% 165.68/150.79 eprover: CPU time limit exceeded, terminating
% 167.90/152.81 eprover: CPU time limit exceeded, terminating
% 172.10/154.82 eprover: CPU time limit exceeded, terminating
% 174.32/156.83 eprover: CPU time limit exceeded, terminating
% 176.53/158.85 eprover: CPU time limit exceeded, terminating
% 178.71/160.86 eprover: CPU time limit exceeded, terminating
% 180.93/162.87 eprover: CPU time limit exceeded, terminating
% 183.16/164.89 eprover: CPU time limit exceeded, terminating
% 185.42/166.90 eprover: CPU time limit exceeded, terminating
% 187.66/168.91 eprover: CPU time limit exceeded, terminating
% 189.85/170.92 eprover: CPU time limit exceeded, terminating
% 192.06/172.94 eprover: CPU time limit exceeded, terminating
% 194.24/174.95 eprover: CPU time limit exceeded, terminating
% 196.47/176.96 eprover: CPU time limit exceeded, terminating
% 198.72/178.98 eprover: CPU time limit exceeded, terminating
% 200.99/180.99 eprover: CPU time limit exceeded, terminating
% 203.14/183.00 eprover: CPU time limit exceeded, terminating
% 205.39/185.01 eprover: CPU time limit exceeded, terminating
% 207.61/187.02 eprover: CPU time limit exceeded, terminating
% 209.77/189.03 eprover: CPU time limit exceeded, terminating
% 211.98/191.05 eprover: CPU time limit exceeded, terminating
% 214.19/193.06 eprover: CPU time limit exceeded, terminating
% 216.35/195.07 eprover: CPU time limit exceeded, terminating
% 218.61/197.08 eprover: CPU time limit exceeded, terminating
% 220.82/199.09 eprover: CPU time limit exceeded, terminating
% 223.04/201.11 eprover: CPU time limit exceeded, terminating
% 225.25/203.12 eprover: CPU time limit exceeded, terminating
% 227.48/205.13 eprover: CPU time limit exceeded, terminating
% 229.69/207.14 eprover: CPU time limit exceeded, terminating
% 231.86/209.16 eprover: CPU time limit exceeded, terminating
% 234.11/211.17 eprover: CPU time limit exceeded, terminating
% 236.25/213.18 eprover: CPU time limit exceeded, terminating
% 238.47/215.19 eprover: CPU time limit exceeded, terminating
% 240.75/217.21 eprover: CPU time limit exceeded, terminating
% 242.97/219.22 eprover: CPU time limit exceeded, terminating
% 245.16/221.23 eprover: CPU time limit exceeded, terminating
% 247.36/223.24 eprover: CPU time limit exceeded, terminating
% 249.51/225.26 eprover: CPU time limit exceeded, terminating
% 251.73/227.27 eprover: CPU time limit exceeded, terminating
% 253.96/229.28 eprover: CPU time limit exceeded, terminating
% 256.21/231.30 eprover: CPU time limit exceeded, terminating
% 258.43/233.31 eprover: CPU time limit exceeded, terminating
% 260.54/235.32 eprover: CPU time limit exceeded, terminating
% 262.83/237.33 eprover: CPU time limit exceeded, terminating
% 265.03/239.34 eprover: CPU time limit exceeded, terminating
% 267.21/241.36 eprover: CPU time limit exceeded, terminating
% 269.39/243.37 eprover: CPU time limit exceeded, terminating
% 271.67/245.38 eprover: CPU time limit exceeded, terminating
% 273.81/247.39 eprover: CPU time limit exceeded, terminating
% 276.07/249.41 eprover: CPU time limit exceeded, terminating
% 278.27/251.42 eprover: CPU time limit exceeded, terminating
% 280.48/253.43 eprover: CPU time limit exceeded, terminating
% 282.72/255.44 eprover: CPU time limit exceeded, terminating
% 284.92/257.46 eprover: CPU time limit exceeded, terminating
% 287.15/259.47 eprover: CPU time limit exceeded, terminating
% 289.30/261.48 eprover: CPU time limit exceeded, terminating
% 291.51/263.49 eprover: CPU time limit exceeded, terminating
% 293.77/265.51 eprover: CPU time limit exceeded, terminating
% 295.99/267.52 eprover: CPU time limit exceeded, terminating
% 298.13/269.53 eprover: CPU time limit exceeded, terminating
% 300.01/271.13 eprover: CPU time limit exceeded, terminating
% 300.01/271.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------