TSTP Solution File: CSR244+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR244+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:09 EDT 2022
% Result : Timeout 286.23s 259.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR244+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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 : Fri Jun 10 19:01:07 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.77/5.81 eprover: CPU time limit exceeded, terminating
% 7.99/7.83 eprover: CPU time limit exceeded, terminating
% 10.20/9.84 eprover: CPU time limit exceeded, terminating
% 12.43/11.85 eprover: CPU time limit exceeded, terminating
% 14.66/13.86 eprover: CPU time limit exceeded, terminating
% 16.88/15.87 eprover: CPU time limit exceeded, terminating
% 19.08/17.89 eprover: CPU time limit exceeded, terminating
% 21.24/19.90 eprover: CPU time limit exceeded, terminating
% 23.50/21.91 eprover: CPU time limit exceeded, terminating
% 25.68/23.92 eprover: CPU time limit exceeded, terminating
% 27.95/25.94 eprover: CPU time limit exceeded, terminating
% 30.20/27.95 eprover: CPU time limit exceeded, terminating
% 32.40/29.96 eprover: CPU time limit exceeded, terminating
% 34.60/31.97 eprover: CPU time limit exceeded, terminating
% 36.80/33.98 eprover: CPU time limit exceeded, terminating
% 39.00/35.99 eprover: CPU time limit exceeded, terminating
% 41.15/38.00 eprover: CPU time limit exceeded, terminating
% 43.40/40.01 eprover: CPU time limit exceeded, terminating
% 45.64/42.02 eprover: CPU time limit exceeded, terminating
% 47.80/44.04 eprover: CPU time limit exceeded, terminating
% 50.03/46.05 eprover: CPU time limit exceeded, terminating
% 52.19/48.06 eprover: CPU time limit exceeded, terminating
% 54.47/50.07 eprover: CPU time limit exceeded, terminating
% 56.72/52.08 eprover: CPU time limit exceeded, terminating
% 58.88/54.09 eprover: CPU time limit exceeded, terminating
% 61.11/56.11 eprover: CPU time limit exceeded, terminating
% 63.34/58.12 eprover: CPU time limit exceeded, terminating
% 65.51/60.13 eprover: CPU time limit exceeded, terminating
% 67.78/62.14 eprover: CPU time limit exceeded, terminating
% 69.97/64.15 eprover: CPU time limit exceeded, terminating
% 72.17/66.17 eprover: CPU time limit exceeded, terminating
% 74.37/68.18 eprover: CPU time limit exceeded, terminating
% 76.61/70.19 eprover: CPU time limit exceeded, terminating
% 78.79/72.21 eprover: CPU time limit exceeded, terminating
% 81.03/74.22 eprover: CPU time limit exceeded, terminating
% 83.20/76.23 eprover: CPU time limit exceeded, terminating
% 85.50/78.24 eprover: CPU time limit exceeded, terminating
% 87.68/80.26 eprover: CPU time limit exceeded, terminating
% 89.89/82.27 eprover: CPU time limit exceeded, terminating
% 92.06/84.28 eprover: CPU time limit exceeded, terminating
% 94.29/86.29 eprover: CPU time limit exceeded, terminating
% 96.54/88.31 eprover: CPU time limit exceeded, terminating
% 98.71/90.32 eprover: CPU time limit exceeded, terminating
% 100.85/92.33 eprover: CPU time limit exceeded, terminating
% 103.12/94.34 eprover: CPU time limit exceeded, terminating
% 105.32/96.35 eprover: CPU time limit exceeded, terminating
% 107.47/98.37 eprover: CPU time limit exceeded, terminating
% 109.69/100.38 eprover: CPU time limit exceeded, terminating
% 111.96/102.39 eprover: CPU time limit exceeded, terminating
% 114.18/104.40 eprover: CPU time limit exceeded, terminating
% 116.35/106.41 eprover: CPU time limit exceeded, terminating
% 118.59/108.43 eprover: CPU time limit exceeded, terminating
% 120.78/110.44 eprover: CPU time limit exceeded, terminating
% 123.02/112.45 eprover: CPU time limit exceeded, terminating
% 125.18/114.46 eprover: CPU time limit exceeded, terminating
% 127.43/116.47 eprover: CPU time limit exceeded, terminating
% 129.60/118.49 eprover: CPU time limit exceeded, terminating
% 131.79/120.50 eprover: CPU time limit exceeded, terminating
% 134.04/122.51 eprover: CPU time limit exceeded, terminating
% 136.18/124.52 eprover: CPU time limit exceeded, terminating
% 138.41/126.53 eprover: CPU time limit exceeded, terminating
% 140.63/128.55 eprover: CPU time limit exceeded, terminating
% 142.85/130.56 eprover: CPU time limit exceeded, terminating
% 145.01/132.57 eprover: CPU time limit exceeded, terminating
% 147.26/134.58 eprover: CPU time limit exceeded, terminating
% 149.53/136.59 eprover: CPU time limit exceeded, terminating
% 151.73/138.60 eprover: CPU time limit exceeded, terminating
% 155.91/140.62 eprover: CPU time limit exceeded, terminating
% 158.16/142.63 eprover: CPU time limit exceeded, terminating
% 160.32/144.64 eprover: CPU time limit exceeded, terminating
% 162.55/146.65 eprover: CPU time limit exceeded, terminating
% 164.74/148.66 eprover: CPU time limit exceeded, terminating
% 166.97/150.68 eprover: CPU time limit exceeded, terminating
% 169.08/152.69 eprover: CPU time limit exceeded, terminating
% 171.38/154.70 eprover: CPU time limit exceeded, terminating
% 173.60/156.71 eprover: CPU time limit exceeded, terminating
% 175.81/158.73 eprover: CPU time limit exceeded, terminating
% 178.00/160.74 eprover: CPU time limit exceeded, terminating
% 180.21/162.75 eprover: CPU time limit exceeded, terminating
% 182.41/164.77 eprover: CPU time limit exceeded, terminating
% 184.58/166.78 eprover: CPU time limit exceeded, terminating
% 186.85/168.79 eprover: CPU time limit exceeded, terminating
% 189.09/170.81 eprover: CPU time limit exceeded, terminating
% 191.29/172.82 eprover: CPU time limit exceeded, terminating
% 193.49/174.83 eprover: CPU time limit exceeded, terminating
% 195.70/176.84 eprover: CPU time limit exceeded, terminating
% 197.86/178.86 eprover: CPU time limit exceeded, terminating
% 200.12/180.87 eprover: CPU time limit exceeded, terminating
% 202.28/182.88 eprover: CPU time limit exceeded, terminating
% 204.47/184.90 eprover: CPU time limit exceeded, terminating
% 206.72/186.91 eprover: CPU time limit exceeded, terminating
% 208.97/188.92 eprover: CPU time limit exceeded, terminating
% 211.10/190.94 eprover: CPU time limit exceeded, terminating
% 213.35/192.95 eprover: CPU time limit exceeded, terminating
% 215.50/194.96 eprover: CPU time limit exceeded, terminating
% 217.75/196.97 eprover: CPU time limit exceeded, terminating
% 219.98/198.98 eprover: CPU time limit exceeded, terminating
% 222.15/201.00 eprover: CPU time limit exceeded, terminating
% 224.40/203.01 eprover: CPU time limit exceeded, terminating
% 226.61/205.02 eprover: CPU time limit exceeded, terminating
% 228.80/207.03 eprover: CPU time limit exceeded, terminating
% 231.02/209.04 eprover: CPU time limit exceeded, terminating
% 233.22/211.06 eprover: CPU time limit exceeded, terminating
% 235.42/213.07 eprover: CPU time limit exceeded, terminating
% 237.67/215.08 eprover: CPU time limit exceeded, terminating
% 239.78/217.09 eprover: CPU time limit exceeded, terminating
% 242.08/219.10 eprover: CPU time limit exceeded, terminating
% 244.29/221.12 eprover: CPU time limit exceeded, terminating
% 246.51/223.13 eprover: CPU time limit exceeded, terminating
% 248.68/225.14 eprover: CPU time limit exceeded, terminating
% 250.91/227.15 eprover: CPU time limit exceeded, terminating
% 253.07/229.17 eprover: CPU time limit exceeded, terminating
% 255.29/231.18 eprover: CPU time limit exceeded, terminating
% 257.47/233.19 eprover: CPU time limit exceeded, terminating
% 259.77/235.20 eprover: CPU time limit exceeded, terminating
% 261.95/237.21 eprover: CPU time limit exceeded, terminating
% 264.18/239.23 eprover: CPU time limit exceeded, terminating
% 266.40/241.24 eprover: CPU time limit exceeded, terminating
% 268.58/243.25 eprover: CPU time limit exceeded, terminating
% 270.77/245.26 eprover: CPU time limit exceeded, terminating
% 272.97/247.28 eprover: CPU time limit exceeded, terminating
% 275.16/249.29 eprover: CPU time limit exceeded, terminating
% 277.47/251.30 eprover: CPU time limit exceeded, terminating
% 279.65/253.31 eprover: CPU time limit exceeded, terminating
% 281.87/255.33 eprover: CPU time limit exceeded, terminating
% 284.05/257.34 eprover: CPU time limit exceeded, terminating
% 286.23/259.35 eprover: CPU time limit exceeded, terminating
% 288.41/261.36 eprover: CPU time limit exceeded, terminating
% 290.70/263.37 eprover: CPU time limit exceeded, terminating
% 292.82/265.39 eprover: CPU time limit exceeded, terminating
% 295.12/267.40 eprover: CPU time limit exceeded, terminating
% 297.23/269.41 eprover: CPU time limit exceeded, terminating
% 300.03/270.13 eprover: CPU time limit exceeded, terminating
% 300.03/270.15 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------