TSTP Solution File: SEU421+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU421+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:53 EDT 2022
% Result : Timeout 287.71s 264.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SEU421+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n013.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Sun Jun 19 18:12:59 EDT 2022
% 0.11/0.32 % CPUTime :
% 30.26/30.30 eprover: CPU time limit exceeded, terminating
% 32.51/32.31 eprover: CPU time limit exceeded, terminating
% 34.65/34.32 eprover: CPU time limit exceeded, terminating
% 36.90/36.34 eprover: CPU time limit exceeded, terminating
% 39.13/38.35 eprover: CPU time limit exceeded, terminating
% 41.36/40.36 eprover: CPU time limit exceeded, terminating
% 43.56/42.37 eprover: CPU time limit exceeded, terminating
% 45.79/44.38 eprover: CPU time limit exceeded, terminating
% 48.02/46.40 eprover: CPU time limit exceeded, terminating
% 50.20/48.41 eprover: CPU time limit exceeded, terminating
% 52.39/50.43 eprover: CPU time limit exceeded, terminating
% 54.63/52.44 eprover: CPU time limit exceeded, terminating
% 56.89/54.45 eprover: CPU time limit exceeded, terminating
% 59.09/56.47 eprover: CPU time limit exceeded, terminating
% 61.32/58.49 eprover: CPU time limit exceeded, terminating
% 63.52/60.50 eprover: CPU time limit exceeded, terminating
% 65.74/62.51 eprover: CPU time limit exceeded, terminating
% 67.95/64.53 eprover: CPU time limit exceeded, terminating
% 70.24/66.54 eprover: CPU time limit exceeded, terminating
% 72.44/68.56 eprover: CPU time limit exceeded, terminating
% 74.66/70.57 eprover: CPU time limit exceeded, terminating
% 76.90/72.59 eprover: CPU time limit exceeded, terminating
% 79.07/74.60 eprover: CPU time limit exceeded, terminating
% 81.34/76.62 eprover: CPU time limit exceeded, terminating
% 83.49/78.64 eprover: CPU time limit exceeded, terminating
% 85.77/80.65 eprover: CPU time limit exceeded, terminating
% 87.98/82.67 eprover: CPU time limit exceeded, terminating
% 90.22/84.68 eprover: CPU time limit exceeded, terminating
% 92.44/86.70 eprover: CPU time limit exceeded, terminating
% 94.59/88.72 eprover: CPU time limit exceeded, terminating
% 96.83/90.73 eprover: CPU time limit exceeded, terminating
% 99.06/92.75 eprover: CPU time limit exceeded, terminating
% 101.34/94.76 eprover: CPU time limit exceeded, terminating
% 103.54/96.78 eprover: CPU time limit exceeded, terminating
% 105.74/98.79 eprover: CPU time limit exceeded, terminating
% 107.95/100.81 eprover: CPU time limit exceeded, terminating
% 110.22/102.83 eprover: CPU time limit exceeded, terminating
% 112.39/104.84 eprover: CPU time limit exceeded, terminating
% 114.64/106.86 eprover: CPU time limit exceeded, terminating
% 116.86/108.87 eprover: CPU time limit exceeded, terminating
% 119.08/110.88 eprover: CPU time limit exceeded, terminating
% 121.30/112.90 eprover: CPU time limit exceeded, terminating
% 123.45/114.91 eprover: CPU time limit exceeded, terminating
% 125.71/116.93 eprover: CPU time limit exceeded, terminating
% 127.98/118.94 eprover: CPU time limit exceeded, terminating
% 130.16/120.95 eprover: CPU time limit exceeded, terminating
% 132.40/122.97 eprover: CPU time limit exceeded, terminating
% 134.61/124.98 eprover: CPU time limit exceeded, terminating
% 136.81/127.00 eprover: CPU time limit exceeded, terminating
% 139.05/129.02 eprover: CPU time limit exceeded, terminating
% 141.30/131.03 eprover: CPU time limit exceeded, terminating
% 143.50/133.05 eprover: CPU time limit exceeded, terminating
% 145.75/135.06 eprover: CPU time limit exceeded, terminating
% 147.94/137.08 eprover: CPU time limit exceeded, terminating
% 150.14/139.09 eprover: CPU time limit exceeded, terminating
% 152.40/141.11 eprover: CPU time limit exceeded, terminating
% 154.59/143.12 eprover: CPU time limit exceeded, terminating
% 156.81/145.14 eprover: CPU time limit exceeded, terminating
% 158.99/147.15 eprover: CPU time limit exceeded, terminating
% 161.26/149.17 eprover: CPU time limit exceeded, terminating
% 163.45/151.18 eprover: CPU time limit exceeded, terminating
% 165.70/153.20 eprover: CPU time limit exceeded, terminating
% 167.92/155.21 eprover: CPU time limit exceeded, terminating
% 170.14/157.23 eprover: CPU time limit exceeded, terminating
% 172.36/159.24 eprover: CPU time limit exceeded, terminating
% 174.52/161.26 eprover: CPU time limit exceeded, terminating
% 176.80/163.27 eprover: CPU time limit exceeded, terminating
% 178.97/165.28 eprover: CPU time limit exceeded, terminating
% 181.16/167.30 eprover: CPU time limit exceeded, terminating
% 183.42/169.31 eprover: CPU time limit exceeded, terminating
% 185.62/171.32 eprover: CPU time limit exceeded, terminating
% 187.81/173.34 eprover: CPU time limit exceeded, terminating
% 190.08/175.35 eprover: CPU time limit exceeded, terminating
% 192.22/177.36 eprover: CPU time limit exceeded, terminating
% 194.50/179.38 eprover: CPU time limit exceeded, terminating
% 196.71/181.39 eprover: CPU time limit exceeded, terminating
% 198.92/183.41 eprover: CPU time limit exceeded, terminating
% 201.11/185.42 eprover: CPU time limit exceeded, terminating
% 203.39/187.44 eprover: CPU time limit exceeded, terminating
% 205.63/189.45 eprover: CPU time limit exceeded, terminating
% 207.81/191.47 eprover: CPU time limit exceeded, terminating
% 210.05/193.48 eprover: CPU time limit exceeded, terminating
% 212.25/195.50 eprover: CPU time limit exceeded, terminating
% 214.45/197.51 eprover: CPU time limit exceeded, terminating
% 216.64/199.53 eprover: CPU time limit exceeded, terminating
% 218.92/201.54 eprover: CPU time limit exceeded, terminating
% 221.16/203.56 eprover: CPU time limit exceeded, terminating
% 223.35/205.57 eprover: CPU time limit exceeded, terminating
% 225.61/207.58 eprover: CPU time limit exceeded, terminating
% 227.80/209.60 eprover: CPU time limit exceeded, terminating
% 230.02/211.61 eprover: CPU time limit exceeded, terminating
% 232.25/213.63 eprover: CPU time limit exceeded, terminating
% 234.48/215.65 eprover: CPU time limit exceeded, terminating
% 236.70/217.67 eprover: CPU time limit exceeded, terminating
% 238.89/219.68 eprover: CPU time limit exceeded, terminating
% 241.12/221.70 eprover: CPU time limit exceeded, terminating
% 243.32/223.71 eprover: CPU time limit exceeded, terminating
% 245.55/225.73 eprover: CPU time limit exceeded, terminating
% 247.77/227.74 eprover: CPU time limit exceeded, terminating
% 249.99/229.76 eprover: CPU time limit exceeded, terminating
% 252.24/231.77 eprover: CPU time limit exceeded, terminating
% 254.44/233.78 eprover: CPU time limit exceeded, terminating
% 256.66/235.80 eprover: CPU time limit exceeded, terminating
% 258.83/237.82 eprover: CPU time limit exceeded, terminating
% 261.12/239.83 eprover: CPU time limit exceeded, terminating
% 263.33/241.85 eprover: CPU time limit exceeded, terminating
% 265.52/243.86 eprover: CPU time limit exceeded, terminating
% 267.75/245.88 eprover: CPU time limit exceeded, terminating
% 269.98/247.89 eprover: CPU time limit exceeded, terminating
% 272.17/249.90 eprover: CPU time limit exceeded, terminating
% 274.37/251.92 eprover: CPU time limit exceeded, terminating
% 276.63/253.93 eprover: CPU time limit exceeded, terminating
% 278.77/255.94 eprover: CPU time limit exceeded, terminating
% 281.05/257.96 eprover: CPU time limit exceeded, terminating
% 283.27/259.97 eprover: CPU time limit exceeded, terminating
% 285.50/261.99 eprover: CPU time limit exceeded, terminating
% 287.71/264.00 eprover: CPU time limit exceeded, terminating
% 289.87/266.02 eprover: CPU time limit exceeded, terminating
% 292.16/268.03 eprover: CPU time limit exceeded, terminating
% 294.34/270.04 eprover: CPU time limit exceeded, terminating
% 296.57/272.06 eprover: CPU time limit exceeded, terminating
% 298.81/274.07 eprover: CPU time limit exceeded, terminating
% 300.03/275.07 eprover: CPU time limit exceeded, terminating
% 300.03/275.08 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------