TSTP Solution File: SEU411+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU411+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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 : Tue Jul 19 10:13:46 EDT 2022
% Result : Timeout 286.94s 259.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU411+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n007.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jun 19 16:25:14 EDT 2022
% 0.13/0.34 % CPUTime :
% 11.64/11.74 eprover: CPU time limit exceeded, terminating
% 13.91/13.75 eprover: CPU time limit exceeded, terminating
% 16.20/15.77 eprover: CPU time limit exceeded, terminating
% 18.41/17.78 eprover: CPU time limit exceeded, terminating
% 20.65/19.80 eprover: CPU time limit exceeded, terminating
% 22.83/21.81 eprover: CPU time limit exceeded, terminating
% 25.08/23.83 eprover: CPU time limit exceeded, terminating
% 27.27/25.84 eprover: CPU time limit exceeded, terminating
% 29.62/27.86 eprover: CPU time limit exceeded, terminating
% 31.82/29.87 eprover: CPU time limit exceeded, terminating
% 34.06/31.89 eprover: CPU time limit exceeded, terminating
% 36.30/33.90 eprover: CPU time limit exceeded, terminating
% 38.58/35.92 eprover: CPU time limit exceeded, terminating
% 40.80/37.93 eprover: CPU time limit exceeded, terminating
% 43.02/39.94 eprover: CPU time limit exceeded, terminating
% 45.32/41.96 eprover: CPU time limit exceeded, terminating
% 47.58/43.97 eprover: CPU time limit exceeded, terminating
% 49.85/45.99 eprover: CPU time limit exceeded, terminating
% 52.04/48.00 eprover: CPU time limit exceeded, terminating
% 54.27/50.02 eprover: CPU time limit exceeded, terminating
% 56.52/52.03 eprover: CPU time limit exceeded, terminating
% 58.73/54.05 eprover: CPU time limit exceeded, terminating
% 61.01/56.06 eprover: CPU time limit exceeded, terminating
% 63.31/58.08 eprover: CPU time limit exceeded, terminating
% 65.50/60.09 eprover: CPU time limit exceeded, terminating
% 67.78/62.11 eprover: CPU time limit exceeded, terminating
% 70.03/64.12 eprover: CPU time limit exceeded, terminating
% 72.21/66.13 eprover: CPU time limit exceeded, terminating
% 74.47/68.15 eprover: CPU time limit exceeded, terminating
% 76.70/70.16 eprover: CPU time limit exceeded, terminating
% 78.93/72.18 eprover: CPU time limit exceeded, terminating
% 81.19/74.19 eprover: CPU time limit exceeded, terminating
% 83.37/76.21 eprover: CPU time limit exceeded, terminating
% 85.62/78.22 eprover: CPU time limit exceeded, terminating
% 87.84/80.24 eprover: CPU time limit exceeded, terminating
% 90.12/82.25 eprover: CPU time limit exceeded, terminating
% 92.35/84.27 eprover: CPU time limit exceeded, terminating
% 94.62/86.29 eprover: CPU time limit exceeded, terminating
% 96.89/88.30 eprover: CPU time limit exceeded, terminating
% 99.04/90.31 eprover: CPU time limit exceeded, terminating
% 101.25/92.34 eprover: CPU time limit exceeded, terminating
% 103.55/94.36 eprover: CPU time limit exceeded, terminating
% 105.79/96.37 eprover: CPU time limit exceeded, terminating
% 108.00/98.39 eprover: CPU time limit exceeded, terminating
% 110.24/100.40 eprover: CPU time limit exceeded, terminating
% 112.50/102.42 eprover: CPU time limit exceeded, terminating
% 114.69/104.43 eprover: CPU time limit exceeded, terminating
% 116.93/106.45 eprover: CPU time limit exceeded, terminating
% 119.16/108.46 eprover: CPU time limit exceeded, terminating
% 121.37/110.48 eprover: CPU time limit exceeded, terminating
% 123.54/112.49 eprover: CPU time limit exceeded, terminating
% 125.70/114.51 eprover: CPU time limit exceeded, terminating
% 127.97/116.52 eprover: CPU time limit exceeded, terminating
% 130.18/118.54 eprover: CPU time limit exceeded, terminating
% 132.43/120.57 eprover: CPU time limit exceeded, terminating
% 134.65/122.61 eprover: CPU time limit exceeded, terminating
% 136.83/124.63 eprover: CPU time limit exceeded, terminating
% 139.14/126.65 eprover: CPU time limit exceeded, terminating
% 141.36/128.66 eprover: CPU time limit exceeded, terminating
% 143.66/130.68 eprover: CPU time limit exceeded, terminating
% 145.89/132.70 eprover: CPU time limit exceeded, terminating
% 148.13/134.72 eprover: CPU time limit exceeded, terminating
% 150.41/136.73 eprover: CPU time limit exceeded, terminating
% 152.62/138.75 eprover: CPU time limit exceeded, terminating
% 154.82/140.76 eprover: CPU time limit exceeded, terminating
% 157.07/142.78 eprover: CPU time limit exceeded, terminating
% 159.33/144.79 eprover: CPU time limit exceeded, terminating
% 161.63/146.81 eprover: CPU time limit exceeded, terminating
% 163.90/148.82 eprover: CPU time limit exceeded, terminating
% 166.14/150.84 eprover: CPU time limit exceeded, terminating
% 168.31/152.85 eprover: CPU time limit exceeded, terminating
% 170.52/154.86 eprover: CPU time limit exceeded, terminating
% 172.75/156.88 eprover: CPU time limit exceeded, terminating
% 174.98/158.89 eprover: CPU time limit exceeded, terminating
% 177.27/160.90 eprover: CPU time limit exceeded, terminating
% 179.50/162.92 eprover: CPU time limit exceeded, terminating
% 181.75/164.93 eprover: CPU time limit exceeded, terminating
% 184.00/166.95 eprover: CPU time limit exceeded, terminating
% 186.15/168.96 eprover: CPU time limit exceeded, terminating
% 188.37/170.98 eprover: CPU time limit exceeded, terminating
% 190.66/173.00 eprover: CPU time limit exceeded, terminating
% 192.82/175.01 eprover: CPU time limit exceeded, terminating
% 195.15/177.03 eprover: CPU time limit exceeded, terminating
% 197.33/179.04 eprover: CPU time limit exceeded, terminating
% 199.60/181.06 eprover: CPU time limit exceeded, terminating
% 201.79/183.07 eprover: CPU time limit exceeded, terminating
% 204.12/185.09 eprover: CPU time limit exceeded, terminating
% 206.38/187.10 eprover: CPU time limit exceeded, terminating
% 208.53/189.11 eprover: CPU time limit exceeded, terminating
% 210.85/191.12 eprover: CPU time limit exceeded, terminating
% 213.07/193.14 eprover: CPU time limit exceeded, terminating
% 215.30/195.15 eprover: CPU time limit exceeded, terminating
% 217.53/197.16 eprover: CPU time limit exceeded, terminating
% 219.83/199.18 eprover: CPU time limit exceeded, terminating
% 222.06/201.19 eprover: CPU time limit exceeded, terminating
% 224.30/203.20 eprover: CPU time limit exceeded, terminating
% 226.51/205.21 eprover: CPU time limit exceeded, terminating
% 228.77/207.22 eprover: CPU time limit exceeded, terminating
% 230.99/209.24 eprover: CPU time limit exceeded, terminating
% 233.22/211.25 eprover: CPU time limit exceeded, terminating
% 235.43/213.27 eprover: CPU time limit exceeded, terminating
% 237.68/215.28 eprover: CPU time limit exceeded, terminating
% 239.97/217.30 eprover: CPU time limit exceeded, terminating
% 242.18/219.31 eprover: CPU time limit exceeded, terminating
% 244.43/221.33 eprover: CPU time limit exceeded, terminating
% 246.66/223.34 eprover: CPU time limit exceeded, terminating
% 248.86/225.35 eprover: CPU time limit exceeded, terminating
% 251.09/227.36 eprover: CPU time limit exceeded, terminating
% 253.35/229.38 eprover: CPU time limit exceeded, terminating
% 255.56/231.39 eprover: CPU time limit exceeded, terminating
% 257.86/233.41 eprover: CPU time limit exceeded, terminating
% 260.09/235.42 eprover: CPU time limit exceeded, terminating
% 262.33/237.44 eprover: CPU time limit exceeded, terminating
% 264.57/239.45 eprover: CPU time limit exceeded, terminating
% 266.76/241.46 eprover: CPU time limit exceeded, terminating
% 268.99/243.48 eprover: CPU time limit exceeded, terminating
% 271.25/245.49 eprover: CPU time limit exceeded, terminating
% 273.55/247.51 eprover: CPU time limit exceeded, terminating
% 275.72/249.52 eprover: CPU time limit exceeded, terminating
% 277.99/251.53 eprover: CPU time limit exceeded, terminating
% 280.18/253.55 eprover: CPU time limit exceeded, terminating
% 282.38/255.56 eprover: CPU time limit exceeded, terminating
% 284.65/257.58 eprover: CPU time limit exceeded, terminating
% 286.94/259.59 eprover: CPU time limit exceeded, terminating
% 289.07/261.61 eprover: CPU time limit exceeded, terminating
% 291.38/263.62 eprover: CPU time limit exceeded, terminating
% 293.59/265.63 eprover: CPU time limit exceeded, terminating
% 295.86/267.64 eprover: CPU time limit exceeded, terminating
% 298.07/269.66 eprover: CPU time limit exceeded, terminating
% 300.06/271.40 eprover: CPU time limit exceeded, terminating
% 300.06/271.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------