TSTP Solution File: CSR116+32 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+32 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:42 EDT 2022
% Result : Timeout 286.30s 267.62s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : CSR116+32 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n026.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jun 10 16:18:03 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.86/3.90 eprover: CPU time limit exceeded, terminating
% 6.00/5.91 eprover: CPU time limit exceeded, terminating
% 8.15/7.92 eprover: CPU time limit exceeded, terminating
% 10.31/9.94 eprover: CPU time limit exceeded, terminating
% 12.47/11.95 eprover: CPU time limit exceeded, terminating
% 14.70/13.97 eprover: CPU time limit exceeded, terminating
% 16.86/15.98 eprover: CPU time limit exceeded, terminating
% 18.97/17.99 eprover: CPU time limit exceeded, terminating
% 21.13/20.01 eprover: CPU time limit exceeded, terminating
% 23.27/22.02 eprover: CPU time limit exceeded, terminating
% 25.50/24.03 eprover: CPU time limit exceeded, terminating
% 27.67/26.05 eprover: CPU time limit exceeded, terminating
% 29.83/28.06 eprover: CPU time limit exceeded, terminating
% 32.00/30.07 eprover: CPU time limit exceeded, terminating
% 34.18/32.08 eprover: CPU time limit exceeded, terminating
% 36.31/34.10 eprover: CPU time limit exceeded, terminating
% 38.52/36.11 eprover: CPU time limit exceeded, terminating
% 40.63/38.12 eprover: CPU time limit exceeded, terminating
% 42.83/40.14 eprover: CPU time limit exceeded, terminating
% 45.02/42.15 eprover: CPU time limit exceeded, terminating
% 47.16/44.16 eprover: CPU time limit exceeded, terminating
% 49.32/46.18 eprover: CPU time limit exceeded, terminating
% 51.48/48.19 eprover: CPU time limit exceeded, terminating
% 53.64/50.20 eprover: CPU time limit exceeded, terminating
% 55.74/52.22 eprover: CPU time limit exceeded, terminating
% 57.96/54.23 eprover: CPU time limit exceeded, terminating
% 60.08/56.24 eprover: CPU time limit exceeded, terminating
% 62.25/58.25 eprover: CPU time limit exceeded, terminating
% 64.40/60.26 eprover: CPU time limit exceeded, terminating
% 66.57/62.27 eprover: CPU time limit exceeded, terminating
% 68.73/64.29 eprover: CPU time limit exceeded, terminating
% 70.82/66.30 eprover: CPU time limit exceeded, terminating
% 73.01/68.31 eprover: CPU time limit exceeded, terminating
% 75.16/70.32 eprover: CPU time limit exceeded, terminating
% 77.32/72.34 eprover: CPU time limit exceeded, terminating
% 79.49/74.35 eprover: CPU time limit exceeded, terminating
% 81.51/76.36 eprover: CPU time limit exceeded, terminating
% 83.65/78.37 eprover: CPU time limit exceeded, terminating
% 85.79/80.38 eprover: CPU time limit exceeded, terminating
% 87.95/82.40 eprover: CPU time limit exceeded, terminating
% 90.07/84.41 eprover: CPU time limit exceeded, terminating
% 92.19/86.42 eprover: CPU time limit exceeded, terminating
% 94.40/88.43 eprover: CPU time limit exceeded, terminating
% 96.59/90.44 eprover: CPU time limit exceeded, terminating
% 98.70/92.46 eprover: CPU time limit exceeded, terminating
% 100.89/94.47 eprover: CPU time limit exceeded, terminating
% 103.02/96.48 eprover: CPU time limit exceeded, terminating
% 105.21/98.49 eprover: CPU time limit exceeded, terminating
% 107.32/100.51 eprover: CPU time limit exceeded, terminating
% 109.53/102.52 eprover: CPU time limit exceeded, terminating
% 111.64/104.53 eprover: CPU time limit exceeded, terminating
% 113.83/106.55 eprover: CPU time limit exceeded, terminating
% 115.98/108.56 eprover: CPU time limit exceeded, terminating
% 118.17/110.58 eprover: CPU time limit exceeded, terminating
% 120.29/112.59 eprover: CPU time limit exceeded, terminating
% 122.49/114.60 eprover: CPU time limit exceeded, terminating
% 124.65/116.62 eprover: CPU time limit exceeded, terminating
% 126.84/118.63 eprover: CPU time limit exceeded, terminating
% 129.00/120.64 eprover: CPU time limit exceeded, terminating
% 131.12/122.66 eprover: CPU time limit exceeded, terminating
% 133.35/124.67 eprover: CPU time limit exceeded, terminating
% 135.49/126.69 eprover: CPU time limit exceeded, terminating
% 137.67/128.70 eprover: CPU time limit exceeded, terminating
% 139.81/130.71 eprover: CPU time limit exceeded, terminating
% 142.00/132.73 eprover: CPU time limit exceeded, terminating
% 144.16/134.74 eprover: CPU time limit exceeded, terminating
% 146.24/136.75 eprover: CPU time limit exceeded, terminating
% 148.46/138.77 eprover: CPU time limit exceeded, terminating
% 150.64/140.78 eprover: CPU time limit exceeded, terminating
% 152.83/142.79 eprover: CPU time limit exceeded, terminating
% 154.96/144.80 eprover: CPU time limit exceeded, terminating
% 157.14/146.82 eprover: CPU time limit exceeded, terminating
% 159.26/148.83 eprover: CPU time limit exceeded, terminating
% 161.44/150.84 eprover: CPU time limit exceeded, terminating
% 163.61/152.85 eprover: CPU time limit exceeded, terminating
% 165.82/154.87 eprover: CPU time limit exceeded, terminating
% 167.96/156.88 eprover: CPU time limit exceeded, terminating
% 170.10/158.89 eprover: CPU time limit exceeded, terminating
% 172.27/160.91 eprover: CPU time limit exceeded, terminating
% 174.46/162.92 eprover: CPU time limit exceeded, terminating
% 176.63/164.93 eprover: CPU time limit exceeded, terminating
% 178.76/166.95 eprover: CPU time limit exceeded, terminating
% 180.92/168.96 eprover: CPU time limit exceeded, terminating
% 183.07/170.97 eprover: CPU time limit exceeded, terminating
% 185.21/172.98 eprover: CPU time limit exceeded, terminating
% 187.40/174.99 eprover: CPU time limit exceeded, terminating
% 189.57/177.01 eprover: CPU time limit exceeded, terminating
% 191.69/179.02 eprover: CPU time limit exceeded, terminating
% 193.84/181.03 eprover: CPU time limit exceeded, terminating
% 196.04/183.05 eprover: CPU time limit exceeded, terminating
% 198.20/185.06 eprover: CPU time limit exceeded, terminating
% 200.37/187.08 eprover: CPU time limit exceeded, terminating
% 202.53/189.09 eprover: CPU time limit exceeded, terminating
% 204.71/191.10 eprover: CPU time limit exceeded, terminating
% 206.84/193.12 eprover: CPU time limit exceeded, terminating
% 209.01/195.13 eprover: CPU time limit exceeded, terminating
% 211.14/197.14 eprover: CPU time limit exceeded, terminating
% 213.33/199.16 eprover: CPU time limit exceeded, terminating
% 215.49/201.17 eprover: CPU time limit exceeded, terminating
% 217.63/203.18 eprover: CPU time limit exceeded, terminating
% 219.84/205.20 eprover: CPU time limit exceeded, terminating
% 221.96/207.21 eprover: CPU time limit exceeded, terminating
% 224.16/209.22 eprover: CPU time limit exceeded, terminating
% 226.32/211.24 eprover: CPU time limit exceeded, terminating
% 228.50/213.25 eprover: CPU time limit exceeded, terminating
% 230.60/215.27 eprover: CPU time limit exceeded, terminating
% 232.64/217.28 eprover: CPU time limit exceeded, terminating
% 234.79/219.29 eprover: CPU time limit exceeded, terminating
% 236.96/221.31 eprover: CPU time limit exceeded, terminating
% 239.07/223.32 eprover: CPU time limit exceeded, terminating
% 241.29/225.34 eprover: CPU time limit exceeded, terminating
% 243.41/227.35 eprover: CPU time limit exceeded, terminating
% 245.61/229.36 eprover: CPU time limit exceeded, terminating
% 247.75/231.38 eprover: CPU time limit exceeded, terminating
% 249.89/233.39 eprover: CPU time limit exceeded, terminating
% 252.01/235.40 eprover: CPU time limit exceeded, terminating
% 254.09/237.42 eprover: CPU time limit exceeded, terminating
% 256.17/239.43 eprover: CPU time limit exceeded, terminating
% 258.31/241.45 eprover: CPU time limit exceeded, terminating
% 260.47/243.46 eprover: CPU time limit exceeded, terminating
% 262.63/245.47 eprover: CPU time limit exceeded, terminating
% 264.69/247.49 eprover: CPU time limit exceeded, terminating
% 266.86/249.50 eprover: CPU time limit exceeded, terminating
% 269.04/251.51 eprover: CPU time limit exceeded, terminating
% 271.15/253.52 eprover: CPU time limit exceeded, terminating
% 273.34/255.54 eprover: CPU time limit exceeded, terminating
% 275.46/257.55 eprover: CPU time limit exceeded, terminating
% 277.65/259.57 eprover: CPU time limit exceeded, terminating
% 279.80/261.58 eprover: CPU time limit exceeded, terminating
% 281.95/263.59 eprover: CPU time limit exceeded, terminating
% 284.08/265.61 eprover: CPU time limit exceeded, terminating
% 286.30/267.62 eprover: CPU time limit exceeded, terminating
% 288.42/269.63 eprover: CPU time limit exceeded, terminating
% 290.60/271.65 eprover: CPU time limit exceeded, terminating
% 292.78/273.66 eprover: CPU time limit exceeded, terminating
% 294.92/275.67 eprover: CPU time limit exceeded, terminating
% 296.99/277.69 eprover: CPU time limit exceeded, terminating
% 299.06/279.70 eprover: CPU time limit exceeded, terminating
% 300.02/280.56 eprover: CPU time limit exceeded, terminating
% 300.02/280.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------