TSTP Solution File: SEU374+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU374+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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:30 EDT 2022
% Result : Timeout 287.41s 281.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : SEU374+2 : TPTP v8.1.0. Released v3.3.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n006.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sun Jun 19 10:20:55 EDT 2022
% 0.14/0.36 % CPUTime :
% 3.34/3.50 eprover: CPU time limit exceeded, terminating
% 5.35/5.52 eprover: CPU time limit exceeded, terminating
% 7.42/7.53 eprover: CPU time limit exceeded, terminating
% 9.49/9.55 eprover: CPU time limit exceeded, terminating
% 11.56/11.56 eprover: CPU time limit exceeded, terminating
% 13.63/13.57 eprover: CPU time limit exceeded, terminating
% 15.71/15.59 eprover: CPU time limit exceeded, terminating
% 17.74/17.60 eprover: CPU time limit exceeded, terminating
% 19.77/19.62 eprover: CPU time limit exceeded, terminating
% 21.90/21.63 eprover: CPU time limit exceeded, terminating
% 23.96/23.64 eprover: CPU time limit exceeded, terminating
% 25.97/25.66 eprover: CPU time limit exceeded, terminating
% 28.05/27.67 eprover: CPU time limit exceeded, terminating
% 30.11/29.69 eprover: CPU time limit exceeded, terminating
% 32.14/31.70 eprover: CPU time limit exceeded, terminating
% 34.21/33.72 eprover: CPU time limit exceeded, terminating
% 36.32/35.73 eprover: CPU time limit exceeded, terminating
% 38.37/37.74 eprover: CPU time limit exceeded, terminating
% 40.42/39.76 eprover: CPU time limit exceeded, terminating
% 42.47/41.77 eprover: CPU time limit exceeded, terminating
% 44.55/43.79 eprover: CPU time limit exceeded, terminating
% 46.60/45.80 eprover: CPU time limit exceeded, terminating
% 48.62/47.81 eprover: CPU time limit exceeded, terminating
% 50.70/49.83 eprover: CPU time limit exceeded, terminating
% 52.77/51.84 eprover: CPU time limit exceeded, terminating
% 54.76/53.86 eprover: CPU time limit exceeded, terminating
% 56.89/55.87 eprover: CPU time limit exceeded, terminating
% 58.95/57.88 eprover: CPU time limit exceeded, terminating
% 60.97/59.90 eprover: CPU time limit exceeded, terminating
% 63.01/61.91 eprover: CPU time limit exceeded, terminating
% 65.13/63.93 eprover: CPU time limit exceeded, terminating
% 67.15/65.94 eprover: CPU time limit exceeded, terminating
% 69.24/67.96 eprover: CPU time limit exceeded, terminating
% 71.32/69.97 eprover: CPU time limit exceeded, terminating
% 73.34/71.98 eprover: CPU time limit exceeded, terminating
% 75.38/74.00 eprover: CPU time limit exceeded, terminating
% 77.42/76.01 eprover: CPU time limit exceeded, terminating
% 79.52/78.03 eprover: CPU time limit exceeded, terminating
% 81.60/80.04 eprover: CPU time limit exceeded, terminating
% 83.66/82.05 eprover: CPU time limit exceeded, terminating
% 85.72/84.07 eprover: CPU time limit exceeded, terminating
% 87.77/86.08 eprover: CPU time limit exceeded, terminating
% 89.82/88.10 eprover: CPU time limit exceeded, terminating
% 91.85/90.11 eprover: CPU time limit exceeded, terminating
% 93.91/92.12 eprover: CPU time limit exceeded, terminating
% 96.01/94.14 eprover: CPU time limit exceeded, terminating
% 98.07/96.15 eprover: CPU time limit exceeded, terminating
% 100.10/98.16 eprover: CPU time limit exceeded, terminating
% 102.16/100.18 eprover: CPU time limit exceeded, terminating
% 104.20/102.19 eprover: CPU time limit exceeded, terminating
% 106.27/104.20 eprover: CPU time limit exceeded, terminating
% 108.36/106.22 eprover: CPU time limit exceeded, terminating
% 110.40/108.23 eprover: CPU time limit exceeded, terminating
% 112.41/110.24 eprover: CPU time limit exceeded, terminating
% 114.45/112.26 eprover: CPU time limit exceeded, terminating
% 116.57/114.27 eprover: CPU time limit exceeded, terminating
% 118.62/116.28 eprover: CPU time limit exceeded, terminating
% 120.71/118.29 eprover: CPU time limit exceeded, terminating
% 122.75/120.31 eprover: CPU time limit exceeded, terminating
% 124.75/122.32 eprover: CPU time limit exceeded, terminating
% 126.83/124.33 eprover: CPU time limit exceeded, terminating
% 128.93/126.35 eprover: CPU time limit exceeded, terminating
% 130.96/128.36 eprover: CPU time limit exceeded, terminating
% 133.03/130.37 eprover: CPU time limit exceeded, terminating
% 135.08/132.38 eprover: CPU time limit exceeded, terminating
% 137.15/134.40 eprover: CPU time limit exceeded, terminating
% 139.16/136.41 eprover: CPU time limit exceeded, terminating
% 141.23/138.43 eprover: CPU time limit exceeded, terminating
% 143.34/140.44 eprover: CPU time limit exceeded, terminating
% 145.41/142.45 eprover: CPU time limit exceeded, terminating
% 147.44/144.47 eprover: CPU time limit exceeded, terminating
% 149.52/146.48 eprover: CPU time limit exceeded, terminating
% 151.57/148.49 eprover: CPU time limit exceeded, terminating
% 153.64/150.51 eprover: CPU time limit exceeded, terminating
% 155.64/152.52 eprover: CPU time limit exceeded, terminating
% 157.75/154.53 eprover: CPU time limit exceeded, terminating
% 159.82/156.55 eprover: CPU time limit exceeded, terminating
% 161.88/158.56 eprover: CPU time limit exceeded, terminating
% 163.93/160.57 eprover: CPU time limit exceeded, terminating
% 165.98/162.58 eprover: CPU time limit exceeded, terminating
% 168.05/164.60 eprover: CPU time limit exceeded, terminating
% 170.07/166.61 eprover: CPU time limit exceeded, terminating
% 172.14/168.62 eprover: CPU time limit exceeded, terminating
% 174.13/170.63 eprover: CPU time limit exceeded, terminating
% 176.28/172.65 eprover: CPU time limit exceeded, terminating
% 178.30/174.66 eprover: CPU time limit exceeded, terminating
% 180.39/176.68 eprover: CPU time limit exceeded, terminating
% 182.42/178.69 eprover: CPU time limit exceeded, terminating
% 184.48/180.70 eprover: CPU time limit exceeded, terminating
% 186.51/182.72 eprover: CPU time limit exceeded, terminating
% 188.60/184.73 eprover: CPU time limit exceeded, terminating
% 190.69/186.75 eprover: CPU time limit exceeded, terminating
% 192.76/188.76 eprover: CPU time limit exceeded, terminating
% 194.81/190.77 eprover: CPU time limit exceeded, terminating
% 196.83/192.79 eprover: CPU time limit exceeded, terminating
% 198.93/194.80 eprover: CPU time limit exceeded, terminating
% 200.91/196.82 eprover: CPU time limit exceeded, terminating
% 203.00/198.83 eprover: CPU time limit exceeded, terminating
% 205.09/200.84 eprover: CPU time limit exceeded, terminating
% 207.14/202.85 eprover: CPU time limit exceeded, terminating
% 209.20/204.87 eprover: CPU time limit exceeded, terminating
% 211.24/206.88 eprover: CPU time limit exceeded, terminating
% 213.29/208.89 eprover: CPU time limit exceeded, terminating
% 215.32/210.91 eprover: CPU time limit exceeded, terminating
% 217.38/212.92 eprover: CPU time limit exceeded, terminating
% 219.46/214.93 eprover: CPU time limit exceeded, terminating
% 221.46/216.95 eprover: CPU time limit exceeded, terminating
% 223.54/218.96 eprover: CPU time limit exceeded, terminating
% 225.66/220.97 eprover: CPU time limit exceeded, terminating
% 227.66/222.99 eprover: CPU time limit exceeded, terminating
% 229.77/225.00 eprover: CPU time limit exceeded, terminating
% 231.83/227.02 eprover: CPU time limit exceeded, terminating
% 233.87/229.03 eprover: CPU time limit exceeded, terminating
% 235.95/231.05 eprover: CPU time limit exceeded, terminating
% 237.92/233.06 eprover: CPU time limit exceeded, terminating
% 240.01/235.08 eprover: CPU time limit exceeded, terminating
% 242.14/237.09 eprover: CPU time limit exceeded, terminating
% 244.18/239.11 eprover: CPU time limit exceeded, terminating
% 246.25/241.12 eprover: CPU time limit exceeded, terminating
% 248.27/243.14 eprover: CPU time limit exceeded, terminating
% 250.38/245.15 eprover: CPU time limit exceeded, terminating
% 252.43/247.17 eprover: CPU time limit exceeded, terminating
% 254.43/249.18 eprover: CPU time limit exceeded, terminating
% 256.51/251.20 eprover: CPU time limit exceeded, terminating
% 258.59/253.22 eprover: CPU time limit exceeded, terminating
% 260.65/255.23 eprover: CPU time limit exceeded, terminating
% 262.68/257.25 eprover: CPU time limit exceeded, terminating
% 264.78/259.26 eprover: CPU time limit exceeded, terminating
% 266.76/261.28 eprover: CPU time limit exceeded, terminating
% 268.86/263.29 eprover: CPU time limit exceeded, terminating
% 270.92/265.30 eprover: CPU time limit exceeded, terminating
% 273.01/267.32 eprover: CPU time limit exceeded, terminating
% 275.04/269.33 eprover: CPU time limit exceeded, terminating
% 277.10/271.35 eprover: CPU time limit exceeded, terminating
% 279.20/273.36 eprover: CPU time limit exceeded, terminating
% 281.25/275.38 eprover: CPU time limit exceeded, terminating
% 283.32/277.39 eprover: CPU time limit exceeded, terminating
% 285.32/279.40 eprover: CPU time limit exceeded, terminating
% 287.41/281.42 eprover: CPU time limit exceeded, terminating
% 289.46/283.43 eprover: CPU time limit exceeded, terminating
% 291.50/285.45 eprover: CPU time limit exceeded, terminating
% 293.56/287.46 eprover: CPU time limit exceeded, terminating
% 295.61/289.47 eprover: CPU time limit exceeded, terminating
% 297.69/291.49 eprover: CPU time limit exceeded, terminating
% 299.76/293.50 eprover: CPU time limit exceeded, terminating
% 300.04/293.77 eprover: CPU time limit exceeded, terminating
% 300.04/293.78 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------