TSTP Solution File: CSR115+17 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+17 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:28 EDT 2022
% Result : Timeout 286.41s 267.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR115+17 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n028.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 : Sat Jun 11 00:30:49 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.71/3.79 eprover: CPU time limit exceeded, terminating
% 5.91/5.80 eprover: CPU time limit exceeded, terminating
% 8.09/7.81 eprover: CPU time limit exceeded, terminating
% 10.24/9.83 eprover: CPU time limit exceeded, terminating
% 12.38/11.84 eprover: CPU time limit exceeded, terminating
% 14.52/13.85 eprover: CPU time limit exceeded, terminating
% 16.72/15.86 eprover: CPU time limit exceeded, terminating
% 18.87/17.87 eprover: CPU time limit exceeded, terminating
% 21.06/19.89 eprover: CPU time limit exceeded, terminating
% 23.18/21.90 eprover: CPU time limit exceeded, terminating
% 25.38/23.91 eprover: CPU time limit exceeded, terminating
% 27.50/25.92 eprover: CPU time limit exceeded, terminating
% 29.72/27.94 eprover: CPU time limit exceeded, terminating
% 31.90/29.95 eprover: CPU time limit exceeded, terminating
% 34.03/31.96 eprover: CPU time limit exceeded, terminating
% 36.21/33.97 eprover: CPU time limit exceeded, terminating
% 38.44/35.98 eprover: CPU time limit exceeded, terminating
% 40.57/38.00 eprover: CPU time limit exceeded, terminating
% 42.77/40.01 eprover: CPU time limit exceeded, terminating
% 44.97/42.02 eprover: CPU time limit exceeded, terminating
% 47.08/44.03 eprover: CPU time limit exceeded, terminating
% 49.26/46.05 eprover: CPU time limit exceeded, terminating
% 51.49/48.06 eprover: CPU time limit exceeded, terminating
% 53.64/50.07 eprover: CPU time limit exceeded, terminating
% 55.84/52.08 eprover: CPU time limit exceeded, terminating
% 57.98/54.10 eprover: CPU time limit exceeded, terminating
% 60.18/56.11 eprover: CPU time limit exceeded, terminating
% 62.37/58.12 eprover: CPU time limit exceeded, terminating
% 64.52/60.13 eprover: CPU time limit exceeded, terminating
% 66.64/62.14 eprover: CPU time limit exceeded, terminating
% 68.85/64.16 eprover: CPU time limit exceeded, terminating
% 71.05/66.17 eprover: CPU time limit exceeded, terminating
% 73.18/68.18 eprover: CPU time limit exceeded, terminating
% 75.32/70.20 eprover: CPU time limit exceeded, terminating
% 77.52/72.21 eprover: CPU time limit exceeded, terminating
% 79.71/74.22 eprover: CPU time limit exceeded, terminating
% 81.72/76.23 eprover: CPU time limit exceeded, terminating
% 83.88/78.25 eprover: CPU time limit exceeded, terminating
% 86.04/80.26 eprover: CPU time limit exceeded, terminating
% 88.19/82.27 eprover: CPU time limit exceeded, terminating
% 90.35/84.28 eprover: CPU time limit exceeded, terminating
% 92.51/86.29 eprover: CPU time limit exceeded, terminating
% 94.64/88.31 eprover: CPU time limit exceeded, terminating
% 96.85/90.32 eprover: CPU time limit exceeded, terminating
% 99.03/92.33 eprover: CPU time limit exceeded, terminating
% 101.21/94.34 eprover: CPU time limit exceeded, terminating
% 103.36/96.35 eprover: CPU time limit exceeded, terminating
% 105.50/98.36 eprover: CPU time limit exceeded, terminating
% 107.67/100.38 eprover: CPU time limit exceeded, terminating
% 109.82/102.39 eprover: CPU time limit exceeded, terminating
% 111.99/104.40 eprover: CPU time limit exceeded, terminating
% 114.17/106.41 eprover: CPU time limit exceeded, terminating
% 116.28/108.43 eprover: CPU time limit exceeded, terminating
% 118.43/110.44 eprover: CPU time limit exceeded, terminating
% 120.60/112.45 eprover: CPU time limit exceeded, terminating
% 122.79/114.46 eprover: CPU time limit exceeded, terminating
% 124.97/116.48 eprover: CPU time limit exceeded, terminating
% 127.08/118.49 eprover: CPU time limit exceeded, terminating
% 129.28/120.50 eprover: CPU time limit exceeded, terminating
% 131.42/122.51 eprover: CPU time limit exceeded, terminating
% 133.65/124.53 eprover: CPU time limit exceeded, terminating
% 135.79/126.54 eprover: CPU time limit exceeded, terminating
% 137.90/128.55 eprover: CPU time limit exceeded, terminating
% 140.08/130.56 eprover: CPU time limit exceeded, terminating
% 142.30/132.58 eprover: CPU time limit exceeded, terminating
% 144.40/134.59 eprover: CPU time limit exceeded, terminating
% 146.59/136.60 eprover: CPU time limit exceeded, terminating
% 148.78/138.61 eprover: CPU time limit exceeded, terminating
% 150.92/140.62 eprover: CPU time limit exceeded, terminating
% 153.09/142.63 eprover: CPU time limit exceeded, terminating
% 155.25/144.65 eprover: CPU time limit exceeded, terminating
% 157.38/146.66 eprover: CPU time limit exceeded, terminating
% 159.56/148.67 eprover: CPU time limit exceeded, terminating
% 161.74/150.68 eprover: CPU time limit exceeded, terminating
% 163.85/152.69 eprover: CPU time limit exceeded, terminating
% 166.01/154.71 eprover: CPU time limit exceeded, terminating
% 168.24/156.72 eprover: CPU time limit exceeded, terminating
% 170.41/158.73 eprover: CPU time limit exceeded, terminating
% 172.53/160.74 eprover: CPU time limit exceeded, terminating
% 174.71/162.75 eprover: CPU time limit exceeded, terminating
% 176.79/164.77 eprover: CPU time limit exceeded, terminating
% 179.02/166.78 eprover: CPU time limit exceeded, terminating
% 181.15/168.79 eprover: CPU time limit exceeded, terminating
% 183.33/170.80 eprover: CPU time limit exceeded, terminating
% 185.48/172.81 eprover: CPU time limit exceeded, terminating
% 187.66/174.83 eprover: CPU time limit exceeded, terminating
% 189.84/176.84 eprover: CPU time limit exceeded, terminating
% 191.99/178.85 eprover: CPU time limit exceeded, terminating
% 194.16/180.86 eprover: CPU time limit exceeded, terminating
% 196.27/182.87 eprover: CPU time limit exceeded, terminating
% 198.43/184.89 eprover: CPU time limit exceeded, terminating
% 200.64/186.90 eprover: CPU time limit exceeded, terminating
% 202.80/188.91 eprover: CPU time limit exceeded, terminating
% 204.94/190.92 eprover: CPU time limit exceeded, terminating
% 207.13/192.93 eprover: CPU time limit exceeded, terminating
% 209.29/194.94 eprover: CPU time limit exceeded, terminating
% 211.44/196.96 eprover: CPU time limit exceeded, terminating
% 213.58/198.97 eprover: CPU time limit exceeded, terminating
% 215.81/200.98 eprover: CPU time limit exceeded, terminating
% 217.97/202.99 eprover: CPU time limit exceeded, terminating
% 220.09/205.00 eprover: CPU time limit exceeded, terminating
% 222.27/207.02 eprover: CPU time limit exceeded, terminating
% 224.44/209.03 eprover: CPU time limit exceeded, terminating
% 226.57/211.04 eprover: CPU time limit exceeded, terminating
% 228.72/213.05 eprover: CPU time limit exceeded, terminating
% 230.81/215.06 eprover: CPU time limit exceeded, terminating
% 232.85/217.08 eprover: CPU time limit exceeded, terminating
% 235.00/219.09 eprover: CPU time limit exceeded, terminating
% 237.19/221.10 eprover: CPU time limit exceeded, terminating
% 239.28/223.11 eprover: CPU time limit exceeded, terminating
% 241.47/225.13 eprover: CPU time limit exceeded, terminating
% 243.63/227.14 eprover: CPU time limit exceeded, terminating
% 245.79/229.15 eprover: CPU time limit exceeded, terminating
% 247.95/231.17 eprover: CPU time limit exceeded, terminating
% 250.14/233.18 eprover: CPU time limit exceeded, terminating
% 252.13/235.19 eprover: CPU time limit exceeded, terminating
% 254.27/237.20 eprover: CPU time limit exceeded, terminating
% 256.36/239.21 eprover: CPU time limit exceeded, terminating
% 258.49/241.23 eprover: CPU time limit exceeded, terminating
% 260.61/243.24 eprover: CPU time limit exceeded, terminating
% 262.75/245.25 eprover: CPU time limit exceeded, terminating
% 264.80/247.27 eprover: CPU time limit exceeded, terminating
% 266.98/249.28 eprover: CPU time limit exceeded, terminating
% 269.14/251.29 eprover: CPU time limit exceeded, terminating
% 271.37/253.30 eprover: CPU time limit exceeded, terminating
% 273.52/255.31 eprover: CPU time limit exceeded, terminating
% 275.70/257.33 eprover: CPU time limit exceeded, terminating
% 277.81/259.34 eprover: CPU time limit exceeded, terminating
% 279.97/261.36 eprover: CPU time limit exceeded, terminating
% 282.10/263.37 eprover: CPU time limit exceeded, terminating
% 284.28/265.38 eprover: CPU time limit exceeded, terminating
% 286.41/267.39 eprover: CPU time limit exceeded, terminating
% 288.66/269.41 eprover: CPU time limit exceeded, terminating
% 290.82/271.42 eprover: CPU time limit exceeded, terminating
% 292.95/273.43 eprover: CPU time limit exceeded, terminating
% 295.07/275.44 eprover: CPU time limit exceeded, terminating
% 297.16/277.46 eprover: CPU time limit exceeded, terminating
% 299.25/279.47 eprover: CPU time limit exceeded, terminating
% 300.09/280.20 eprover: CPU time limit exceeded, terminating
% 300.09/280.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------