TSTP Solution File: SEU381+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU381+2 : TPTP v8.1.0. Released v3.3.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 : Tue Jul 19 10:13:32 EDT 2022
% Result : Timeout 287.45s 279.39s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU381+2 : TPTP v8.1.0. Released v3.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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.34 % DateTime : Sat Jun 18 22:56:49 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.43/3.61 eprover: CPU time limit exceeded, terminating
% 5.53/5.62 eprover: CPU time limit exceeded, terminating
% 7.61/7.63 eprover: CPU time limit exceeded, terminating
% 9.63/9.65 eprover: CPU time limit exceeded, terminating
% 11.73/11.66 eprover: CPU time limit exceeded, terminating
% 13.78/13.67 eprover: CPU time limit exceeded, terminating
% 15.80/15.68 eprover: CPU time limit exceeded, terminating
% 17.91/17.69 eprover: CPU time limit exceeded, terminating
% 19.96/19.70 eprover: CPU time limit exceeded, terminating
% 22.03/21.71 eprover: CPU time limit exceeded, terminating
% 24.05/23.72 eprover: CPU time limit exceeded, terminating
% 26.12/25.73 eprover: CPU time limit exceeded, terminating
% 28.19/27.74 eprover: CPU time limit exceeded, terminating
% 30.25/29.76 eprover: CPU time limit exceeded, terminating
% 32.32/31.77 eprover: CPU time limit exceeded, terminating
% 34.38/33.78 eprover: CPU time limit exceeded, terminating
% 36.41/35.79 eprover: CPU time limit exceeded, terminating
% 38.51/37.80 eprover: CPU time limit exceeded, terminating
% 40.56/39.81 eprover: CPU time limit exceeded, terminating
% 42.63/41.82 eprover: CPU time limit exceeded, terminating
% 44.65/43.83 eprover: CPU time limit exceeded, terminating
% 48.69/45.84 eprover: CPU time limit exceeded, terminating
% 50.65/47.85 eprover: CPU time limit exceeded, terminating
% 52.78/49.86 eprover: CPU time limit exceeded, terminating
% 54.83/51.88 eprover: CPU time limit exceeded, terminating
% 56.92/53.89 eprover: CPU time limit exceeded, terminating
% 58.99/55.90 eprover: CPU time limit exceeded, terminating
% 61.02/57.91 eprover: CPU time limit exceeded, terminating
% 63.10/59.92 eprover: CPU time limit exceeded, terminating
% 65.14/61.93 eprover: CPU time limit exceeded, terminating
% 67.22/63.94 eprover: CPU time limit exceeded, terminating
% 69.23/65.95 eprover: CPU time limit exceeded, terminating
% 71.34/67.97 eprover: CPU time limit exceeded, terminating
% 73.35/69.98 eprover: CPU time limit exceeded, terminating
% 75.43/71.99 eprover: CPU time limit exceeded, terminating
% 77.50/74.11 eprover: CPU time limit exceeded, terminating
% 79.59/76.21 eprover: CPU time limit exceeded, terminating
% 81.57/78.23 eprover: CPU time limit exceeded, terminating
% 83.66/80.24 eprover: CPU time limit exceeded, terminating
% 85.74/82.25 eprover: CPU time limit exceeded, terminating
% 87.83/84.26 eprover: CPU time limit exceeded, terminating
% 89.84/86.27 eprover: CPU time limit exceeded, terminating
% 91.93/88.28 eprover: CPU time limit exceeded, terminating
% 93.95/90.29 eprover: CPU time limit exceeded, terminating
% 96.05/92.30 eprover: CPU time limit exceeded, terminating
% 98.13/94.31 eprover: CPU time limit exceeded, terminating
% 100.19/96.32 eprover: CPU time limit exceeded, terminating
% 102.17/98.34 eprover: CPU time limit exceeded, terminating
% 104.29/100.35 eprover: CPU time limit exceeded, terminating
% 106.33/102.36 eprover: CPU time limit exceeded, terminating
% 108.35/104.37 eprover: CPU time limit exceeded, terminating
% 110.47/106.38 eprover: CPU time limit exceeded, terminating
% 112.52/108.39 eprover: CPU time limit exceeded, terminating
% 114.59/110.40 eprover: CPU time limit exceeded, terminating
% 116.62/112.41 eprover: CPU time limit exceeded, terminating
% 118.71/114.42 eprover: CPU time limit exceeded, terminating
% 120.79/116.43 eprover: CPU time limit exceeded, terminating
% 122.82/118.44 eprover: CPU time limit exceeded, terminating
% 124.88/120.45 eprover: CPU time limit exceeded, terminating
% 126.96/122.47 eprover: CPU time limit exceeded, terminating
% 128.97/124.48 eprover: CPU time limit exceeded, terminating
% 131.04/126.49 eprover: CPU time limit exceeded, terminating
% 133.11/128.50 eprover: CPU time limit exceeded, terminating
% 135.16/130.51 eprover: CPU time limit exceeded, terminating
% 137.25/132.52 eprover: CPU time limit exceeded, terminating
% 139.32/134.53 eprover: CPU time limit exceeded, terminating
% 141.33/136.54 eprover: CPU time limit exceeded, terminating
% 143.43/138.55 eprover: CPU time limit exceeded, terminating
% 145.43/140.57 eprover: CPU time limit exceeded, terminating
% 147.53/142.58 eprover: CPU time limit exceeded, terminating
% 149.53/144.59 eprover: CPU time limit exceeded, terminating
% 151.61/146.60 eprover: CPU time limit exceeded, terminating
% 153.72/148.61 eprover: CPU time limit exceeded, terminating
% 155.79/150.62 eprover: CPU time limit exceeded, terminating
% 157.81/152.64 eprover: CPU time limit exceeded, terminating
% 159.88/154.65 eprover: CPU time limit exceeded, terminating
% 161.90/156.66 eprover: CPU time limit exceeded, terminating
% 164.00/158.67 eprover: CPU time limit exceeded, terminating
% 166.10/160.68 eprover: CPU time limit exceeded, terminating
% 168.12/162.69 eprover: CPU time limit exceeded, terminating
% 170.21/164.70 eprover: CPU time limit exceeded, terminating
% 172.28/166.71 eprover: CPU time limit exceeded, terminating
% 174.33/168.72 eprover: CPU time limit exceeded, terminating
% 176.38/170.73 eprover: CPU time limit exceeded, terminating
% 178.37/172.75 eprover: CPU time limit exceeded, terminating
% 180.49/174.76 eprover: CPU time limit exceeded, terminating
% 182.53/176.77 eprover: CPU time limit exceeded, terminating
% 184.55/178.78 eprover: CPU time limit exceeded, terminating
% 186.68/180.79 eprover: CPU time limit exceeded, terminating
% 188.76/182.80 eprover: CPU time limit exceeded, terminating
% 190.79/184.81 eprover: CPU time limit exceeded, terminating
% 192.87/186.82 eprover: CPU time limit exceeded, terminating
% 194.92/188.83 eprover: CPU time limit exceeded, terminating
% 196.95/190.85 eprover: CPU time limit exceeded, terminating
% 199.06/192.86 eprover: CPU time limit exceeded, terminating
% 201.06/194.87 eprover: CPU time limit exceeded, terminating
% 203.16/196.88 eprover: CPU time limit exceeded, terminating
% 205.18/198.89 eprover: CPU time limit exceeded, terminating
% 207.28/200.90 eprover: CPU time limit exceeded, terminating
% 209.34/202.91 eprover: CPU time limit exceeded, terminating
% 211.39/204.92 eprover: CPU time limit exceeded, terminating
% 213.46/206.93 eprover: CPU time limit exceeded, terminating
% 215.50/208.94 eprover: CPU time limit exceeded, terminating
% 217.53/210.96 eprover: CPU time limit exceeded, terminating
% 219.56/212.97 eprover: CPU time limit exceeded, terminating
% 221.64/214.98 eprover: CPU time limit exceeded, terminating
% 223.76/216.99 eprover: CPU time limit exceeded, terminating
% 225.83/219.00 eprover: CPU time limit exceeded, terminating
% 227.88/221.01 eprover: CPU time limit exceeded, terminating
% 229.92/223.02 eprover: CPU time limit exceeded, terminating
% 232.00/225.03 eprover: CPU time limit exceeded, terminating
% 234.01/227.04 eprover: CPU time limit exceeded, terminating
% 236.09/229.05 eprover: CPU time limit exceeded, terminating
% 238.11/231.07 eprover: CPU time limit exceeded, terminating
% 240.19/233.08 eprover: CPU time limit exceeded, terminating
% 242.21/235.09 eprover: CPU time limit exceeded, terminating
% 244.29/237.10 eprover: CPU time limit exceeded, terminating
% 246.42/239.11 eprover: CPU time limit exceeded, terminating
% 248.47/241.12 eprover: CPU time limit exceeded, terminating
% 250.49/243.13 eprover: CPU time limit exceeded, terminating
% 252.55/245.14 eprover: CPU time limit exceeded, terminating
% 254.57/247.15 eprover: CPU time limit exceeded, terminating
% 256.65/249.17 eprover: CPU time limit exceeded, terminating
% 258.68/251.18 eprover: CPU time limit exceeded, terminating
% 260.84/253.19 eprover: CPU time limit exceeded, terminating
% 262.89/255.20 eprover: CPU time limit exceeded, terminating
% 264.93/257.21 eprover: CPU time limit exceeded, terminating
% 266.95/259.24 eprover: CPU time limit exceeded, terminating
% 268.99/261.25 eprover: CPU time limit exceeded, terminating
% 271.07/263.26 eprover: CPU time limit exceeded, terminating
% 273.10/265.27 eprover: CPU time limit exceeded, terminating
% 275.17/267.28 eprover: CPU time limit exceeded, terminating
% 277.20/269.29 eprover: CPU time limit exceeded, terminating
% 279.30/271.31 eprover: CPU time limit exceeded, terminating
% 281.35/273.32 eprover: CPU time limit exceeded, terminating
% 283.40/275.33 eprover: CPU time limit exceeded, terminating
% 285.46/277.35 eprover: CPU time limit exceeded, terminating
% 287.45/279.39 eprover: CPU time limit exceeded, terminating
% 289.51/281.40 eprover: CPU time limit exceeded, terminating
% 291.62/283.42 eprover: CPU time limit exceeded, terminating
% 293.68/285.44 eprover: CPU time limit exceeded, terminating
% 295.70/287.49 eprover: CPU time limit exceeded, terminating
% 297.82/289.50 eprover: CPU time limit exceeded, terminating
% 299.85/291.53 eprover: CPU time limit exceeded, terminating
% 300.29/291.91 eprover: CPU time limit exceeded, terminating
% 300.29/291.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------