TSTP Solution File: CSR248+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR248+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:09 EDT 2022
% Result : Timeout 286.39s 262.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR248+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n018.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 10 09:43:09 EDT 2022
% 0.19/0.33 % CPUTime :
% 5.84/5.81 eprover: CPU time limit exceeded, terminating
% 8.02/7.82 eprover: CPU time limit exceeded, terminating
% 10.18/9.83 eprover: CPU time limit exceeded, terminating
% 12.45/11.85 eprover: CPU time limit exceeded, terminating
% 14.63/13.86 eprover: CPU time limit exceeded, terminating
% 16.86/15.87 eprover: CPU time limit exceeded, terminating
% 19.04/17.88 eprover: CPU time limit exceeded, terminating
% 21.25/19.90 eprover: CPU time limit exceeded, terminating
% 23.49/21.91 eprover: CPU time limit exceeded, terminating
% 25.66/23.92 eprover: CPU time limit exceeded, terminating
% 27.94/25.93 eprover: CPU time limit exceeded, terminating
% 30.11/27.95 eprover: CPU time limit exceeded, terminating
% 32.37/29.96 eprover: CPU time limit exceeded, terminating
% 34.58/31.97 eprover: CPU time limit exceeded, terminating
% 36.80/33.99 eprover: CPU time limit exceeded, terminating
% 39.01/36.00 eprover: CPU time limit exceeded, terminating
% 41.19/38.01 eprover: CPU time limit exceeded, terminating
% 43.43/40.02 eprover: CPU time limit exceeded, terminating
% 45.60/42.04 eprover: CPU time limit exceeded, terminating
% 47.86/44.05 eprover: CPU time limit exceeded, terminating
% 50.06/46.06 eprover: CPU time limit exceeded, terminating
% 52.27/48.07 eprover: CPU time limit exceeded, terminating
% 54.46/50.09 eprover: CPU time limit exceeded, terminating
% 56.64/52.10 eprover: CPU time limit exceeded, terminating
% 58.89/54.11 eprover: CPU time limit exceeded, terminating
% 61.10/56.13 eprover: CPU time limit exceeded, terminating
% 63.32/58.14 eprover: CPU time limit exceeded, terminating
% 65.55/60.15 eprover: CPU time limit exceeded, terminating
% 67.74/62.16 eprover: CPU time limit exceeded, terminating
% 69.97/64.18 eprover: CPU time limit exceeded, terminating
% 72.16/66.19 eprover: CPU time limit exceeded, terminating
% 74.35/68.20 eprover: CPU time limit exceeded, terminating
% 76.55/70.21 eprover: CPU time limit exceeded, terminating
% 78.76/72.22 eprover: CPU time limit exceeded, terminating
% 81.02/74.24 eprover: CPU time limit exceeded, terminating
% 83.20/76.25 eprover: CPU time limit exceeded, terminating
% 85.43/78.27 eprover: CPU time limit exceeded, terminating
% 87.62/80.28 eprover: CPU time limit exceeded, terminating
% 89.83/82.29 eprover: CPU time limit exceeded, terminating
% 92.03/84.31 eprover: CPU time limit exceeded, terminating
% 94.18/86.32 eprover: CPU time limit exceeded, terminating
% 96.41/88.33 eprover: CPU time limit exceeded, terminating
% 98.69/90.34 eprover: CPU time limit exceeded, terminating
% 100.85/92.36 eprover: CPU time limit exceeded, terminating
% 103.09/94.37 eprover: CPU time limit exceeded, terminating
% 105.27/96.38 eprover: CPU time limit exceeded, terminating
% 107.52/98.39 eprover: CPU time limit exceeded, terminating
% 109.73/100.41 eprover: CPU time limit exceeded, terminating
% 111.91/102.42 eprover: CPU time limit exceeded, terminating
% 114.16/104.43 eprover: CPU time limit exceeded, terminating
% 116.33/106.44 eprover: CPU time limit exceeded, terminating
% 118.57/108.46 eprover: CPU time limit exceeded, terminating
% 120.71/110.47 eprover: CPU time limit exceeded, terminating
% 122.95/112.48 eprover: CPU time limit exceeded, terminating
% 125.19/114.49 eprover: CPU time limit exceeded, terminating
% 127.35/116.51 eprover: CPU time limit exceeded, terminating
% 129.57/118.52 eprover: CPU time limit exceeded, terminating
% 131.82/120.53 eprover: CPU time limit exceeded, terminating
% 133.97/122.54 eprover: CPU time limit exceeded, terminating
% 136.21/124.56 eprover: CPU time limit exceeded, terminating
% 138.46/126.57 eprover: CPU time limit exceeded, terminating
% 140.63/128.58 eprover: CPU time limit exceeded, terminating
% 142.87/130.60 eprover: CPU time limit exceeded, terminating
% 145.08/132.61 eprover: CPU time limit exceeded, terminating
% 147.26/134.62 eprover: CPU time limit exceeded, terminating
% 149.43/136.63 eprover: CPU time limit exceeded, terminating
% 151.69/138.65 eprover: CPU time limit exceeded, terminating
% 153.91/140.66 eprover: CPU time limit exceeded, terminating
% 156.13/142.67 eprover: CPU time limit exceeded, terminating
% 158.33/144.68 eprover: CPU time limit exceeded, terminating
% 160.54/146.70 eprover: CPU time limit exceeded, terminating
% 162.73/148.71 eprover: CPU time limit exceeded, terminating
% 164.94/150.72 eprover: CPU time limit exceeded, terminating
% 167.15/152.73 eprover: CPU time limit exceeded, terminating
% 169.37/154.75 eprover: CPU time limit exceeded, terminating
% 171.59/156.76 eprover: CPU time limit exceeded, terminating
% 173.80/158.77 eprover: CPU time limit exceeded, terminating
% 175.98/160.79 eprover: CPU time limit exceeded, terminating
% 178.20/162.80 eprover: CPU time limit exceeded, terminating
% 180.39/164.81 eprover: CPU time limit exceeded, terminating
% 182.62/166.82 eprover: CPU time limit exceeded, terminating
% 184.79/168.84 eprover: CPU time limit exceeded, terminating
% 187.01/170.85 eprover: CPU time limit exceeded, terminating
% 189.20/172.86 eprover: CPU time limit exceeded, terminating
% 191.47/174.87 eprover: CPU time limit exceeded, terminating
% 193.67/176.89 eprover: CPU time limit exceeded, terminating
% 195.85/178.90 eprover: CPU time limit exceeded, terminating
% 198.05/180.91 eprover: CPU time limit exceeded, terminating
% 200.31/182.92 eprover: CPU time limit exceeded, terminating
% 202.48/184.94 eprover: CPU time limit exceeded, terminating
% 204.71/186.95 eprover: CPU time limit exceeded, terminating
% 206.92/188.96 eprover: CPU time limit exceeded, terminating
% 209.13/190.97 eprover: CPU time limit exceeded, terminating
% 211.37/192.99 eprover: CPU time limit exceeded, terminating
% 213.56/195.00 eprover: CPU time limit exceeded, terminating
% 215.77/197.01 eprover: CPU time limit exceeded, terminating
% 217.95/199.02 eprover: CPU time limit exceeded, terminating
% 220.13/201.04 eprover: CPU time limit exceeded, terminating
% 222.41/203.05 eprover: CPU time limit exceeded, terminating
% 224.64/205.06 eprover: CPU time limit exceeded, terminating
% 226.80/207.07 eprover: CPU time limit exceeded, terminating
% 229.05/209.09 eprover: CPU time limit exceeded, terminating
% 231.26/211.10 eprover: CPU time limit exceeded, terminating
% 233.44/213.11 eprover: CPU time limit exceeded, terminating
% 235.67/215.12 eprover: CPU time limit exceeded, terminating
% 237.85/217.14 eprover: CPU time limit exceeded, terminating
% 240.08/219.15 eprover: CPU time limit exceeded, terminating
% 242.30/221.16 eprover: CPU time limit exceeded, terminating
% 244.49/223.17 eprover: CPU time limit exceeded, terminating
% 246.73/225.19 eprover: CPU time limit exceeded, terminating
% 248.93/227.20 eprover: CPU time limit exceeded, terminating
% 251.11/229.21 eprover: CPU time limit exceeded, terminating
% 253.32/231.22 eprover: CPU time limit exceeded, terminating
% 255.47/233.23 eprover: CPU time limit exceeded, terminating
% 257.65/235.24 eprover: CPU time limit exceeded, terminating
% 259.96/237.26 eprover: CPU time limit exceeded, terminating
% 262.06/239.27 eprover: CPU time limit exceeded, terminating
% 264.33/241.28 eprover: CPU time limit exceeded, terminating
% 266.51/243.46 eprover: CPU time limit exceeded, terminating
% 268.69/245.66 eprover: CPU time limit exceeded, terminating
% 270.91/247.73 eprover: CPU time limit exceeded, terminating
% 273.12/249.83 eprover: CPU time limit exceeded, terminating
% 275.36/251.91 eprover: CPU time limit exceeded, terminating
% 277.60/254.15 eprover: CPU time limit exceeded, terminating
% 279.78/256.37 eprover: CPU time limit exceeded, terminating
% 281.97/258.60 eprover: CPU time limit exceeded, terminating
% 284.25/260.68 eprover: CPU time limit exceeded, terminating
% 286.39/262.76 eprover: CPU time limit exceeded, terminating
% 288.68/264.85 eprover: CPU time limit exceeded, terminating
% 290.93/266.92 eprover: CPU time limit exceeded, terminating
% 293.09/269.12 eprover: CPU time limit exceeded, terminating
% 295.32/271.22 eprover: CPU time limit exceeded, terminating
% 297.47/273.42 eprover: CPU time limit exceeded, terminating
% 299.73/275.47 eprover: CPU time limit exceeded, terminating
% 300.03/275.76 eprover: CPU time limit exceeded, terminating
% 300.03/275.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------