TSTP Solution File: SEU385+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU385+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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:34 EDT 2022
% Result : Timeout 285.96s 279.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SEU385+2 : TPTP v8.1.0. Released v3.3.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.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 : Sun Jun 19 23:18:14 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.38/3.60 eprover: CPU time limit exceeded, terminating
% 5.50/5.61 eprover: CPU time limit exceeded, terminating
% 7.58/7.62 eprover: CPU time limit exceeded, terminating
% 9.60/9.63 eprover: CPU time limit exceeded, terminating
% 11.65/11.64 eprover: CPU time limit exceeded, terminating
% 13.71/13.65 eprover: CPU time limit exceeded, terminating
% 15.78/15.66 eprover: CPU time limit exceeded, terminating
% 17.81/17.67 eprover: CPU time limit exceeded, terminating
% 19.92/19.68 eprover: CPU time limit exceeded, terminating
% 21.90/21.69 eprover: CPU time limit exceeded, terminating
% 24.04/23.70 eprover: CPU time limit exceeded, terminating
% 26.08/25.71 eprover: CPU time limit exceeded, terminating
% 28.12/27.73 eprover: CPU time limit exceeded, terminating
% 30.18/29.74 eprover: CPU time limit exceeded, terminating
% 32.23/31.75 eprover: CPU time limit exceeded, terminating
% 34.23/33.76 eprover: CPU time limit exceeded, terminating
% 36.30/35.77 eprover: CPU time limit exceeded, terminating
% 38.37/37.78 eprover: CPU time limit exceeded, terminating
% 40.48/39.79 eprover: CPU time limit exceeded, terminating
% 42.53/41.81 eprover: CPU time limit exceeded, terminating
% 44.61/43.82 eprover: CPU time limit exceeded, terminating
% 46.67/45.83 eprover: CPU time limit exceeded, terminating
% 48.69/47.84 eprover: CPU time limit exceeded, terminating
% 50.76/49.85 eprover: CPU time limit exceeded, terminating
% 52.79/51.86 eprover: CPU time limit exceeded, terminating
% 54.91/53.87 eprover: CPU time limit exceeded, terminating
% 56.89/55.89 eprover: CPU time limit exceeded, terminating
% 58.99/57.90 eprover: CPU time limit exceeded, terminating
% 61.08/59.91 eprover: CPU time limit exceeded, terminating
% 63.16/61.92 eprover: CPU time limit exceeded, terminating
% 65.17/63.93 eprover: CPU time limit exceeded, terminating
% 67.26/65.94 eprover: CPU time limit exceeded, terminating
% 69.37/67.95 eprover: CPU time limit exceeded, terminating
% 71.38/69.97 eprover: CPU time limit exceeded, terminating
% 73.45/71.98 eprover: CPU time limit exceeded, terminating
% 75.54/73.99 eprover: CPU time limit exceeded, terminating
% 77.61/76.00 eprover: CPU time limit exceeded, terminating
% 79.65/78.01 eprover: CPU time limit exceeded, terminating
% 81.71/80.03 eprover: CPU time limit exceeded, terminating
% 83.75/82.04 eprover: CPU time limit exceeded, terminating
% 85.83/84.05 eprover: CPU time limit exceeded, terminating
% 87.83/86.06 eprover: CPU time limit exceeded, terminating
% 90.00/88.07 eprover: CPU time limit exceeded, terminating
% 92.00/90.09 eprover: CPU time limit exceeded, terminating
% 94.10/92.10 eprover: CPU time limit exceeded, terminating
% 96.15/94.11 eprover: CPU time limit exceeded, terminating
% 98.16/96.12 eprover: CPU time limit exceeded, terminating
% 100.31/98.13 eprover: CPU time limit exceeded, terminating
% 102.36/100.14 eprover: CPU time limit exceeded, terminating
% 104.36/102.16 eprover: CPU time limit exceeded, terminating
% 106.43/104.17 eprover: CPU time limit exceeded, terminating
% 108.55/106.18 eprover: CPU time limit exceeded, terminating
% 110.61/108.19 eprover: CPU time limit exceeded, terminating
% 112.65/110.20 eprover: CPU time limit exceeded, terminating
% 114.74/112.21 eprover: CPU time limit exceeded, terminating
% 116.78/114.22 eprover: CPU time limit exceeded, terminating
% 118.83/116.24 eprover: CPU time limit exceeded, terminating
% 120.89/118.25 eprover: CPU time limit exceeded, terminating
% 122.97/120.26 eprover: CPU time limit exceeded, terminating
% 124.99/122.27 eprover: CPU time limit exceeded, terminating
% 127.09/124.28 eprover: CPU time limit exceeded, terminating
% 129.18/126.30 eprover: CPU time limit exceeded, terminating
% 131.23/128.31 eprover: CPU time limit exceeded, terminating
% 133.30/130.32 eprover: CPU time limit exceeded, terminating
% 135.34/132.33 eprover: CPU time limit exceeded, terminating
% 137.45/134.34 eprover: CPU time limit exceeded, terminating
% 139.46/136.35 eprover: CPU time limit exceeded, terminating
% 141.52/138.37 eprover: CPU time limit exceeded, terminating
% 143.56/140.38 eprover: CPU time limit exceeded, terminating
% 145.61/142.39 eprover: CPU time limit exceeded, terminating
% 147.73/144.40 eprover: CPU time limit exceeded, terminating
% 149.79/146.41 eprover: CPU time limit exceeded, terminating
% 151.84/148.42 eprover: CPU time limit exceeded, terminating
% 153.90/150.43 eprover: CPU time limit exceeded, terminating
% 155.98/152.44 eprover: CPU time limit exceeded, terminating
% 158.00/154.46 eprover: CPU time limit exceeded, terminating
% 160.06/156.47 eprover: CPU time limit exceeded, terminating
% 162.12/158.48 eprover: CPU time limit exceeded, terminating
% 164.17/160.49 eprover: CPU time limit exceeded, terminating
% 166.29/162.50 eprover: CPU time limit exceeded, terminating
% 168.36/164.51 eprover: CPU time limit exceeded, terminating
% 170.45/166.53 eprover: CPU time limit exceeded, terminating
% 172.48/168.54 eprover: CPU time limit exceeded, terminating
% 174.51/170.55 eprover: CPU time limit exceeded, terminating
% 176.57/172.56 eprover: CPU time limit exceeded, terminating
% 178.63/174.57 eprover: CPU time limit exceeded, terminating
% 180.67/176.58 eprover: CPU time limit exceeded, terminating
% 182.81/178.59 eprover: CPU time limit exceeded, terminating
% 184.87/180.61 eprover: CPU time limit exceeded, terminating
% 186.93/182.62 eprover: CPU time limit exceeded, terminating
% 188.95/184.63 eprover: CPU time limit exceeded, terminating
% 191.06/186.64 eprover: CPU time limit exceeded, terminating
% 193.11/188.65 eprover: CPU time limit exceeded, terminating
% 195.17/190.67 eprover: CPU time limit exceeded, terminating
% 197.23/192.68 eprover: CPU time limit exceeded, terminating
% 199.34/194.69 eprover: CPU time limit exceeded, terminating
% 201.33/196.70 eprover: CPU time limit exceeded, terminating
% 203.45/198.71 eprover: CPU time limit exceeded, terminating
% 205.51/200.72 eprover: CPU time limit exceeded, terminating
% 207.53/202.74 eprover: CPU time limit exceeded, terminating
% 209.59/204.75 eprover: CPU time limit exceeded, terminating
% 211.61/206.76 eprover: CPU time limit exceeded, terminating
% 213.71/208.77 eprover: CPU time limit exceeded, terminating
% 215.83/210.78 eprover: CPU time limit exceeded, terminating
% 217.82/212.80 eprover: CPU time limit exceeded, terminating
% 219.94/214.81 eprover: CPU time limit exceeded, terminating
% 222.00/216.83 eprover: CPU time limit exceeded, terminating
% 224.03/218.84 eprover: CPU time limit exceeded, terminating
% 226.11/220.85 eprover: CPU time limit exceeded, terminating
% 228.18/222.87 eprover: CPU time limit exceeded, terminating
% 230.24/224.88 eprover: CPU time limit exceeded, terminating
% 232.34/226.89 eprover: CPU time limit exceeded, terminating
% 234.40/228.90 eprover: CPU time limit exceeded, terminating
% 236.45/230.91 eprover: CPU time limit exceeded, terminating
% 238.50/232.93 eprover: CPU time limit exceeded, terminating
% 240.56/234.94 eprover: CPU time limit exceeded, terminating
% 242.59/236.95 eprover: CPU time limit exceeded, terminating
% 244.66/238.96 eprover: CPU time limit exceeded, terminating
% 246.79/240.97 eprover: CPU time limit exceeded, terminating
% 248.86/242.98 eprover: CPU time limit exceeded, terminating
% 250.84/245.00 eprover: CPU time limit exceeded, terminating
% 252.96/247.01 eprover: CPU time limit exceeded, terminating
% 255.03/249.02 eprover: CPU time limit exceeded, terminating
% 257.10/251.03 eprover: CPU time limit exceeded, terminating
% 259.12/253.04 eprover: CPU time limit exceeded, terminating
% 261.20/255.05 eprover: CPU time limit exceeded, terminating
% 263.23/257.07 eprover: CPU time limit exceeded, terminating
% 265.35/259.08 eprover: CPU time limit exceeded, terminating
% 267.42/261.09 eprover: CPU time limit exceeded, terminating
% 269.49/263.10 eprover: CPU time limit exceeded, terminating
% 271.54/265.12 eprover: CPU time limit exceeded, terminating
% 273.61/267.13 eprover: CPU time limit exceeded, terminating
% 275.66/269.14 eprover: CPU time limit exceeded, terminating
% 277.67/271.15 eprover: CPU time limit exceeded, terminating
% 279.73/273.16 eprover: CPU time limit exceeded, terminating
% 281.79/275.18 eprover: CPU time limit exceeded, terminating
% 283.92/277.19 eprover: CPU time limit exceeded, terminating
% 285.96/279.20 eprover: CPU time limit exceeded, terminating
% 287.99/281.21 eprover: CPU time limit exceeded, terminating
% 290.04/283.22 eprover: CPU time limit exceeded, terminating
% 292.17/285.23 eprover: CPU time limit exceeded, terminating
% 294.21/287.24 eprover: CPU time limit exceeded, terminating
% 296.22/289.26 eprover: CPU time limit exceeded, terminating
% 298.29/291.27 eprover: CPU time limit exceeded, terminating
% 300.03/292.88 eprover: CPU time limit exceeded, terminating
% 300.03/292.90 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------