TSTP Solution File: LCL244-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL244-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Sun Jul 17 11:09:41 EDT 2022
% Result : Timeout 285.95s 285.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : LCL244-10 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Mon Jul 4 07:29:12 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.13/2.36 eprover: CPU time limit exceeded, terminating
% 4.19/4.37 eprover: CPU time limit exceeded, terminating
% 6.13/6.38 eprover: CPU time limit exceeded, terminating
% 8.20/8.39 eprover: CPU time limit exceeded, terminating
% 10.22/10.40 eprover: CPU time limit exceeded, terminating
% 12.15/12.41 eprover: CPU time limit exceeded, terminating
% 14.22/14.42 eprover: CPU time limit exceeded, terminating
% 16.24/16.43 eprover: CPU time limit exceeded, terminating
% 18.26/18.44 eprover: CPU time limit exceeded, terminating
% 20.24/20.45 eprover: CPU time limit exceeded, terminating
% 22.22/22.46 eprover: CPU time limit exceeded, terminating
% 24.25/24.47 eprover: CPU time limit exceeded, terminating
% 26.26/26.48 eprover: CPU time limit exceeded, terminating
% 28.33/28.49 eprover: CPU time limit exceeded, terminating
% 30.35/30.50 eprover: CPU time limit exceeded, terminating
% 32.28/32.51 eprover: CPU time limit exceeded, terminating
% 34.36/34.52 eprover: CPU time limit exceeded, terminating
% 36.37/36.53 eprover: CPU time limit exceeded, terminating
% 38.39/38.54 eprover: CPU time limit exceeded, terminating
% 40.36/40.55 eprover: CPU time limit exceeded, terminating
% 42.34/42.56 eprover: CPU time limit exceeded, terminating
% 44.38/44.58 eprover: CPU time limit exceeded, terminating
% 46.39/46.58 eprover: CPU time limit exceeded, terminating
% 48.47/48.59 eprover: CPU time limit exceeded, terminating
% 50.40/50.60 eprover: CPU time limit exceeded, terminating
% 52.48/52.61 eprover: CPU time limit exceeded, terminating
% 54.51/54.62 eprover: CPU time limit exceeded, terminating
% 56.52/56.63 eprover: CPU time limit exceeded, terminating
% 58.49/58.65 eprover: CPU time limit exceeded, terminating
% 60.48/60.66 eprover: CPU time limit exceeded, terminating
% 62.49/62.67 eprover: CPU time limit exceeded, terminating
% 64.50/64.68 eprover: CPU time limit exceeded, terminating
% 66.58/66.69 eprover: CPU time limit exceeded, terminating
% 68.53/68.70 eprover: CPU time limit exceeded, terminating
% 70.53/70.71 eprover: CPU time limit exceeded, terminating
% 72.62/72.72 eprover: CPU time limit exceeded, terminating
% 74.63/74.73 eprover: CPU time limit exceeded, terminating
% 76.61/76.74 eprover: CPU time limit exceeded, terminating
% 78.59/78.75 eprover: CPU time limit exceeded, terminating
% 80.59/80.76 eprover: CPU time limit exceeded, terminating
% 82.64/82.77 eprover: CPU time limit exceeded, terminating
% 84.64/84.78 eprover: CPU time limit exceeded, terminating
% 86.63/86.79 eprover: CPU time limit exceeded, terminating
% 88.66/88.80 eprover: CPU time limit exceeded, terminating
% 90.73/90.81 eprover: CPU time limit exceeded, terminating
% 92.74/92.82 eprover: CPU time limit exceeded, terminating
% 94.75/94.83 eprover: CPU time limit exceeded, terminating
% 96.74/96.84 eprover: CPU time limit exceeded, terminating
% 98.73/98.85 eprover: CPU time limit exceeded, terminating
% 100.76/100.86 eprover: CPU time limit exceeded, terminating
% 102.74/102.87 eprover: CPU time limit exceeded, terminating
% 104.74/104.88 eprover: CPU time limit exceeded, terminating
% 106.76/106.89 eprover: CPU time limit exceeded, terminating
% 108.76/108.90 eprover: CPU time limit exceeded, terminating
% 110.86/110.91 eprover: CPU time limit exceeded, terminating
% 112.87/112.92 eprover: CPU time limit exceeded, terminating
% 114.87/114.93 eprover: CPU time limit exceeded, terminating
% 116.84/116.94 eprover: CPU time limit exceeded, terminating
% 118.85/118.95 eprover: CPU time limit exceeded, terminating
% 120.88/120.96 eprover: CPU time limit exceeded, terminating
% 122.86/122.97 eprover: CPU time limit exceeded, terminating
% 124.89/124.98 eprover: CPU time limit exceeded, terminating
% 126.91/127.00 eprover: CPU time limit exceeded, terminating
% 128.97/129.01 eprover: CPU time limit exceeded, terminating
% 130.98/131.02 eprover: CPU time limit exceeded, terminating
% 132.97/133.04 eprover: CPU time limit exceeded, terminating
% 135.02/135.05 eprover: CPU time limit exceeded, terminating
% 136.98/137.07 eprover: CPU time limit exceeded, terminating
% 139.04/139.08 eprover: CPU time limit exceeded, terminating
% 141.04/141.09 eprover: CPU time limit exceeded, terminating
% 142.99/143.10 eprover: CPU time limit exceeded, terminating
% 145.07/145.11 eprover: CPU time limit exceeded, terminating
% 147.09/147.12 eprover: CPU time limit exceeded, terminating
% 149.09/149.13 eprover: CPU time limit exceeded, terminating
% 151.09/151.14 eprover: CPU time limit exceeded, terminating
% 153.10/153.15 eprover: CPU time limit exceeded, terminating
% 155.11/155.16 eprover: CPU time limit exceeded, terminating
% 157.10/157.17 eprover: CPU time limit exceeded, terminating
% 159.16/159.18 eprover: CPU time limit exceeded, terminating
% 161.11/161.19 eprover: CPU time limit exceeded, terminating
% 163.18/163.20 eprover: CPU time limit exceeded, terminating
% 165.19/165.21 eprover: CPU time limit exceeded, terminating
% 167.11/167.22 eprover: CPU time limit exceeded, terminating
% 169.20/169.23 eprover: CPU time limit exceeded, terminating
% 171.23/171.23 eprover: CPU time limit exceeded, terminating
% 173.24/173.24 eprover: CPU time limit exceeded, terminating
% 175.22/175.25 eprover: CPU time limit exceeded, terminating
% 177.28/177.26 eprover: CPU time limit exceeded, terminating
% 179.22/179.27 eprover: CPU time limit exceeded, terminating
% 181.24/181.28 eprover: CPU time limit exceeded, terminating
% 183.30/183.29 eprover: CPU time limit exceeded, terminating
% 185.24/185.30 eprover: CPU time limit exceeded, terminating
% 187.31/187.31 eprover: CPU time limit exceeded, terminating
% 189.32/189.32 eprover: CPU time limit exceeded, terminating
% 191.37/191.33 eprover: CPU time limit exceeded, terminating
% 193.35/193.34 eprover: CPU time limit exceeded, terminating
% 195.33/195.35 eprover: CPU time limit exceeded, terminating
% 197.34/197.36 eprover: CPU time limit exceeded, terminating
% 199.37/199.37 eprover: CPU time limit exceeded, terminating
% 201.43/201.38 eprover: CPU time limit exceeded, terminating
% 203.38/203.39 eprover: CPU time limit exceeded, terminating
% 205.44/205.40 eprover: CPU time limit exceeded, terminating
% 207.46/207.42 eprover: CPU time limit exceeded, terminating
% 209.42/209.43 eprover: CPU time limit exceeded, terminating
% 211.48/211.44 eprover: CPU time limit exceeded, terminating
% 213.44/213.45 eprover: CPU time limit exceeded, terminating
% 215.49/215.46 eprover: CPU time limit exceeded, terminating
% 217.44/217.48 eprover: CPU time limit exceeded, terminating
% 219.48/219.48 eprover: CPU time limit exceeded, terminating
% 221.56/221.49 eprover: CPU time limit exceeded, terminating
% 223.50/223.50 eprover: CPU time limit exceeded, terminating
% 225.53/225.51 eprover: CPU time limit exceeded, terminating
% 227.59/227.52 eprover: CPU time limit exceeded, terminating
% 229.56/229.53 eprover: CPU time limit exceeded, terminating
% 231.58/231.54 eprover: CPU time limit exceeded, terminating
% 233.55/233.55 eprover: CPU time limit exceeded, terminating
% 235.60/235.56 eprover: CPU time limit exceeded, terminating
% 237.64/237.57 eprover: CPU time limit exceeded, terminating
% 239.62/239.58 eprover: CPU time limit exceeded, terminating
% 241.69/241.59 eprover: CPU time limit exceeded, terminating
% 243.63/243.60 eprover: CPU time limit exceeded, terminating
% 245.68/245.61 eprover: CPU time limit exceeded, terminating
% 247.69/247.62 eprover: CPU time limit exceeded, terminating
% 249.67/249.64 eprover: CPU time limit exceeded, terminating
% 251.69/251.65 eprover: CPU time limit exceeded, terminating
% 253.68/253.66 eprover: CPU time limit exceeded, terminating
% 255.72/255.66 eprover: CPU time limit exceeded, terminating
% 257.79/257.67 eprover: CPU time limit exceeded, terminating
% 259.79/259.68 eprover: CPU time limit exceeded, terminating
% 261.75/261.69 eprover: CPU time limit exceeded, terminating
% 263.82/263.71 eprover: CPU time limit exceeded, terminating
% 265.82/265.72 eprover: CPU time limit exceeded, terminating
% 267.83/267.73 eprover: CPU time limit exceeded, terminating
% 269.83/269.74 eprover: CPU time limit exceeded, terminating
% 271.81/271.75 eprover: CPU time limit exceeded, terminating
% 273.82/273.76 eprover: CPU time limit exceeded, terminating
% 275.90/275.77 eprover: CPU time limit exceeded, terminating
% 277.86/277.78 eprover: CPU time limit exceeded, terminating
% 279.92/279.80 eprover: CPU time limit exceeded, terminating
% 281.95/281.81 eprover: CPU time limit exceeded, terminating
% 283.92/283.82 eprover: CPU time limit exceeded, terminating
% 285.95/285.83 eprover: CPU time limit exceeded, terminating
% 287.93/287.84 eprover: CPU time limit exceeded, terminating
% 289.98/289.85 eprover: CPU time limit exceeded, terminating
% 291.96/291.87 eprover: CPU time limit exceeded, terminating
% 294.00/293.88 eprover: CPU time limit exceeded, terminating
% 296.04/295.89 eprover: CPU time limit exceeded, terminating
% 298.03/297.90 eprover: CPU time limit exceeded, terminating
% 300.05/299.91 eprover: CPU time limit exceeded, terminating
% 300.08/299.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------