TSTP Solution File: CSR115+42 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+42 : 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:31 EDT 2022
% Result : Timeout 287.86s 269.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR115+42 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 : Sat Jun 11 05:10:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.69/3.72 eprover: CPU time limit exceeded, terminating
% 5.82/5.73 eprover: CPU time limit exceeded, terminating
% 7.98/7.74 eprover: CPU time limit exceeded, terminating
% 10.15/9.76 eprover: CPU time limit exceeded, terminating
% 12.31/11.77 eprover: CPU time limit exceeded, terminating
% 14.44/13.78 eprover: CPU time limit exceeded, terminating
% 16.58/15.79 eprover: CPU time limit exceeded, terminating
% 18.74/17.80 eprover: CPU time limit exceeded, terminating
% 20.92/19.81 eprover: CPU time limit exceeded, terminating
% 23.06/21.83 eprover: CPU time limit exceeded, terminating
% 25.21/23.84 eprover: CPU time limit exceeded, terminating
% 27.41/25.85 eprover: CPU time limit exceeded, terminating
% 29.52/27.86 eprover: CPU time limit exceeded, terminating
% 31.73/29.87 eprover: CPU time limit exceeded, terminating
% 33.93/31.89 eprover: CPU time limit exceeded, terminating
% 36.04/33.90 eprover: CPU time limit exceeded, terminating
% 38.20/35.91 eprover: CPU time limit exceeded, terminating
% 40.39/37.92 eprover: CPU time limit exceeded, terminating
% 42.55/39.93 eprover: CPU time limit exceeded, terminating
% 44.73/41.95 eprover: CPU time limit exceeded, terminating
% 46.89/43.96 eprover: CPU time limit exceeded, terminating
% 49.07/45.97 eprover: CPU time limit exceeded, terminating
% 51.19/47.98 eprover: CPU time limit exceeded, terminating
% 53.38/49.99 eprover: CPU time limit exceeded, terminating
% 55.52/52.01 eprover: CPU time limit exceeded, terminating
% 57.71/54.02 eprover: CPU time limit exceeded, terminating
% 59.90/56.03 eprover: CPU time limit exceeded, terminating
% 62.05/58.04 eprover: CPU time limit exceeded, terminating
% 64.21/60.06 eprover: CPU time limit exceeded, terminating
% 66.37/62.07 eprover: CPU time limit exceeded, terminating
% 68.53/64.08 eprover: CPU time limit exceeded, terminating
% 70.69/66.09 eprover: CPU time limit exceeded, terminating
% 72.83/68.10 eprover: CPU time limit exceeded, terminating
% 74.99/70.12 eprover: CPU time limit exceeded, terminating
% 77.19/72.13 eprover: CPU time limit exceeded, terminating
% 79.32/74.14 eprover: CPU time limit exceeded, terminating
% 81.42/76.15 eprover: CPU time limit exceeded, terminating
% 83.52/78.17 eprover: CPU time limit exceeded, terminating
% 85.67/80.18 eprover: CPU time limit exceeded, terminating
% 87.82/82.19 eprover: CPU time limit exceeded, terminating
% 89.96/84.20 eprover: CPU time limit exceeded, terminating
% 92.16/86.22 eprover: CPU time limit exceeded, terminating
% 94.33/88.23 eprover: CPU time limit exceeded, terminating
% 96.52/90.24 eprover: CPU time limit exceeded, terminating
% 98.69/92.25 eprover: CPU time limit exceeded, terminating
% 100.87/94.27 eprover: CPU time limit exceeded, terminating
% 103.04/96.28 eprover: CPU time limit exceeded, terminating
% 105.18/98.29 eprover: CPU time limit exceeded, terminating
% 107.34/100.31 eprover: CPU time limit exceeded, terminating
% 109.46/102.32 eprover: CPU time limit exceeded, terminating
% 111.63/104.33 eprover: CPU time limit exceeded, terminating
% 113.88/106.35 eprover: CPU time limit exceeded, terminating
% 116.01/108.36 eprover: CPU time limit exceeded, terminating
% 118.17/110.37 eprover: CPU time limit exceeded, terminating
% 120.34/112.38 eprover: CPU time limit exceeded, terminating
% 122.50/114.40 eprover: CPU time limit exceeded, terminating
% 124.64/116.41 eprover: CPU time limit exceeded, terminating
% 126.85/118.42 eprover: CPU time limit exceeded, terminating
% 128.95/120.44 eprover: CPU time limit exceeded, terminating
% 131.14/122.45 eprover: CPU time limit exceeded, terminating
% 133.31/124.46 eprover: CPU time limit exceeded, terminating
% 135.45/126.47 eprover: CPU time limit exceeded, terminating
% 137.64/128.49 eprover: CPU time limit exceeded, terminating
% 139.77/130.50 eprover: CPU time limit exceeded, terminating
% 141.96/132.51 eprover: CPU time limit exceeded, terminating
% 144.05/134.53 eprover: CPU time limit exceeded, terminating
% 146.20/136.54 eprover: CPU time limit exceeded, terminating
% 148.42/138.55 eprover: CPU time limit exceeded, terminating
% 150.58/140.57 eprover: CPU time limit exceeded, terminating
% 152.70/142.58 eprover: CPU time limit exceeded, terminating
% 154.89/144.60 eprover: CPU time limit exceeded, terminating
% 157.06/146.61 eprover: CPU time limit exceeded, terminating
% 159.19/148.62 eprover: CPU time limit exceeded, terminating
% 161.37/150.64 eprover: CPU time limit exceeded, terminating
% 163.57/152.65 eprover: CPU time limit exceeded, terminating
% 165.72/154.66 eprover: CPU time limit exceeded, terminating
% 167.86/156.67 eprover: CPU time limit exceeded, terminating
% 170.02/158.69 eprover: CPU time limit exceeded, terminating
% 172.21/160.70 eprover: CPU time limit exceeded, terminating
% 174.32/162.72 eprover: CPU time limit exceeded, terminating
% 176.50/164.73 eprover: CPU time limit exceeded, terminating
% 178.67/166.74 eprover: CPU time limit exceeded, terminating
% 180.85/168.76 eprover: CPU time limit exceeded, terminating
% 182.97/170.77 eprover: CPU time limit exceeded, terminating
% 185.12/172.79 eprover: CPU time limit exceeded, terminating
% 187.33/174.80 eprover: CPU time limit exceeded, terminating
% 189.45/176.81 eprover: CPU time limit exceeded, terminating
% 191.63/178.82 eprover: CPU time limit exceeded, terminating
% 193.79/180.84 eprover: CPU time limit exceeded, terminating
% 195.94/182.85 eprover: CPU time limit exceeded, terminating
% 198.09/184.86 eprover: CPU time limit exceeded, terminating
% 200.23/186.87 eprover: CPU time limit exceeded, terminating
% 202.36/188.88 eprover: CPU time limit exceeded, terminating
% 204.54/190.89 eprover: CPU time limit exceeded, terminating
% 206.67/192.90 eprover: CPU time limit exceeded, terminating
% 208.77/194.91 eprover: CPU time limit exceeded, terminating
% 210.91/196.92 eprover: CPU time limit exceeded, terminating
% 213.13/198.94 eprover: CPU time limit exceeded, terminating
% 215.27/200.95 eprover: CPU time limit exceeded, terminating
% 217.36/202.96 eprover: CPU time limit exceeded, terminating
% 219.59/204.97 eprover: CPU time limit exceeded, terminating
% 221.71/206.98 eprover: CPU time limit exceeded, terminating
% 223.85/208.99 eprover: CPU time limit exceeded, terminating
% 226.01/211.00 eprover: CPU time limit exceeded, terminating
% 228.19/213.01 eprover: CPU time limit exceeded, terminating
% 230.26/215.03 eprover: CPU time limit exceeded, terminating
% 232.29/217.04 eprover: CPU time limit exceeded, terminating
% 234.48/219.05 eprover: CPU time limit exceeded, terminating
% 236.65/221.06 eprover: CPU time limit exceeded, terminating
% 238.80/223.07 eprover: CPU time limit exceeded, terminating
% 240.96/225.08 eprover: CPU time limit exceeded, terminating
% 243.06/227.09 eprover: CPU time limit exceeded, terminating
% 245.23/229.11 eprover: CPU time limit exceeded, terminating
% 247.38/231.12 eprover: CPU time limit exceeded, terminating
% 249.53/233.13 eprover: CPU time limit exceeded, terminating
% 251.59/235.14 eprover: CPU time limit exceeded, terminating
% 253.67/237.15 eprover: CPU time limit exceeded, terminating
% 255.74/239.17 eprover: CPU time limit exceeded, terminating
% 257.89/241.18 eprover: CPU time limit exceeded, terminating
% 260.00/243.19 eprover: CPU time limit exceeded, terminating
% 262.19/245.20 eprover: CPU time limit exceeded, terminating
% 264.26/247.21 eprover: CPU time limit exceeded, terminating
% 266.39/249.23 eprover: CPU time limit exceeded, terminating
% 268.54/251.24 eprover: CPU time limit exceeded, terminating
% 270.65/253.25 eprover: CPU time limit exceeded, terminating
% 272.84/255.26 eprover: CPU time limit exceeded, terminating
% 274.98/257.27 eprover: CPU time limit exceeded, terminating
% 277.09/259.29 eprover: CPU time limit exceeded, terminating
% 279.24/261.30 eprover: CPU time limit exceeded, terminating
% 281.45/263.31 eprover: CPU time limit exceeded, terminating
% 283.52/265.32 eprover: CPU time limit exceeded, terminating
% 285.69/267.33 eprover: CPU time limit exceeded, terminating
% 287.86/269.34 eprover: CPU time limit exceeded, terminating
% 289.96/271.36 eprover: CPU time limit exceeded, terminating
% 292.15/273.37 eprover: CPU time limit exceeded, terminating
% 294.29/275.38 eprover: CPU time limit exceeded, terminating
% 296.33/277.39 eprover: CPU time limit exceeded, terminating
% 298.45/279.40 eprover: CPU time limit exceeded, terminating
% 300.05/280.92 eprover: CPU time limit exceeded, terminating
% 300.05/280.94 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------