TSTP Solution File: MSC013-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MSC013-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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 22:45:15 EDT 2022
% Result : Timeout 300.07s 297.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : MSC013-10 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n008.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Fri Jul 1 15:13:53 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.22/2.40 eprover: CPU time limit exceeded, terminating
% 4.20/4.42 eprover: CPU time limit exceeded, terminating
% 6.22/6.42 eprover: CPU time limit exceeded, terminating
% 48.07/47.56 eprover: CPU time limit exceeded, terminating
% 50.16/49.61 eprover: CPU time limit exceeded, terminating
% 52.16/51.64 eprover: CPU time limit exceeded, terminating
% 54.13/53.67 eprover: CPU time limit exceeded, terminating
% 56.19/55.69 eprover: CPU time limit exceeded, terminating
% 58.21/57.73 eprover: CPU time limit exceeded, terminating
% 60.20/59.76 eprover: CPU time limit exceeded, terminating
% 62.25/61.77 eprover: CPU time limit exceeded, terminating
% 64.22/63.78 eprover: CPU time limit exceeded, terminating
% 66.25/65.79 eprover: CPU time limit exceeded, terminating
% 68.28/67.81 eprover: CPU time limit exceeded, terminating
% 70.31/69.82 eprover: CPU time limit exceeded, terminating
% 72.29/71.84 eprover: CPU time limit exceeded, terminating
% 74.31/73.85 eprover: CPU time limit exceeded, terminating
% 76.32/75.86 eprover: CPU time limit exceeded, terminating
% 78.31/77.87 eprover: CPU time limit exceeded, terminating
% 80.38/79.89 eprover: CPU time limit exceeded, terminating
% 82.37/81.90 eprover: CPU time limit exceeded, terminating
% 86.34/83.91 eprover: CPU time limit exceeded, terminating
% 88.36/85.92 eprover: CPU time limit exceeded, terminating
% 90.36/87.93 eprover: CPU time limit exceeded, terminating
% 92.37/89.94 eprover: CPU time limit exceeded, terminating
% 94.40/91.95 eprover: CPU time limit exceeded, terminating
% 96.43/93.96 eprover: CPU time limit exceeded, terminating
% 98.43/95.97 eprover: CPU time limit exceeded, terminating
% 100.39/97.98 eprover: CPU time limit exceeded, terminating
% 102.44/99.99 eprover: CPU time limit exceeded, terminating
% 104.49/102.00 eprover: CPU time limit exceeded, terminating
% 106.51/104.01 eprover: CPU time limit exceeded, terminating
% 108.42/106.02 eprover: CPU time limit exceeded, terminating
% 110.52/108.03 eprover: CPU time limit exceeded, terminating
% 112.51/110.05 eprover: CPU time limit exceeded, terminating
% 114.50/112.06 eprover: CPU time limit exceeded, terminating
% 116.54/114.12 eprover: CPU time limit exceeded, terminating
% 118.52/116.14 eprover: CPU time limit exceeded, terminating
% 120.57/118.15 eprover: CPU time limit exceeded, terminating
% 122.56/120.18 eprover: CPU time limit exceeded, terminating
% 124.55/122.20 eprover: CPU time limit exceeded, terminating
% 126.62/124.21 eprover: CPU time limit exceeded, terminating
% 128.65/126.23 eprover: CPU time limit exceeded, terminating
% 130.62/128.24 eprover: CPU time limit exceeded, terminating
% 132.69/130.26 eprover: CPU time limit exceeded, terminating
% 134.64/132.28 eprover: CPU time limit exceeded, terminating
% 136.71/134.31 eprover: CPU time limit exceeded, terminating
% 138.72/136.32 eprover: CPU time limit exceeded, terminating
% 140.73/138.33 eprover: CPU time limit exceeded, terminating
% 142.73/140.34 eprover: CPU time limit exceeded, terminating
% 144.72/142.36 eprover: CPU time limit exceeded, terminating
% 146.74/144.37 eprover: CPU time limit exceeded, terminating
% 148.74/146.38 eprover: CPU time limit exceeded, terminating
% 150.81/148.39 eprover: CPU time limit exceeded, terminating
% 152.83/150.40 eprover: CPU time limit exceeded, terminating
% 154.76/152.41 eprover: CPU time limit exceeded, terminating
% 156.85/154.43 eprover: CPU time limit exceeded, terminating
% 158.80/156.44 eprover: CPU time limit exceeded, terminating
% 160.84/158.45 eprover: CPU time limit exceeded, terminating
% 162.86/160.46 eprover: CPU time limit exceeded, terminating
% 164.82/162.47 eprover: CPU time limit exceeded, terminating
% 166.85/164.48 eprover: CPU time limit exceeded, terminating
% 168.87/166.49 eprover: CPU time limit exceeded, terminating
% 170.95/168.50 eprover: CPU time limit exceeded, terminating
% 172.88/170.52 eprover: CPU time limit exceeded, terminating
% 174.97/172.53 eprover: CPU time limit exceeded, terminating
% 176.93/174.54 eprover: CPU time limit exceeded, terminating
% 178.96/176.55 eprover: CPU time limit exceeded, terminating
% 180.97/178.57 eprover: CPU time limit exceeded, terminating
% 182.95/180.58 eprover: CPU time limit exceeded, terminating
% 185.04/182.59 eprover: CPU time limit exceeded, terminating
% 186.98/184.60 eprover: CPU time limit exceeded, terminating
% 189.07/186.62 eprover: CPU time limit exceeded, terminating
% 191.05/188.63 eprover: CPU time limit exceeded, terminating
% 193.08/190.64 eprover: CPU time limit exceeded, terminating
% 195.06/192.66 eprover: CPU time limit exceeded, terminating
% 197.09/194.67 eprover: CPU time limit exceeded, terminating
% 199.10/196.69 eprover: CPU time limit exceeded, terminating
% 204.81/202.39 eprover: CPU time limit exceeded, terminating
% 206.89/204.41 eprover: CPU time limit exceeded, terminating
% 208.92/206.42 eprover: CPU time limit exceeded, terminating
% 210.90/208.44 eprover: CPU time limit exceeded, terminating
% 212.91/210.45 eprover: CPU time limit exceeded, terminating
% 221.32/218.81 eprover: CPU time limit exceeded, terminating
% 223.33/220.82 eprover: CPU time limit exceeded, terminating
% 225.33/222.84 eprover: CPU time limit exceeded, terminating
% 227.32/224.86 eprover: CPU time limit exceeded, terminating
% 229.33/226.87 eprover: CPU time limit exceeded, terminating
% 231.31/228.89 eprover: CPU time limit exceeded, terminating
% 233.42/230.90 eprover: CPU time limit exceeded, terminating
% 235.43/232.92 eprover: CPU time limit exceeded, terminating
% 237.46/234.93 eprover: CPU time limit exceeded, terminating
% 239.42/236.95 eprover: CPU time limit exceeded, terminating
% 241.46/238.97 eprover: CPU time limit exceeded, terminating
% 243.45/240.99 eprover: CPU time limit exceeded, terminating
% 245.46/243.00 eprover: CPU time limit exceeded, terminating
% 248.24/245.74 eprover: CPU time limit exceeded, terminating
% 250.22/247.76 eprover: CPU time limit exceeded, terminating
% 252.26/249.78 eprover: CPU time limit exceeded, terminating
% 254.34/251.80 eprover: CPU time limit exceeded, terminating
% 256.36/253.82 eprover: CPU time limit exceeded, terminating
% 258.37/255.84 eprover: CPU time limit exceeded, terminating
% 260.33/257.86 eprover: CPU time limit exceeded, terminating
% 262.37/259.89 eprover: CPU time limit exceeded, terminating
% 264.47/261.92 eprover: CPU time limit exceeded, terminating
% 266.49/263.95 eprover: CPU time limit exceeded, terminating
% 268.55/265.98 eprover: CPU time limit exceeded, terminating
% 270.56/268.00 eprover: CPU time limit exceeded, terminating
% 274.08/271.54 eprover: CPU time limit exceeded, terminating
% 276.09/273.57 eprover: CPU time limit exceeded, terminating
% 278.10/275.61 eprover: CPU time limit exceeded, terminating
% 280.18/277.64 eprover: CPU time limit exceeded, terminating
% 300.07/297.41 eprover: CPU time limit exceeded, terminating
% 300.07/297.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------