TSTP Solution File: CSR237+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR237+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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.70s 261.49s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR237+1 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.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 18:41:39 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.75/5.77 eprover: CPU time limit exceeded, terminating
% 7.99/7.78 eprover: CPU time limit exceeded, terminating
% 10.15/9.80 eprover: CPU time limit exceeded, terminating
% 12.41/11.81 eprover: CPU time limit exceeded, terminating
% 14.61/13.82 eprover: CPU time limit exceeded, terminating
% 16.83/15.83 eprover: CPU time limit exceeded, terminating
% 18.98/17.85 eprover: CPU time limit exceeded, terminating
% 21.21/19.86 eprover: CPU time limit exceeded, terminating
% 23.40/21.87 eprover: CPU time limit exceeded, terminating
% 25.66/23.88 eprover: CPU time limit exceeded, terminating
% 27.92/25.90 eprover: CPU time limit exceeded, terminating
% 30.13/27.91 eprover: CPU time limit exceeded, terminating
% 32.36/29.92 eprover: CPU time limit exceeded, terminating
% 34.54/31.94 eprover: CPU time limit exceeded, terminating
% 36.72/33.95 eprover: CPU time limit exceeded, terminating
% 38.93/35.96 eprover: CPU time limit exceeded, terminating
% 41.11/37.97 eprover: CPU time limit exceeded, terminating
% 43.30/39.98 eprover: CPU time limit exceeded, terminating
% 45.63/42.00 eprover: CPU time limit exceeded, terminating
% 47.85/44.01 eprover: CPU time limit exceeded, terminating
% 50.06/46.02 eprover: CPU time limit exceeded, terminating
% 52.22/48.03 eprover: CPU time limit exceeded, terminating
% 54.43/50.04 eprover: CPU time limit exceeded, terminating
% 56.64/52.05 eprover: CPU time limit exceeded, terminating
% 58.82/54.06 eprover: CPU time limit exceeded, terminating
% 61.04/56.08 eprover: CPU time limit exceeded, terminating
% 63.30/58.09 eprover: CPU time limit exceeded, terminating
% 65.49/60.10 eprover: CPU time limit exceeded, terminating
% 67.69/62.11 eprover: CPU time limit exceeded, terminating
% 69.87/64.12 eprover: CPU time limit exceeded, terminating
% 72.09/66.13 eprover: CPU time limit exceeded, terminating
% 74.27/68.14 eprover: CPU time limit exceeded, terminating
% 76.49/70.16 eprover: CPU time limit exceeded, terminating
% 78.66/72.17 eprover: CPU time limit exceeded, terminating
% 80.88/74.18 eprover: CPU time limit exceeded, terminating
% 83.08/76.19 eprover: CPU time limit exceeded, terminating
% 85.37/78.20 eprover: CPU time limit exceeded, terminating
% 87.51/80.22 eprover: CPU time limit exceeded, terminating
% 89.77/82.23 eprover: CPU time limit exceeded, terminating
% 92.00/84.24 eprover: CPU time limit exceeded, terminating
% 94.15/86.26 eprover: CPU time limit exceeded, terminating
% 96.36/88.27 eprover: CPU time limit exceeded, terminating
% 98.52/90.28 eprover: CPU time limit exceeded, terminating
% 100.81/92.30 eprover: CPU time limit exceeded, terminating
% 102.99/94.31 eprover: CPU time limit exceeded, terminating
% 105.20/96.33 eprover: CPU time limit exceeded, terminating
% 107.42/98.34 eprover: CPU time limit exceeded, terminating
% 109.59/100.35 eprover: CPU time limit exceeded, terminating
% 111.83/102.37 eprover: CPU time limit exceeded, terminating
% 113.99/104.38 eprover: CPU time limit exceeded, terminating
% 116.31/106.40 eprover: CPU time limit exceeded, terminating
% 118.50/108.41 eprover: CPU time limit exceeded, terminating
% 120.68/110.43 eprover: CPU time limit exceeded, terminating
% 122.88/112.44 eprover: CPU time limit exceeded, terminating
% 125.10/114.45 eprover: CPU time limit exceeded, terminating
% 127.28/116.47 eprover: CPU time limit exceeded, terminating
% 129.48/118.48 eprover: CPU time limit exceeded, terminating
% 131.67/120.49 eprover: CPU time limit exceeded, terminating
% 133.96/122.51 eprover: CPU time limit exceeded, terminating
% 136.14/124.52 eprover: CPU time limit exceeded, terminating
% 138.37/126.54 eprover: CPU time limit exceeded, terminating
% 140.53/128.55 eprover: CPU time limit exceeded, terminating
% 142.75/130.56 eprover: CPU time limit exceeded, terminating
% 145.01/132.58 eprover: CPU time limit exceeded, terminating
% 147.16/134.59 eprover: CPU time limit exceeded, terminating
% 149.43/136.61 eprover: CPU time limit exceeded, terminating
% 151.67/138.62 eprover: CPU time limit exceeded, terminating
% 153.86/140.64 eprover: CPU time limit exceeded, terminating
% 156.01/142.65 eprover: CPU time limit exceeded, terminating
% 158.24/144.67 eprover: CPU time limit exceeded, terminating
% 160.50/146.68 eprover: CPU time limit exceeded, terminating
% 162.66/148.69 eprover: CPU time limit exceeded, terminating
% 164.93/150.71 eprover: CPU time limit exceeded, terminating
% 167.17/152.72 eprover: CPU time limit exceeded, terminating
% 169.36/154.74 eprover: CPU time limit exceeded, terminating
% 171.59/156.75 eprover: CPU time limit exceeded, terminating
% 173.78/158.77 eprover: CPU time limit exceeded, terminating
% 176.02/160.78 eprover: CPU time limit exceeded, terminating
% 178.24/162.79 eprover: CPU time limit exceeded, terminating
% 180.45/164.81 eprover: CPU time limit exceeded, terminating
% 182.68/166.82 eprover: CPU time limit exceeded, terminating
% 184.90/168.84 eprover: CPU time limit exceeded, terminating
% 187.09/170.85 eprover: CPU time limit exceeded, terminating
% 189.29/172.87 eprover: CPU time limit exceeded, terminating
% 191.53/174.88 eprover: CPU time limit exceeded, terminating
% 193.78/176.90 eprover: CPU time limit exceeded, terminating
% 195.96/178.91 eprover: CPU time limit exceeded, terminating
% 198.20/180.93 eprover: CPU time limit exceeded, terminating
% 200.35/182.94 eprover: CPU time limit exceeded, terminating
% 202.62/184.95 eprover: CPU time limit exceeded, terminating
% 204.79/186.97 eprover: CPU time limit exceeded, terminating
% 207.03/188.98 eprover: CPU time limit exceeded, terminating
% 209.29/191.00 eprover: CPU time limit exceeded, terminating
% 211.43/193.01 eprover: CPU time limit exceeded, terminating
% 213.67/195.03 eprover: CPU time limit exceeded, terminating
% 215.91/197.04 eprover: CPU time limit exceeded, terminating
% 218.12/199.05 eprover: CPU time limit exceeded, terminating
% 220.31/201.07 eprover: CPU time limit exceeded, terminating
% 222.59/203.08 eprover: CPU time limit exceeded, terminating
% 224.72/205.10 eprover: CPU time limit exceeded, terminating
% 226.95/207.11 eprover: CPU time limit exceeded, terminating
% 229.20/209.13 eprover: CPU time limit exceeded, terminating
% 231.43/211.14 eprover: CPU time limit exceeded, terminating
% 233.60/213.15 eprover: CPU time limit exceeded, terminating
% 235.83/215.17 eprover: CPU time limit exceeded, terminating
% 238.06/217.18 eprover: CPU time limit exceeded, terminating
% 240.21/219.20 eprover: CPU time limit exceeded, terminating
% 242.46/221.21 eprover: CPU time limit exceeded, terminating
% 244.69/223.22 eprover: CPU time limit exceeded, terminating
% 246.89/225.24 eprover: CPU time limit exceeded, terminating
% 249.07/227.25 eprover: CPU time limit exceeded, terminating
% 251.26/229.27 eprover: CPU time limit exceeded, terminating
% 253.48/231.28 eprover: CPU time limit exceeded, terminating
% 255.75/233.29 eprover: CPU time limit exceeded, terminating
% 257.93/235.31 eprover: CPU time limit exceeded, terminating
% 260.15/237.32 eprover: CPU time limit exceeded, terminating
% 262.34/239.34 eprover: CPU time limit exceeded, terminating
% 264.53/241.35 eprover: CPU time limit exceeded, terminating
% 266.76/243.36 eprover: CPU time limit exceeded, terminating
% 268.94/245.38 eprover: CPU time limit exceeded, terminating
% 271.14/247.39 eprover: CPU time limit exceeded, terminating
% 273.38/249.41 eprover: CPU time limit exceeded, terminating
% 275.63/251.42 eprover: CPU time limit exceeded, terminating
% 277.80/253.44 eprover: CPU time limit exceeded, terminating
% 280.00/255.45 eprover: CPU time limit exceeded, terminating
% 282.27/257.46 eprover: CPU time limit exceeded, terminating
% 284.46/259.48 eprover: CPU time limit exceeded, terminating
% 286.70/261.49 eprover: CPU time limit exceeded, terminating
% 288.87/263.51 eprover: CPU time limit exceeded, terminating
% 291.13/265.52 eprover: CPU time limit exceeded, terminating
% 293.36/267.53 eprover: CPU time limit exceeded, terminating
% 295.52/269.55 eprover: CPU time limit exceeded, terminating
% 297.73/271.56 eprover: CPU time limit exceeded, terminating
% 299.97/273.58 eprover: CPU time limit exceeded, terminating
% 300.09/273.66 eprover: CPU time limit exceeded, terminating
% 300.09/273.67 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------