TSTP Solution File: CSR158+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR158+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:35:58 EDT 2022
% Result : Timeout 287.86s 261.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR158+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n015.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 : Sat Jun 11 02:10:36 EDT 2022
% 0.13/0.33 % CPUTime :
% 5.85/5.84 eprover: CPU time limit exceeded, terminating
% 8.03/7.85 eprover: CPU time limit exceeded, terminating
% 10.25/9.86 eprover: CPU time limit exceeded, terminating
% 12.43/11.87 eprover: CPU time limit exceeded, terminating
% 16.62/13.88 eprover: CPU time limit exceeded, terminating
% 18.82/15.89 eprover: CPU time limit exceeded, terminating
% 21.02/17.90 eprover: CPU time limit exceeded, terminating
% 23.20/19.92 eprover: CPU time limit exceeded, terminating
% 25.45/21.93 eprover: CPU time limit exceeded, terminating
% 27.64/23.94 eprover: CPU time limit exceeded, terminating
% 29.88/25.95 eprover: CPU time limit exceeded, terminating
% 32.13/27.96 eprover: CPU time limit exceeded, terminating
% 34.34/29.97 eprover: CPU time limit exceeded, terminating
% 36.53/31.98 eprover: CPU time limit exceeded, terminating
% 38.74/33.99 eprover: CPU time limit exceeded, terminating
% 40.92/36.00 eprover: CPU time limit exceeded, terminating
% 43.12/38.01 eprover: CPU time limit exceeded, terminating
% 45.38/40.02 eprover: CPU time limit exceeded, terminating
% 47.59/42.04 eprover: CPU time limit exceeded, terminating
% 49.85/44.05 eprover: CPU time limit exceeded, terminating
% 52.08/46.06 eprover: CPU time limit exceeded, terminating
% 54.28/48.08 eprover: CPU time limit exceeded, terminating
% 56.47/50.09 eprover: CPU time limit exceeded, terminating
% 58.68/52.10 eprover: CPU time limit exceeded, terminating
% 60.86/54.11 eprover: CPU time limit exceeded, terminating
% 63.03/56.12 eprover: CPU time limit exceeded, terminating
% 65.21/58.13 eprover: CPU time limit exceeded, terminating
% 67.51/60.14 eprover: CPU time limit exceeded, terminating
% 69.73/62.15 eprover: CPU time limit exceeded, terminating
% 71.92/64.16 eprover: CPU time limit exceeded, terminating
% 74.17/66.17 eprover: CPU time limit exceeded, terminating
% 76.32/68.19 eprover: CPU time limit exceeded, terminating
% 78.57/70.20 eprover: CPU time limit exceeded, terminating
% 80.78/72.21 eprover: CPU time limit exceeded, terminating
% 83.02/74.22 eprover: CPU time limit exceeded, terminating
% 85.24/76.23 eprover: CPU time limit exceeded, terminating
% 87.38/78.24 eprover: CPU time limit exceeded, terminating
% 89.64/80.25 eprover: CPU time limit exceeded, terminating
% 91.85/82.26 eprover: CPU time limit exceeded, terminating
% 94.06/84.27 eprover: CPU time limit exceeded, terminating
% 96.29/86.28 eprover: CPU time limit exceeded, terminating
% 98.45/88.29 eprover: CPU time limit exceeded, terminating
% 100.67/90.30 eprover: CPU time limit exceeded, terminating
% 102.89/92.31 eprover: CPU time limit exceeded, terminating
% 105.11/94.33 eprover: CPU time limit exceeded, terminating
% 107.31/96.34 eprover: CPU time limit exceeded, terminating
% 109.47/98.35 eprover: CPU time limit exceeded, terminating
% 111.70/100.36 eprover: CPU time limit exceeded, terminating
% 113.91/102.37 eprover: CPU time limit exceeded, terminating
% 116.13/104.38 eprover: CPU time limit exceeded, terminating
% 118.29/106.39 eprover: CPU time limit exceeded, terminating
% 120.46/108.40 eprover: CPU time limit exceeded, terminating
% 122.69/110.41 eprover: CPU time limit exceeded, terminating
% 124.90/112.42 eprover: CPU time limit exceeded, terminating
% 127.11/114.43 eprover: CPU time limit exceeded, terminating
% 129.33/116.44 eprover: CPU time limit exceeded, terminating
% 131.49/118.46 eprover: CPU time limit exceeded, terminating
% 133.76/120.47 eprover: CPU time limit exceeded, terminating
% 135.94/122.48 eprover: CPU time limit exceeded, terminating
% 138.15/124.49 eprover: CPU time limit exceeded, terminating
% 140.35/126.50 eprover: CPU time limit exceeded, terminating
% 142.50/128.51 eprover: CPU time limit exceeded, terminating
% 144.72/130.52 eprover: CPU time limit exceeded, terminating
% 146.98/132.53 eprover: CPU time limit exceeded, terminating
% 149.15/134.55 eprover: CPU time limit exceeded, terminating
% 151.35/136.56 eprover: CPU time limit exceeded, terminating
% 153.56/138.57 eprover: CPU time limit exceeded, terminating
% 155.78/140.58 eprover: CPU time limit exceeded, terminating
% 157.98/142.59 eprover: CPU time limit exceeded, terminating
% 160.19/144.60 eprover: CPU time limit exceeded, terminating
% 162.36/146.61 eprover: CPU time limit exceeded, terminating
% 164.57/148.62 eprover: CPU time limit exceeded, terminating
% 166.75/150.63 eprover: CPU time limit exceeded, terminating
% 168.93/152.64 eprover: CPU time limit exceeded, terminating
% 171.12/154.66 eprover: CPU time limit exceeded, terminating
% 173.39/156.67 eprover: CPU time limit exceeded, terminating
% 175.61/158.68 eprover: CPU time limit exceeded, terminating
% 177.82/160.69 eprover: CPU time limit exceeded, terminating
% 180.02/162.70 eprover: CPU time limit exceeded, terminating
% 182.20/164.71 eprover: CPU time limit exceeded, terminating
% 184.43/166.72 eprover: CPU time limit exceeded, terminating
% 186.58/168.73 eprover: CPU time limit exceeded, terminating
% 188.84/170.74 eprover: CPU time limit exceeded, terminating
% 190.99/172.76 eprover: CPU time limit exceeded, terminating
% 193.24/174.77 eprover: CPU time limit exceeded, terminating
% 195.42/176.78 eprover: CPU time limit exceeded, terminating
% 197.62/178.79 eprover: CPU time limit exceeded, terminating
% 199.80/180.80 eprover: CPU time limit exceeded, terminating
% 202.05/182.81 eprover: CPU time limit exceeded, terminating
% 204.20/184.82 eprover: CPU time limit exceeded, terminating
% 206.44/186.83 eprover: CPU time limit exceeded, terminating
% 208.65/188.84 eprover: CPU time limit exceeded, terminating
% 210.85/190.85 eprover: CPU time limit exceeded, terminating
% 212.95/192.86 eprover: CPU time limit exceeded, terminating
% 215.24/194.88 eprover: CPU time limit exceeded, terminating
% 217.40/196.88 eprover: CPU time limit exceeded, terminating
% 219.64/198.90 eprover: CPU time limit exceeded, terminating
% 221.80/200.91 eprover: CPU time limit exceeded, terminating
% 224.05/202.92 eprover: CPU time limit exceeded, terminating
% 226.27/204.93 eprover: CPU time limit exceeded, terminating
% 228.47/206.94 eprover: CPU time limit exceeded, terminating
% 230.64/208.95 eprover: CPU time limit exceeded, terminating
% 232.80/210.96 eprover: CPU time limit exceeded, terminating
% 235.05/212.97 eprover: CPU time limit exceeded, terminating
% 237.29/214.98 eprover: CPU time limit exceeded, terminating
% 239.51/216.99 eprover: CPU time limit exceeded, terminating
% 241.71/219.00 eprover: CPU time limit exceeded, terminating
% 243.88/221.01 eprover: CPU time limit exceeded, terminating
% 246.05/223.02 eprover: CPU time limit exceeded, terminating
% 248.27/225.03 eprover: CPU time limit exceeded, terminating
% 250.46/227.05 eprover: CPU time limit exceeded, terminating
% 252.70/229.06 eprover: CPU time limit exceeded, terminating
% 254.92/231.08 eprover: CPU time limit exceeded, terminating
% 257.12/233.09 eprover: CPU time limit exceeded, terminating
% 259.38/235.10 eprover: CPU time limit exceeded, terminating
% 261.57/237.12 eprover: CPU time limit exceeded, terminating
% 263.72/239.13 eprover: CPU time limit exceeded, terminating
% 265.93/241.14 eprover: CPU time limit exceeded, terminating
% 268.10/243.15 eprover: CPU time limit exceeded, terminating
% 270.24/245.17 eprover: CPU time limit exceeded, terminating
% 272.43/247.18 eprover: CPU time limit exceeded, terminating
% 274.57/249.22 eprover: CPU time limit exceeded, terminating
% 276.78/251.24 eprover: CPU time limit exceeded, terminating
% 279.04/253.25 eprover: CPU time limit exceeded, terminating
% 281.26/255.26 eprover: CPU time limit exceeded, terminating
% 283.46/257.27 eprover: CPU time limit exceeded, terminating
% 285.69/259.28 eprover: CPU time limit exceeded, terminating
% 287.86/261.29 eprover: CPU time limit exceeded, terminating
% 290.11/263.30 eprover: CPU time limit exceeded, terminating
% 292.30/265.33 eprover: CPU time limit exceeded, terminating
% 294.52/267.34 eprover: CPU time limit exceeded, terminating
% 296.72/269.38 eprover: CPU time limit exceeded, terminating
% 298.92/271.40 eprover: CPU time limit exceeded, terminating
% 300.11/272.40 eprover: CPU time limit exceeded, terminating
% 300.11/272.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------