TSTP Solution File: CSR190+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR190+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:02 EDT 2022
% Result : Timeout 286.90s 261.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR190+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.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 : Fri Jun 10 08:09:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.84/5.82 eprover: CPU time limit exceeded, terminating
% 8.04/7.83 eprover: CPU time limit exceeded, terminating
% 10.21/9.84 eprover: CPU time limit exceeded, terminating
% 12.42/11.86 eprover: CPU time limit exceeded, terminating
% 14.62/13.87 eprover: CPU time limit exceeded, terminating
% 16.80/15.88 eprover: CPU time limit exceeded, terminating
% 19.04/17.89 eprover: CPU time limit exceeded, terminating
% 21.29/19.91 eprover: CPU time limit exceeded, terminating
% 23.49/21.92 eprover: CPU time limit exceeded, terminating
% 25.71/23.93 eprover: CPU time limit exceeded, terminating
% 27.92/25.94 eprover: CPU time limit exceeded, terminating
% 30.10/27.95 eprover: CPU time limit exceeded, terminating
% 32.34/29.97 eprover: CPU time limit exceeded, terminating
% 34.60/31.98 eprover: CPU time limit exceeded, terminating
% 36.72/33.99 eprover: CPU time limit exceeded, terminating
% 39.01/36.00 eprover: CPU time limit exceeded, terminating
% 41.21/38.02 eprover: CPU time limit exceeded, terminating
% 43.44/40.03 eprover: CPU time limit exceeded, terminating
% 45.61/42.04 eprover: CPU time limit exceeded, terminating
% 47.83/44.05 eprover: CPU time limit exceeded, terminating
% 50.01/46.07 eprover: CPU time limit exceeded, terminating
% 52.24/48.08 eprover: CPU time limit exceeded, terminating
% 54.44/50.09 eprover: CPU time limit exceeded, terminating
% 56.73/52.11 eprover: CPU time limit exceeded, terminating
% 58.91/54.12 eprover: CPU time limit exceeded, terminating
% 61.11/56.13 eprover: CPU time limit exceeded, terminating
% 63.33/58.14 eprover: CPU time limit exceeded, terminating
% 65.50/60.16 eprover: CPU time limit exceeded, terminating
% 67.73/62.17 eprover: CPU time limit exceeded, terminating
% 69.91/64.18 eprover: CPU time limit exceeded, terminating
% 72.19/66.20 eprover: CPU time limit exceeded, terminating
% 74.38/68.21 eprover: CPU time limit exceeded, terminating
% 76.59/70.22 eprover: CPU time limit exceeded, terminating
% 78.80/72.23 eprover: CPU time limit exceeded, terminating
% 80.97/74.25 eprover: CPU time limit exceeded, terminating
% 83.20/76.26 eprover: CPU time limit exceeded, terminating
% 85.36/78.28 eprover: CPU time limit exceeded, terminating
% 87.56/80.29 eprover: CPU time limit exceeded, terminating
% 89.85/82.30 eprover: CPU time limit exceeded, terminating
% 92.05/84.31 eprover: CPU time limit exceeded, terminating
% 94.26/86.32 eprover: CPU time limit exceeded, terminating
% 96.45/88.33 eprover: CPU time limit exceeded, terminating
% 98.64/90.34 eprover: CPU time limit exceeded, terminating
% 100.83/92.35 eprover: CPU time limit exceeded, terminating
% 103.06/94.37 eprover: CPU time limit exceeded, terminating
% 105.22/96.38 eprover: CPU time limit exceeded, terminating
% 107.54/98.39 eprover: CPU time limit exceeded, terminating
% 109.65/100.41 eprover: CPU time limit exceeded, terminating
% 111.93/102.42 eprover: CPU time limit exceeded, terminating
% 114.16/104.43 eprover: CPU time limit exceeded, terminating
% 116.35/106.45 eprover: CPU time limit exceeded, terminating
% 118.53/108.46 eprover: CPU time limit exceeded, terminating
% 120.74/110.48 eprover: CPU time limit exceeded, terminating
% 123.01/112.49 eprover: CPU time limit exceeded, terminating
% 125.22/114.51 eprover: CPU time limit exceeded, terminating
% 127.43/116.52 eprover: CPU time limit exceeded, terminating
% 129.64/118.54 eprover: CPU time limit exceeded, terminating
% 131.80/120.55 eprover: CPU time limit exceeded, terminating
% 134.07/122.56 eprover: CPU time limit exceeded, terminating
% 136.22/124.58 eprover: CPU time limit exceeded, terminating
% 138.44/126.59 eprover: CPU time limit exceeded, terminating
% 140.72/128.61 eprover: CPU time limit exceeded, terminating
% 142.89/130.62 eprover: CPU time limit exceeded, terminating
% 145.13/132.63 eprover: CPU time limit exceeded, terminating
% 147.33/134.65 eprover: CPU time limit exceeded, terminating
% 149.48/136.66 eprover: CPU time limit exceeded, terminating
% 151.71/138.67 eprover: CPU time limit exceeded, terminating
% 153.94/140.69 eprover: CPU time limit exceeded, terminating
% 156.11/142.70 eprover: CPU time limit exceeded, terminating
% 158.42/144.71 eprover: CPU time limit exceeded, terminating
% 160.61/146.73 eprover: CPU time limit exceeded, terminating
% 162.81/148.74 eprover: CPU time limit exceeded, terminating
% 165.01/150.76 eprover: CPU time limit exceeded, terminating
% 167.26/152.77 eprover: CPU time limit exceeded, terminating
% 169.44/154.79 eprover: CPU time limit exceeded, terminating
% 171.65/156.80 eprover: CPU time limit exceeded, terminating
% 173.94/158.81 eprover: CPU time limit exceeded, terminating
% 176.12/160.83 eprover: CPU time limit exceeded, terminating
% 178.33/162.84 eprover: CPU time limit exceeded, terminating
% 180.54/164.86 eprover: CPU time limit exceeded, terminating
% 182.73/166.87 eprover: CPU time limit exceeded, terminating
% 184.95/168.89 eprover: CPU time limit exceeded, terminating
% 187.23/170.90 eprover: CPU time limit exceeded, terminating
% 189.49/172.91 eprover: CPU time limit exceeded, terminating
% 191.65/174.93 eprover: CPU time limit exceeded, terminating
% 193.87/176.94 eprover: CPU time limit exceeded, terminating
% 196.09/178.96 eprover: CPU time limit exceeded, terminating
% 198.27/180.97 eprover: CPU time limit exceeded, terminating
% 200.48/182.98 eprover: CPU time limit exceeded, terminating
% 202.68/185.00 eprover: CPU time limit exceeded, terminating
% 204.96/187.01 eprover: CPU time limit exceeded, terminating
% 207.17/189.03 eprover: CPU time limit exceeded, terminating
% 209.39/191.04 eprover: CPU time limit exceeded, terminating
% 211.58/193.06 eprover: CPU time limit exceeded, terminating
% 213.79/195.07 eprover: CPU time limit exceeded, terminating
% 215.98/197.08 eprover: CPU time limit exceeded, terminating
% 218.28/199.10 eprover: CPU time limit exceeded, terminating
% 220.49/201.11 eprover: CPU time limit exceeded, terminating
% 222.71/203.13 eprover: CPU time limit exceeded, terminating
% 224.90/205.14 eprover: CPU time limit exceeded, terminating
% 227.10/207.16 eprover: CPU time limit exceeded, terminating
% 229.31/209.17 eprover: CPU time limit exceeded, terminating
% 231.50/211.19 eprover: CPU time limit exceeded, terminating
% 233.78/213.20 eprover: CPU time limit exceeded, terminating
% 236.00/215.22 eprover: CPU time limit exceeded, terminating
% 238.22/217.23 eprover: CPU time limit exceeded, terminating
% 240.41/219.24 eprover: CPU time limit exceeded, terminating
% 242.61/221.26 eprover: CPU time limit exceeded, terminating
% 244.80/223.27 eprover: CPU time limit exceeded, terminating
% 247.01/225.29 eprover: CPU time limit exceeded, terminating
% 249.30/227.30 eprover: CPU time limit exceeded, terminating
% 251.51/229.32 eprover: CPU time limit exceeded, terminating
% 253.70/231.33 eprover: CPU time limit exceeded, terminating
% 255.91/233.34 eprover: CPU time limit exceeded, terminating
% 258.10/235.36 eprover: CPU time limit exceeded, terminating
% 260.29/237.37 eprover: CPU time limit exceeded, terminating
% 262.51/239.39 eprover: CPU time limit exceeded, terminating
% 264.80/241.41 eprover: CPU time limit exceeded, terminating
% 267.01/243.43 eprover: CPU time limit exceeded, terminating
% 269.20/245.44 eprover: CPU time limit exceeded, terminating
% 271.40/247.46 eprover: CPU time limit exceeded, terminating
% 273.59/249.47 eprover: CPU time limit exceeded, terminating
% 275.82/251.48 eprover: CPU time limit exceeded, terminating
% 278.09/253.50 eprover: CPU time limit exceeded, terminating
% 280.30/255.51 eprover: CPU time limit exceeded, terminating
% 282.51/257.53 eprover: CPU time limit exceeded, terminating
% 284.71/259.54 eprover: CPU time limit exceeded, terminating
% 286.90/261.55 eprover: CPU time limit exceeded, terminating
% 289.11/263.57 eprover: CPU time limit exceeded, terminating
% 291.31/265.58 eprover: CPU time limit exceeded, terminating
% 293.61/267.60 eprover: CPU time limit exceeded, terminating
% 295.81/269.61 eprover: CPU time limit exceeded, terminating
% 298.03/271.63 eprover: CPU time limit exceeded, terminating
% 300.02/273.41 eprover: CPU time limit exceeded, terminating
% 300.02/273.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------