TSTP Solution File: CSR115+83 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+83 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:36 EDT 2022
% Result : Timeout 286.49s 267.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR115+83 : TPTP v8.1.0. Released v4.0.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n023.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 18:51:37 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.82/3.87 eprover: CPU time limit exceeded, terminating
% 5.98/5.88 eprover: CPU time limit exceeded, terminating
% 8.14/7.89 eprover: CPU time limit exceeded, terminating
% 10.29/9.90 eprover: CPU time limit exceeded, terminating
% 12.46/11.92 eprover: CPU time limit exceeded, terminating
% 14.63/13.93 eprover: CPU time limit exceeded, terminating
% 16.81/15.94 eprover: CPU time limit exceeded, terminating
% 18.98/17.96 eprover: CPU time limit exceeded, terminating
% 21.13/19.97 eprover: CPU time limit exceeded, terminating
% 23.28/21.98 eprover: CPU time limit exceeded, terminating
% 25.45/24.00 eprover: CPU time limit exceeded, terminating
% 27.59/26.01 eprover: CPU time limit exceeded, terminating
% 29.79/28.02 eprover: CPU time limit exceeded, terminating
% 31.94/30.03 eprover: CPU time limit exceeded, terminating
% 34.13/32.05 eprover: CPU time limit exceeded, terminating
% 36.24/34.06 eprover: CPU time limit exceeded, terminating
% 38.45/36.07 eprover: CPU time limit exceeded, terminating
% 40.61/38.09 eprover: CPU time limit exceeded, terminating
% 42.74/40.10 eprover: CPU time limit exceeded, terminating
% 44.91/42.11 eprover: CPU time limit exceeded, terminating
% 47.09/44.12 eprover: CPU time limit exceeded, terminating
% 49.29/46.14 eprover: CPU time limit exceeded, terminating
% 51.44/48.15 eprover: CPU time limit exceeded, terminating
% 53.62/50.16 eprover: CPU time limit exceeded, terminating
% 55.83/52.18 eprover: CPU time limit exceeded, terminating
% 58.00/54.19 eprover: CPU time limit exceeded, terminating
% 60.13/56.21 eprover: CPU time limit exceeded, terminating
% 62.33/58.22 eprover: CPU time limit exceeded, terminating
% 64.45/60.23 eprover: CPU time limit exceeded, terminating
% 66.68/62.25 eprover: CPU time limit exceeded, terminating
% 68.82/64.26 eprover: CPU time limit exceeded, terminating
% 70.98/66.27 eprover: CPU time limit exceeded, terminating
% 73.15/68.28 eprover: CPU time limit exceeded, terminating
% 75.29/70.30 eprover: CPU time limit exceeded, terminating
% 77.47/72.31 eprover: CPU time limit exceeded, terminating
% 79.67/74.32 eprover: CPU time limit exceeded, terminating
% 81.75/76.34 eprover: CPU time limit exceeded, terminating
% 83.85/78.35 eprover: CPU time limit exceeded, terminating
% 85.98/80.37 eprover: CPU time limit exceeded, terminating
% 88.16/82.38 eprover: CPU time limit exceeded, terminating
% 90.33/84.39 eprover: CPU time limit exceeded, terminating
% 92.50/86.40 eprover: CPU time limit exceeded, terminating
% 94.68/88.42 eprover: CPU time limit exceeded, terminating
% 96.83/90.43 eprover: CPU time limit exceeded, terminating
% 99.04/92.44 eprover: CPU time limit exceeded, terminating
% 101.20/94.45 eprover: CPU time limit exceeded, terminating
% 103.41/96.47 eprover: CPU time limit exceeded, terminating
% 105.55/98.48 eprover: CPU time limit exceeded, terminating
% 107.71/100.49 eprover: CPU time limit exceeded, terminating
% 109.89/102.51 eprover: CPU time limit exceeded, terminating
% 112.00/104.52 eprover: CPU time limit exceeded, terminating
% 114.19/106.53 eprover: CPU time limit exceeded, terminating
% 116.42/108.55 eprover: CPU time limit exceeded, terminating
% 118.58/110.56 eprover: CPU time limit exceeded, terminating
% 120.74/112.57 eprover: CPU time limit exceeded, terminating
% 122.93/114.59 eprover: CPU time limit exceeded, terminating
% 125.06/116.60 eprover: CPU time limit exceeded, terminating
% 127.23/118.61 eprover: CPU time limit exceeded, terminating
% 129.44/120.63 eprover: CPU time limit exceeded, terminating
% 131.54/122.64 eprover: CPU time limit exceeded, terminating
% 133.76/124.65 eprover: CPU time limit exceeded, terminating
% 135.96/126.66 eprover: CPU time limit exceeded, terminating
% 138.12/128.68 eprover: CPU time limit exceeded, terminating
% 140.24/130.69 eprover: CPU time limit exceeded, terminating
% 142.43/132.70 eprover: CPU time limit exceeded, terminating
% 144.61/134.72 eprover: CPU time limit exceeded, terminating
% 146.76/136.73 eprover: CPU time limit exceeded, terminating
% 148.93/138.74 eprover: CPU time limit exceeded, terminating
% 151.12/140.75 eprover: CPU time limit exceeded, terminating
% 153.29/142.77 eprover: CPU time limit exceeded, terminating
% 155.41/144.78 eprover: CPU time limit exceeded, terminating
% 157.58/146.79 eprover: CPU time limit exceeded, terminating
% 159.79/148.80 eprover: CPU time limit exceeded, terminating
% 161.93/150.82 eprover: CPU time limit exceeded, terminating
% 164.11/152.83 eprover: CPU time limit exceeded, terminating
% 166.24/154.84 eprover: CPU time limit exceeded, terminating
% 168.46/156.86 eprover: CPU time limit exceeded, terminating
% 170.55/158.87 eprover: CPU time limit exceeded, terminating
% 172.74/160.88 eprover: CPU time limit exceeded, terminating
% 174.91/162.89 eprover: CPU time limit exceeded, terminating
% 177.01/164.91 eprover: CPU time limit exceeded, terminating
% 179.18/166.92 eprover: CPU time limit exceeded, terminating
% 181.36/168.93 eprover: CPU time limit exceeded, terminating
% 183.46/170.94 eprover: CPU time limit exceeded, terminating
% 185.67/172.95 eprover: CPU time limit exceeded, terminating
% 187.77/174.96 eprover: CPU time limit exceeded, terminating
% 189.95/176.98 eprover: CPU time limit exceeded, terminating
% 192.12/178.99 eprover: CPU time limit exceeded, terminating
% 194.23/181.00 eprover: CPU time limit exceeded, terminating
% 196.42/183.01 eprover: CPU time limit exceeded, terminating
% 198.52/185.02 eprover: CPU time limit exceeded, terminating
% 200.68/187.04 eprover: CPU time limit exceeded, terminating
% 202.89/189.05 eprover: CPU time limit exceeded, terminating
% 205.05/191.06 eprover: CPU time limit exceeded, terminating
% 207.18/193.08 eprover: CPU time limit exceeded, terminating
% 209.36/195.09 eprover: CPU time limit exceeded, terminating
% 211.50/197.10 eprover: CPU time limit exceeded, terminating
% 213.71/199.11 eprover: CPU time limit exceeded, terminating
% 215.85/201.12 eprover: CPU time limit exceeded, terminating
% 217.97/203.14 eprover: CPU time limit exceeded, terminating
% 220.18/205.15 eprover: CPU time limit exceeded, terminating
% 222.34/207.16 eprover: CPU time limit exceeded, terminating
% 224.46/209.17 eprover: CPU time limit exceeded, terminating
% 226.65/211.19 eprover: CPU time limit exceeded, terminating
% 228.83/213.20 eprover: CPU time limit exceeded, terminating
% 230.89/215.21 eprover: CPU time limit exceeded, terminating
% 232.97/217.23 eprover: CPU time limit exceeded, terminating
% 235.13/219.24 eprover: CPU time limit exceeded, terminating
% 237.26/221.25 eprover: CPU time limit exceeded, terminating
% 239.37/223.26 eprover: CPU time limit exceeded, terminating
% 241.58/225.28 eprover: CPU time limit exceeded, terminating
% 243.75/227.29 eprover: CPU time limit exceeded, terminating
% 245.91/229.30 eprover: CPU time limit exceeded, terminating
% 248.04/231.32 eprover: CPU time limit exceeded, terminating
% 250.19/233.33 eprover: CPU time limit exceeded, terminating
% 252.24/235.34 eprover: CPU time limit exceeded, terminating
% 254.33/237.36 eprover: CPU time limit exceeded, terminating
% 256.41/239.37 eprover: CPU time limit exceeded, terminating
% 258.58/241.38 eprover: CPU time limit exceeded, terminating
% 260.67/243.40 eprover: CPU time limit exceeded, terminating
% 262.85/245.41 eprover: CPU time limit exceeded, terminating
% 264.98/247.42 eprover: CPU time limit exceeded, terminating
% 267.08/249.44 eprover: CPU time limit exceeded, terminating
% 269.28/251.45 eprover: CPU time limit exceeded, terminating
% 271.38/253.46 eprover: CPU time limit exceeded, terminating
% 273.52/255.47 eprover: CPU time limit exceeded, terminating
% 275.68/257.49 eprover: CPU time limit exceeded, terminating
% 277.88/259.50 eprover: CPU time limit exceeded, terminating
% 280.04/261.51 eprover: CPU time limit exceeded, terminating
% 282.21/263.53 eprover: CPU time limit exceeded, terminating
% 284.35/265.54 eprover: CPU time limit exceeded, terminating
% 286.49/267.55 eprover: CPU time limit exceeded, terminating
% 288.68/269.57 eprover: CPU time limit exceeded, terminating
% 290.79/271.58 eprover: CPU time limit exceeded, terminating
% 292.95/273.59 eprover: CPU time limit exceeded, terminating
% 295.08/275.60 eprover: CPU time limit exceeded, terminating
% 297.26/277.62 eprover: CPU time limit exceeded, terminating
% 299.27/279.63 eprover: CPU time limit exceeded, terminating
% 300.04/280.28 eprover: CPU time limit exceeded, terminating
% 300.04/280.30 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------