TSTP Solution File: CSR262+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR262+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:11 EDT 2022
% Result : Timeout 286.82s 261.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : CSR262+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.11/0.33 % Computer : n014.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Sat Jun 11 12:43:53 EDT 2022
% 0.11/0.33 % CPUTime :
% 5.92/5.90 eprover: CPU time limit exceeded, terminating
% 8.10/7.91 eprover: CPU time limit exceeded, terminating
% 10.33/9.92 eprover: CPU time limit exceeded, terminating
% 12.54/11.93 eprover: CPU time limit exceeded, terminating
% 14.70/13.94 eprover: CPU time limit exceeded, terminating
% 16.93/15.96 eprover: CPU time limit exceeded, terminating
% 19.10/17.97 eprover: CPU time limit exceeded, terminating
% 21.33/19.98 eprover: CPU time limit exceeded, terminating
% 23.51/21.99 eprover: CPU time limit exceeded, terminating
% 25.73/24.00 eprover: CPU time limit exceeded, terminating
% 28.05/26.01 eprover: CPU time limit exceeded, terminating
% 30.27/28.03 eprover: CPU time limit exceeded, terminating
% 32.44/30.04 eprover: CPU time limit exceeded, terminating
% 34.63/32.05 eprover: CPU time limit exceeded, terminating
% 36.85/34.06 eprover: CPU time limit exceeded, terminating
% 39.08/36.07 eprover: CPU time limit exceeded, terminating
% 41.27/38.08 eprover: CPU time limit exceeded, terminating
% 43.48/40.10 eprover: CPU time limit exceeded, terminating
% 45.77/42.11 eprover: CPU time limit exceeded, terminating
% 47.97/44.12 eprover: CPU time limit exceeded, terminating
% 50.18/46.13 eprover: CPU time limit exceeded, terminating
% 52.39/48.14 eprover: CPU time limit exceeded, terminating
% 54.60/50.16 eprover: CPU time limit exceeded, terminating
% 56.80/52.17 eprover: CPU time limit exceeded, terminating
% 59.06/54.18 eprover: CPU time limit exceeded, terminating
% 61.18/56.19 eprover: CPU time limit exceeded, terminating
% 63.40/58.21 eprover: CPU time limit exceeded, terminating
% 65.69/60.22 eprover: CPU time limit exceeded, terminating
% 67.87/62.23 eprover: CPU time limit exceeded, terminating
% 70.08/64.24 eprover: CPU time limit exceeded, terminating
% 72.29/66.25 eprover: CPU time limit exceeded, terminating
% 74.48/68.27 eprover: CPU time limit exceeded, terminating
% 76.67/70.28 eprover: CPU time limit exceeded, terminating
% 78.89/72.29 eprover: CPU time limit exceeded, terminating
% 81.16/74.30 eprover: CPU time limit exceeded, terminating
% 83.36/76.31 eprover: CPU time limit exceeded, terminating
% 85.57/78.33 eprover: CPU time limit exceeded, terminating
% 87.79/80.34 eprover: CPU time limit exceeded, terminating
% 89.97/82.35 eprover: CPU time limit exceeded, terminating
% 92.17/84.36 eprover: CPU time limit exceeded, terminating
% 94.37/86.37 eprover: CPU time limit exceeded, terminating
% 96.54/88.39 eprover: CPU time limit exceeded, terminating
% 98.86/90.40 eprover: CPU time limit exceeded, terminating
% 101.06/92.41 eprover: CPU time limit exceeded, terminating
% 103.29/94.42 eprover: CPU time limit exceeded, terminating
% 105.44/96.43 eprover: CPU time limit exceeded, terminating
% 107.69/98.45 eprover: CPU time limit exceeded, terminating
% 109.87/100.46 eprover: CPU time limit exceeded, terminating
% 112.04/102.47 eprover: CPU time limit exceeded, terminating
% 114.34/104.48 eprover: CPU time limit exceeded, terminating
% 116.47/106.49 eprover: CPU time limit exceeded, terminating
% 118.68/108.51 eprover: CPU time limit exceeded, terminating
% 120.96/110.52 eprover: CPU time limit exceeded, terminating
% 123.14/112.53 eprover: CPU time limit exceeded, terminating
% 125.35/114.54 eprover: CPU time limit exceeded, terminating
% 127.58/116.55 eprover: CPU time limit exceeded, terminating
% 129.74/118.57 eprover: CPU time limit exceeded, terminating
% 131.96/120.58 eprover: CPU time limit exceeded, terminating
% 134.17/122.59 eprover: CPU time limit exceeded, terminating
% 136.44/124.60 eprover: CPU time limit exceeded, terminating
% 138.65/126.62 eprover: CPU time limit exceeded, terminating
% 140.86/128.63 eprover: CPU time limit exceeded, terminating
% 143.06/130.64 eprover: CPU time limit exceeded, terminating
% 145.24/132.65 eprover: CPU time limit exceeded, terminating
% 147.45/134.66 eprover: CPU time limit exceeded, terminating
% 149.66/136.68 eprover: CPU time limit exceeded, terminating
% 151.92/138.69 eprover: CPU time limit exceeded, terminating
% 154.05/140.70 eprover: CPU time limit exceeded, terminating
% 156.26/142.71 eprover: CPU time limit exceeded, terminating
% 158.56/144.72 eprover: CPU time limit exceeded, terminating
% 160.74/146.74 eprover: CPU time limit exceeded, terminating
% 162.95/148.75 eprover: CPU time limit exceeded, terminating
% 165.16/150.76 eprover: CPU time limit exceeded, terminating
% 167.33/152.77 eprover: CPU time limit exceeded, terminating
% 169.54/154.78 eprover: CPU time limit exceeded, terminating
% 171.75/156.80 eprover: CPU time limit exceeded, terminating
% 174.03/158.81 eprover: CPU time limit exceeded, terminating
% 176.20/160.82 eprover: CPU time limit exceeded, terminating
% 178.43/162.83 eprover: CPU time limit exceeded, terminating
% 180.61/164.84 eprover: CPU time limit exceeded, terminating
% 182.82/166.86 eprover: CPU time limit exceeded, terminating
% 185.04/168.87 eprover: CPU time limit exceeded, terminating
% 187.21/170.88 eprover: CPU time limit exceeded, terminating
% 189.42/172.89 eprover: CPU time limit exceeded, terminating
% 191.69/174.90 eprover: CPU time limit exceeded, terminating
% 193.89/176.92 eprover: CPU time limit exceeded, terminating
% 196.10/178.93 eprover: CPU time limit exceeded, terminating
% 198.30/180.94 eprover: CPU time limit exceeded, terminating
% 200.53/182.95 eprover: CPU time limit exceeded, terminating
% 202.73/184.97 eprover: CPU time limit exceeded, terminating
% 204.92/186.98 eprover: CPU time limit exceeded, terminating
% 207.13/188.99 eprover: CPU time limit exceeded, terminating
% 209.32/191.00 eprover: CPU time limit exceeded, terminating
% 211.62/193.01 eprover: CPU time limit exceeded, terminating
% 213.81/195.03 eprover: CPU time limit exceeded, terminating
% 215.99/197.04 eprover: CPU time limit exceeded, terminating
% 218.22/199.05 eprover: CPU time limit exceeded, terminating
% 220.40/201.06 eprover: CPU time limit exceeded, terminating
% 222.61/203.07 eprover: CPU time limit exceeded, terminating
% 224.89/205.09 eprover: CPU time limit exceeded, terminating
% 227.08/207.10 eprover: CPU time limit exceeded, terminating
% 229.30/209.11 eprover: CPU time limit exceeded, terminating
% 231.49/211.12 eprover: CPU time limit exceeded, terminating
% 233.69/213.13 eprover: CPU time limit exceeded, terminating
% 235.90/215.15 eprover: CPU time limit exceeded, terminating
% 238.09/217.16 eprover: CPU time limit exceeded, terminating
% 240.30/219.17 eprover: CPU time limit exceeded, terminating
% 242.49/221.18 eprover: CPU time limit exceeded, terminating
% 244.70/223.19 eprover: CPU time limit exceeded, terminating
% 246.99/225.21 eprover: CPU time limit exceeded, terminating
% 249.21/227.22 eprover: CPU time limit exceeded, terminating
% 251.39/229.23 eprover: CPU time limit exceeded, terminating
% 253.60/231.24 eprover: CPU time limit exceeded, terminating
% 255.81/233.26 eprover: CPU time limit exceeded, terminating
% 257.99/235.27 eprover: CPU time limit exceeded, terminating
% 260.19/237.28 eprover: CPU time limit exceeded, terminating
% 262.48/239.29 eprover: CPU time limit exceeded, terminating
% 264.70/241.30 eprover: CPU time limit exceeded, terminating
% 266.90/243.32 eprover: CPU time limit exceeded, terminating
% 269.10/245.33 eprover: CPU time limit exceeded, terminating
% 271.28/247.34 eprover: CPU time limit exceeded, terminating
% 273.49/249.35 eprover: CPU time limit exceeded, terminating
% 275.69/251.37 eprover: CPU time limit exceeded, terminating
% 277.90/253.38 eprover: CPU time limit exceeded, terminating
% 280.09/255.39 eprover: CPU time limit exceeded, terminating
% 282.37/257.40 eprover: CPU time limit exceeded, terminating
% 284.60/259.41 eprover: CPU time limit exceeded, terminating
% 286.82/261.43 eprover: CPU time limit exceeded, terminating
% 289.00/263.44 eprover: CPU time limit exceeded, terminating
% 291.21/265.45 eprover: CPU time limit exceeded, terminating
% 293.39/267.46 eprover: CPU time limit exceeded, terminating
% 295.58/269.47 eprover: CPU time limit exceeded, terminating
% 297.81/271.49 eprover: CPU time limit exceeded, terminating
% 300.02/273.43 eprover: CPU time limit exceeded, terminating
% 300.02/273.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------