TSTP Solution File: NLP225-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP225-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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 : Mon Jul 18 02:33:37 EDT 2022
% Result : Timeout 300.17s 298.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP225-10 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.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 : Thu Jun 30 23:43:13 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.97/4.22 eprover: CPU time limit exceeded, terminating
% 6.98/7.16 eprover: CPU time limit exceeded, terminating
% 10.07/10.26 eprover: CPU time limit exceeded, terminating
% 13.00/13.17 eprover: CPU time limit exceeded, terminating
% 15.44/15.56 eprover: CPU time limit exceeded, terminating
% 19.08/19.25 eprover: CPU time limit exceeded, terminating
% 23.34/23.48 eprover: CPU time limit exceeded, terminating
% 26.34/26.50 eprover: CPU time limit exceeded, terminating
% 29.48/29.63 eprover: CPU time limit exceeded, terminating
% 33.87/33.94 eprover: CPU time limit exceeded, terminating
% 36.87/36.93 eprover: CPU time limit exceeded, terminating
% 39.73/39.76 eprover: CPU time limit exceeded, terminating
% 42.83/42.86 eprover: CPU time limit exceeded, terminating
% 45.76/45.77 eprover: CPU time limit exceeded, terminating
% 48.57/48.59 eprover: CPU time limit exceeded, terminating
% 50.94/50.99 eprover: CPU time limit exceeded, terminating
% 52.97/52.99 eprover: CPU time limit exceeded, terminating
% 54.97/55.00 eprover: CPU time limit exceeded, terminating
% 57.76/57.77 eprover: CPU time limit exceeded, terminating
% 60.86/60.87 eprover: CPU time limit exceeded, terminating
% 63.76/63.69 eprover: CPU time limit exceeded, terminating
% 66.15/66.08 eprover: CPU time limit exceeded, terminating
% 69.47/69.44 eprover: CPU time limit exceeded, terminating
% 71.87/71.82 eprover: CPU time limit exceeded, terminating
% 73.88/73.83 eprover: CPU time limit exceeded, terminating
% 78.33/77.55 eprover: CPU time limit exceeded, terminating
% 82.26/81.46 eprover: CPU time limit exceeded, terminating
% 85.54/84.73 eprover: CPU time limit exceeded, terminating
% 87.97/87.22 eprover: CPU time limit exceeded, terminating
% 90.01/89.22 eprover: CPU time limit exceeded, terminating
% 93.02/92.22 eprover: CPU time limit exceeded, terminating
% 96.78/95.96 eprover: CPU time limit exceeded, terminating
% 99.81/98.97 eprover: CPU time limit exceeded, terminating
% 102.65/101.77 eprover: CPU time limit exceeded, terminating
% 104.98/104.15 eprover: CPU time limit exceeded, terminating
% 107.06/106.15 eprover: CPU time limit exceeded, terminating
% 112.21/111.33 eprover: CPU time limit exceeded, terminating
% 114.24/113.33 eprover: CPU time limit exceeded, terminating
% 117.30/116.42 eprover: CPU time limit exceeded, terminating
% 122.09/121.18 eprover: CPU time limit exceeded, terminating
% 124.10/123.19 eprover: CPU time limit exceeded, terminating
% 127.02/126.08 eprover: CPU time limit exceeded, terminating
% 131.17/130.21 eprover: CPU time limit exceeded, terminating
% 133.16/132.21 eprover: CPU time limit exceeded, terminating
% 135.88/134.93 eprover: CPU time limit exceeded, terminating
% 139.39/138.36 eprover: CPU time limit exceeded, terminating
% 141.34/140.37 eprover: CPU time limit exceeded, terminating
% 143.39/142.38 eprover: CPU time limit exceeded, terminating
% 145.42/144.38 eprover: CPU time limit exceeded, terminating
% 147.43/146.39 eprover: CPU time limit exceeded, terminating
% 149.41/148.40 eprover: CPU time limit exceeded, terminating
% 151.45/150.41 eprover: CPU time limit exceeded, terminating
% 153.42/152.41 eprover: CPU time limit exceeded, terminating
% 155.43/154.42 eprover: CPU time limit exceeded, terminating
% 158.26/157.19 eprover: CPU time limit exceeded, terminating
% 160.24/159.20 eprover: CPU time limit exceeded, terminating
% 162.73/161.65 eprover: CPU time limit exceeded, terminating
% 195.34/194.09 eprover: CPU time limit exceeded, terminating
% 200.75/199.42 eprover: CPU time limit exceeded, terminating
% 206.63/205.28 eprover: CPU time limit exceeded, terminating
% 215.46/214.07 eprover: CPU time limit exceeded, terminating
% 219.46/218.05 eprover: CPU time limit exceeded, terminating
% 221.45/220.06 eprover: CPU time limit exceeded, terminating
% 223.47/222.07 eprover: CPU time limit exceeded, terminating
% 225.46/224.07 eprover: CPU time limit exceeded, terminating
% 227.47/226.08 eprover: CPU time limit exceeded, terminating
% 229.53/228.09 eprover: CPU time limit exceeded, terminating
% 231.51/230.10 eprover: CPU time limit exceeded, terminating
% 233.48/232.11 eprover: CPU time limit exceeded, terminating
% 235.53/234.12 eprover: CPU time limit exceeded, terminating
% 238.28/236.84 eprover: CPU time limit exceeded, terminating
% 240.24/238.85 eprover: CPU time limit exceeded, terminating
% 242.30/240.86 eprover: CPU time limit exceeded, terminating
% 244.31/242.87 eprover: CPU time limit exceeded, terminating
% 247.28/245.80 eprover: CPU time limit exceeded, terminating
% 249.25/247.81 eprover: CPU time limit exceeded, terminating
% 251.26/249.82 eprover: CPU time limit exceeded, terminating
% 253.33/251.82 eprover: CPU time limit exceeded, terminating
% 255.26/253.83 eprover: CPU time limit exceeded, terminating
% 257.36/255.84 eprover: CPU time limit exceeded, terminating
% 261.36/259.86 eprover: CPU time limit exceeded, terminating
% 263.36/261.87 eprover: CPU time limit exceeded, terminating
% 265.41/263.88 eprover: CPU time limit exceeded, terminating
% 267.42/265.89 eprover: CPU time limit exceeded, terminating
% 269.43/267.90 eprover: CPU time limit exceeded, terminating
% 271.41/269.91 eprover: CPU time limit exceeded, terminating
% 273.49/271.91 eprover: CPU time limit exceeded, terminating
% 275.50/273.92 eprover: CPU time limit exceeded, terminating
% 277.50/275.93 eprover: CPU time limit exceeded, terminating
% 279.54/277.94 eprover: CPU time limit exceeded, terminating
% 281.46/279.95 eprover: CPU time limit exceeded, terminating
% 300.17/298.45 eprover: CPU time limit exceeded, terminating
% 300.17/298.46 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------