TSTP Solution File: CSR239+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR239+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:36:08 EDT 2022
% Result : Timeout 286.16s 261.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR239+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n010.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 03:12:40 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.85/5.83 eprover: CPU time limit exceeded, terminating
% 8.04/7.84 eprover: CPU time limit exceeded, terminating
% 10.23/9.85 eprover: CPU time limit exceeded, terminating
% 12.40/11.86 eprover: CPU time limit exceeded, terminating
% 14.64/13.87 eprover: CPU time limit exceeded, terminating
% 16.83/15.88 eprover: CPU time limit exceeded, terminating
% 19.04/17.89 eprover: CPU time limit exceeded, terminating
% 21.23/19.90 eprover: CPU time limit exceeded, terminating
% 23.46/21.91 eprover: CPU time limit exceeded, terminating
% 25.62/23.92 eprover: CPU time limit exceeded, terminating
% 27.94/25.93 eprover: CPU time limit exceeded, terminating
% 30.14/27.95 eprover: CPU time limit exceeded, terminating
% 32.33/29.96 eprover: CPU time limit exceeded, terminating
% 34.51/31.97 eprover: CPU time limit exceeded, terminating
% 36.75/33.98 eprover: CPU time limit exceeded, terminating
% 38.95/35.99 eprover: CPU time limit exceeded, terminating
% 41.15/38.00 eprover: CPU time limit exceeded, terminating
% 43.35/40.01 eprover: CPU time limit exceeded, terminating
% 45.60/42.02 eprover: CPU time limit exceeded, terminating
% 47.78/44.03 eprover: CPU time limit exceeded, terminating
% 50.04/46.04 eprover: CPU time limit exceeded, terminating
% 52.25/48.05 eprover: CPU time limit exceeded, terminating
% 54.45/50.06 eprover: CPU time limit exceeded, terminating
% 56.63/52.07 eprover: CPU time limit exceeded, terminating
% 58.86/54.08 eprover: CPU time limit exceeded, terminating
% 61.07/56.09 eprover: CPU time limit exceeded, terminating
% 63.27/58.10 eprover: CPU time limit exceeded, terminating
% 65.47/60.12 eprover: CPU time limit exceeded, terminating
% 67.73/62.13 eprover: CPU time limit exceeded, terminating
% 69.86/64.14 eprover: CPU time limit exceeded, terminating
% 72.14/66.15 eprover: CPU time limit exceeded, terminating
% 74.34/68.16 eprover: CPU time limit exceeded, terminating
% 76.54/70.17 eprover: CPU time limit exceeded, terminating
% 78.75/72.18 eprover: CPU time limit exceeded, terminating
% 80.96/74.19 eprover: CPU time limit exceeded, terminating
% 83.17/76.20 eprover: CPU time limit exceeded, terminating
% 85.39/78.22 eprover: CPU time limit exceeded, terminating
% 87.63/80.23 eprover: CPU time limit exceeded, terminating
% 89.82/82.24 eprover: CPU time limit exceeded, terminating
% 91.98/84.25 eprover: CPU time limit exceeded, terminating
% 94.24/86.26 eprover: CPU time limit exceeded, terminating
% 96.44/88.27 eprover: CPU time limit exceeded, terminating
% 98.64/90.28 eprover: CPU time limit exceeded, terminating
% 100.89/92.29 eprover: CPU time limit exceeded, terminating
% 103.10/94.30 eprover: CPU time limit exceeded, terminating
% 105.26/96.31 eprover: CPU time limit exceeded, terminating
% 107.47/98.33 eprover: CPU time limit exceeded, terminating
% 109.69/100.34 eprover: CPU time limit exceeded, terminating
% 111.90/102.35 eprover: CPU time limit exceeded, terminating
% 114.06/104.36 eprover: CPU time limit exceeded, terminating
% 116.33/106.37 eprover: CPU time limit exceeded, terminating
% 118.53/108.38 eprover: CPU time limit exceeded, terminating
% 120.76/110.39 eprover: CPU time limit exceeded, terminating
% 122.95/112.40 eprover: CPU time limit exceeded, terminating
% 125.12/114.42 eprover: CPU time limit exceeded, terminating
% 127.34/116.43 eprover: CPU time limit exceeded, terminating
% 129.55/118.44 eprover: CPU time limit exceeded, terminating
% 131.77/120.45 eprover: CPU time limit exceeded, terminating
% 134.02/122.46 eprover: CPU time limit exceeded, terminating
% 136.21/124.47 eprover: CPU time limit exceeded, terminating
% 138.40/126.48 eprover: CPU time limit exceeded, terminating
% 140.58/128.50 eprover: CPU time limit exceeded, terminating
% 142.81/130.51 eprover: CPU time limit exceeded, terminating
% 144.99/132.52 eprover: CPU time limit exceeded, terminating
% 147.24/134.53 eprover: CPU time limit exceeded, terminating
% 149.45/136.54 eprover: CPU time limit exceeded, terminating
% 151.66/138.55 eprover: CPU time limit exceeded, terminating
% 153.80/140.56 eprover: CPU time limit exceeded, terminating
% 156.06/142.57 eprover: CPU time limit exceeded, terminating
% 158.26/144.58 eprover: CPU time limit exceeded, terminating
% 160.44/146.59 eprover: CPU time limit exceeded, terminating
% 162.64/148.60 eprover: CPU time limit exceeded, terminating
% 164.86/150.62 eprover: CPU time limit exceeded, terminating
% 167.01/152.63 eprover: CPU time limit exceeded, terminating
% 169.20/154.64 eprover: CPU time limit exceeded, terminating
% 171.49/156.65 eprover: CPU time limit exceeded, terminating
% 173.69/158.66 eprover: CPU time limit exceeded, terminating
% 175.89/160.67 eprover: CPU time limit exceeded, terminating
% 178.10/162.68 eprover: CPU time limit exceeded, terminating
% 180.30/164.69 eprover: CPU time limit exceeded, terminating
% 182.50/166.70 eprover: CPU time limit exceeded, terminating
% 184.72/168.71 eprover: CPU time limit exceeded, terminating
% 186.91/170.73 eprover: CPU time limit exceeded, terminating
% 189.14/172.74 eprover: CPU time limit exceeded, terminating
% 191.31/174.75 eprover: CPU time limit exceeded, terminating
% 193.51/176.76 eprover: CPU time limit exceeded, terminating
% 195.75/178.77 eprover: CPU time limit exceeded, terminating
% 197.96/180.78 eprover: CPU time limit exceeded, terminating
% 200.15/182.79 eprover: CPU time limit exceeded, terminating
% 202.33/184.80 eprover: CPU time limit exceeded, terminating
% 204.56/186.82 eprover: CPU time limit exceeded, terminating
% 206.73/188.83 eprover: CPU time limit exceeded, terminating
% 208.96/190.84 eprover: CPU time limit exceeded, terminating
% 211.19/192.85 eprover: CPU time limit exceeded, terminating
% 213.41/194.86 eprover: CPU time limit exceeded, terminating
% 215.57/196.87 eprover: CPU time limit exceeded, terminating
% 217.82/198.88 eprover: CPU time limit exceeded, terminating
% 220.03/200.89 eprover: CPU time limit exceeded, terminating
% 222.18/202.90 eprover: CPU time limit exceeded, terminating
% 224.42/204.91 eprover: CPU time limit exceeded, terminating
% 226.66/206.93 eprover: CPU time limit exceeded, terminating
% 228.84/208.94 eprover: CPU time limit exceeded, terminating
% 231.00/210.95 eprover: CPU time limit exceeded, terminating
% 233.25/212.96 eprover: CPU time limit exceeded, terminating
% 235.46/214.97 eprover: CPU time limit exceeded, terminating
% 237.68/216.98 eprover: CPU time limit exceeded, terminating
% 239.86/218.99 eprover: CPU time limit exceeded, terminating
% 242.04/221.00 eprover: CPU time limit exceeded, terminating
% 244.24/223.01 eprover: CPU time limit exceeded, terminating
% 246.48/225.02 eprover: CPU time limit exceeded, terminating
% 248.71/227.04 eprover: CPU time limit exceeded, terminating
% 250.89/229.05 eprover: CPU time limit exceeded, terminating
% 253.14/231.06 eprover: CPU time limit exceeded, terminating
% 255.34/233.07 eprover: CPU time limit exceeded, terminating
% 257.52/235.08 eprover: CPU time limit exceeded, terminating
% 259.71/237.09 eprover: CPU time limit exceeded, terminating
% 261.94/239.10 eprover: CPU time limit exceeded, terminating
% 264.10/241.11 eprover: CPU time limit exceeded, terminating
% 266.29/243.13 eprover: CPU time limit exceeded, terminating
% 268.47/245.14 eprover: CPU time limit exceeded, terminating
% 270.76/247.15 eprover: CPU time limit exceeded, terminating
% 272.96/249.16 eprover: CPU time limit exceeded, terminating
% 275.17/251.17 eprover: CPU time limit exceeded, terminating
% 277.38/253.18 eprover: CPU time limit exceeded, terminating
% 279.56/255.19 eprover: CPU time limit exceeded, terminating
% 281.77/257.20 eprover: CPU time limit exceeded, terminating
% 284.00/259.21 eprover: CPU time limit exceeded, terminating
% 286.16/261.22 eprover: CPU time limit exceeded, terminating
% 288.39/263.24 eprover: CPU time limit exceeded, terminating
% 290.57/265.25 eprover: CPU time limit exceeded, terminating
% 292.79/267.26 eprover: CPU time limit exceeded, terminating
% 295.03/269.27 eprover: CPU time limit exceeded, terminating
% 297.23/271.28 eprover: CPU time limit exceeded, terminating
% 299.41/273.29 eprover: CPU time limit exceeded, terminating
% 300.04/273.78 eprover: CPU time limit exceeded, terminating
% 300.04/273.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------