TSTP Solution File: CSR116+38 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+38 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 : Fri Jul 15 03:35:42 EDT 2022
% Result : Timeout 286.11s 265.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR116+38 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n025.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 07:36:06 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.67/3.83 eprover: CPU time limit exceeded, terminating
% 5.85/5.84 eprover: CPU time limit exceeded, terminating
% 7.98/7.85 eprover: CPU time limit exceeded, terminating
% 10.17/9.86 eprover: CPU time limit exceeded, terminating
% 12.28/11.87 eprover: CPU time limit exceeded, terminating
% 14.48/13.89 eprover: CPU time limit exceeded, terminating
% 16.68/15.90 eprover: CPU time limit exceeded, terminating
% 18.78/17.91 eprover: CPU time limit exceeded, terminating
% 20.95/19.93 eprover: CPU time limit exceeded, terminating
% 23.16/21.94 eprover: CPU time limit exceeded, terminating
% 25.30/23.95 eprover: CPU time limit exceeded, terminating
% 27.47/25.96 eprover: CPU time limit exceeded, terminating
% 29.69/27.98 eprover: CPU time limit exceeded, terminating
% 31.80/29.99 eprover: CPU time limit exceeded, terminating
% 34.02/32.00 eprover: CPU time limit exceeded, terminating
% 36.12/34.01 eprover: CPU time limit exceeded, terminating
% 38.33/36.02 eprover: CPU time limit exceeded, terminating
% 40.47/38.04 eprover: CPU time limit exceeded, terminating
% 42.63/40.05 eprover: CPU time limit exceeded, terminating
% 44.82/42.06 eprover: CPU time limit exceeded, terminating
% 46.98/44.07 eprover: CPU time limit exceeded, terminating
% 49.13/46.09 eprover: CPU time limit exceeded, terminating
% 51.36/48.10 eprover: CPU time limit exceeded, terminating
% 53.51/50.11 eprover: CPU time limit exceeded, terminating
% 55.70/52.12 eprover: CPU time limit exceeded, terminating
% 57.85/54.14 eprover: CPU time limit exceeded, terminating
% 60.01/56.15 eprover: CPU time limit exceeded, terminating
% 62.17/58.16 eprover: CPU time limit exceeded, terminating
% 64.29/60.17 eprover: CPU time limit exceeded, terminating
% 66.48/62.18 eprover: CPU time limit exceeded, terminating
% 68.70/64.20 eprover: CPU time limit exceeded, terminating
% 70.85/66.21 eprover: CPU time limit exceeded, terminating
% 73.00/68.22 eprover: CPU time limit exceeded, terminating
% 75.16/70.23 eprover: CPU time limit exceeded, terminating
% 77.29/72.24 eprover: CPU time limit exceeded, terminating
% 79.42/74.25 eprover: CPU time limit exceeded, terminating
% 81.53/76.26 eprover: CPU time limit exceeded, terminating
% 83.61/78.27 eprover: CPU time limit exceeded, terminating
% 85.81/80.28 eprover: CPU time limit exceeded, terminating
% 87.88/82.29 eprover: CPU time limit exceeded, terminating
% 90.12/84.31 eprover: CPU time limit exceeded, terminating
% 92.27/86.32 eprover: CPU time limit exceeded, terminating
% 94.44/88.33 eprover: CPU time limit exceeded, terminating
% 96.57/90.34 eprover: CPU time limit exceeded, terminating
% 98.73/92.35 eprover: CPU time limit exceeded, terminating
% 100.89/94.36 eprover: CPU time limit exceeded, terminating
% 103.04/96.37 eprover: CPU time limit exceeded, terminating
% 105.18/98.38 eprover: CPU time limit exceeded, terminating
% 107.41/100.40 eprover: CPU time limit exceeded, terminating
% 109.58/102.41 eprover: CPU time limit exceeded, terminating
% 111.73/104.42 eprover: CPU time limit exceeded, terminating
% 113.87/106.44 eprover: CPU time limit exceeded, terminating
% 116.04/108.45 eprover: CPU time limit exceeded, terminating
% 118.19/110.46 eprover: CPU time limit exceeded, terminating
% 120.40/112.47 eprover: CPU time limit exceeded, terminating
% 122.57/114.49 eprover: CPU time limit exceeded, terminating
% 124.64/116.50 eprover: CPU time limit exceeded, terminating
% 126.89/118.51 eprover: CPU time limit exceeded, terminating
% 129.04/120.53 eprover: CPU time limit exceeded, terminating
% 131.18/122.54 eprover: CPU time limit exceeded, terminating
% 133.33/124.55 eprover: CPU time limit exceeded, terminating
% 135.48/126.57 eprover: CPU time limit exceeded, terminating
% 137.64/128.58 eprover: CPU time limit exceeded, terminating
% 139.81/130.59 eprover: CPU time limit exceeded, terminating
% 142.01/132.61 eprover: CPU time limit exceeded, terminating
% 144.18/134.62 eprover: CPU time limit exceeded, terminating
% 146.32/136.63 eprover: CPU time limit exceeded, terminating
% 148.48/138.64 eprover: CPU time limit exceeded, terminating
% 150.61/140.66 eprover: CPU time limit exceeded, terminating
% 152.79/142.67 eprover: CPU time limit exceeded, terminating
% 154.96/144.68 eprover: CPU time limit exceeded, terminating
% 157.17/146.69 eprover: CPU time limit exceeded, terminating
% 159.32/148.71 eprover: CPU time limit exceeded, terminating
% 161.48/150.72 eprover: CPU time limit exceeded, terminating
% 163.62/152.73 eprover: CPU time limit exceeded, terminating
% 165.81/154.75 eprover: CPU time limit exceeded, terminating
% 167.95/156.76 eprover: CPU time limit exceeded, terminating
% 170.10/158.77 eprover: CPU time limit exceeded, terminating
% 172.24/160.79 eprover: CPU time limit exceeded, terminating
% 174.47/162.80 eprover: CPU time limit exceeded, terminating
% 176.65/164.81 eprover: CPU time limit exceeded, terminating
% 178.78/166.82 eprover: CPU time limit exceeded, terminating
% 180.93/168.84 eprover: CPU time limit exceeded, terminating
% 183.07/170.85 eprover: CPU time limit exceeded, terminating
% 185.21/172.86 eprover: CPU time limit exceeded, terminating
% 187.41/174.88 eprover: CPU time limit exceeded, terminating
% 189.63/176.89 eprover: CPU time limit exceeded, terminating
% 191.79/178.90 eprover: CPU time limit exceeded, terminating
% 193.93/180.92 eprover: CPU time limit exceeded, terminating
% 196.08/182.93 eprover: CPU time limit exceeded, terminating
% 198.26/184.94 eprover: CPU time limit exceeded, terminating
% 200.40/186.96 eprover: CPU time limit exceeded, terminating
% 202.54/188.97 eprover: CPU time limit exceeded, terminating
% 204.79/190.98 eprover: CPU time limit exceeded, terminating
% 206.94/193.00 eprover: CPU time limit exceeded, terminating
% 209.01/195.01 eprover: CPU time limit exceeded, terminating
% 213.13/197.02 eprover: CPU time limit exceeded, terminating
% 215.28/199.03 eprover: CPU time limit exceeded, terminating
% 217.47/201.05 eprover: CPU time limit exceeded, terminating
% 219.59/203.06 eprover: CPU time limit exceeded, terminating
% 221.76/205.07 eprover: CPU time limit exceeded, terminating
% 223.89/207.09 eprover: CPU time limit exceeded, terminating
% 226.11/209.10 eprover: CPU time limit exceeded, terminating
% 228.29/211.11 eprover: CPU time limit exceeded, terminating
% 230.46/213.12 eprover: CPU time limit exceeded, terminating
% 232.52/215.14 eprover: CPU time limit exceeded, terminating
% 234.59/217.15 eprover: CPU time limit exceeded, terminating
% 236.71/219.16 eprover: CPU time limit exceeded, terminating
% 238.88/221.18 eprover: CPU time limit exceeded, terminating
% 241.05/223.19 eprover: CPU time limit exceeded, terminating
% 243.21/225.20 eprover: CPU time limit exceeded, terminating
% 245.44/227.22 eprover: CPU time limit exceeded, terminating
% 247.63/229.23 eprover: CPU time limit exceeded, terminating
% 249.73/231.24 eprover: CPU time limit exceeded, terminating
% 251.89/233.26 eprover: CPU time limit exceeded, terminating
% 253.92/235.27 eprover: CPU time limit exceeded, terminating
% 256.08/237.28 eprover: CPU time limit exceeded, terminating
% 258.07/239.30 eprover: CPU time limit exceeded, terminating
% 260.30/241.31 eprover: CPU time limit exceeded, terminating
% 262.44/243.32 eprover: CPU time limit exceeded, terminating
% 264.56/245.34 eprover: CPU time limit exceeded, terminating
% 266.64/247.35 eprover: CPU time limit exceeded, terminating
% 268.80/249.37 eprover: CPU time limit exceeded, terminating
% 270.97/251.38 eprover: CPU time limit exceeded, terminating
% 273.20/253.39 eprover: CPU time limit exceeded, terminating
% 275.36/255.40 eprover: CPU time limit exceeded, terminating
% 277.54/257.42 eprover: CPU time limit exceeded, terminating
% 279.66/259.43 eprover: CPU time limit exceeded, terminating
% 281.81/261.44 eprover: CPU time limit exceeded, terminating
% 283.97/263.46 eprover: CPU time limit exceeded, terminating
% 286.11/265.47 eprover: CPU time limit exceeded, terminating
% 288.34/267.48 eprover: CPU time limit exceeded, terminating
% 290.41/269.50 eprover: CPU time limit exceeded, terminating
% 292.63/271.51 eprover: CPU time limit exceeded, terminating
% 294.78/273.52 eprover: CPU time limit exceeded, terminating
% 296.93/275.54 eprover: CPU time limit exceeded, terminating
% 299.00/277.55 eprover: CPU time limit exceeded, terminating
% 300.07/278.51 eprover: CPU time limit exceeded, terminating
% 300.07/278.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------