TSTP Solution File: CSR201+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR201+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:03 EDT 2022
% Result : Timeout 286.15s 262.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : CSR201+1 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n026.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Fri Jun 10 10:52:33 EDT 2022
% 0.14/0.36 % CPUTime :
% 6.03/6.01 eprover: CPU time limit exceeded, terminating
% 8.26/8.03 eprover: CPU time limit exceeded, terminating
% 10.43/10.04 eprover: CPU time limit exceeded, terminating
% 12.63/12.05 eprover: CPU time limit exceeded, terminating
% 14.85/14.07 eprover: CPU time limit exceeded, terminating
% 17.08/16.08 eprover: CPU time limit exceeded, terminating
% 19.34/18.09 eprover: CPU time limit exceeded, terminating
% 21.53/20.11 eprover: CPU time limit exceeded, terminating
% 23.77/22.12 eprover: CPU time limit exceeded, terminating
% 26.04/24.14 eprover: CPU time limit exceeded, terminating
% 28.24/26.15 eprover: CPU time limit exceeded, terminating
% 30.41/28.16 eprover: CPU time limit exceeded, terminating
% 32.68/30.18 eprover: CPU time limit exceeded, terminating
% 34.94/32.19 eprover: CPU time limit exceeded, terminating
% 37.17/34.21 eprover: CPU time limit exceeded, terminating
% 39.37/36.22 eprover: CPU time limit exceeded, terminating
% 41.61/38.23 eprover: CPU time limit exceeded, terminating
% 43.78/40.25 eprover: CPU time limit exceeded, terminating
% 46.05/42.26 eprover: CPU time limit exceeded, terminating
% 48.29/44.28 eprover: CPU time limit exceeded, terminating
% 50.48/46.29 eprover: CPU time limit exceeded, terminating
% 52.71/48.30 eprover: CPU time limit exceeded, terminating
% 54.97/50.32 eprover: CPU time limit exceeded, terminating
% 57.18/52.33 eprover: CPU time limit exceeded, terminating
% 59.37/54.35 eprover: CPU time limit exceeded, terminating
% 61.58/56.36 eprover: CPU time limit exceeded, terminating
% 63.82/58.37 eprover: CPU time limit exceeded, terminating
% 65.99/60.39 eprover: CPU time limit exceeded, terminating
% 68.28/62.40 eprover: CPU time limit exceeded, terminating
% 70.50/64.42 eprover: CPU time limit exceeded, terminating
% 72.74/66.43 eprover: CPU time limit exceeded, terminating
% 74.94/68.44 eprover: CPU time limit exceeded, terminating
% 77.18/70.46 eprover: CPU time limit exceeded, terminating
% 79.37/72.47 eprover: CPU time limit exceeded, terminating
% 81.56/74.48 eprover: CPU time limit exceeded, terminating
% 83.76/76.49 eprover: CPU time limit exceeded, terminating
% 86.02/78.50 eprover: CPU time limit exceeded, terminating
% 88.24/80.51 eprover: CPU time limit exceeded, terminating
% 90.47/82.53 eprover: CPU time limit exceeded, terminating
% 92.62/84.54 eprover: CPU time limit exceeded, terminating
% 94.88/86.55 eprover: CPU time limit exceeded, terminating
% 97.04/88.56 eprover: CPU time limit exceeded, terminating
% 99.26/90.58 eprover: CPU time limit exceeded, terminating
% 101.51/92.59 eprover: CPU time limit exceeded, terminating
% 103.64/94.60 eprover: CPU time limit exceeded, terminating
% 105.90/96.61 eprover: CPU time limit exceeded, terminating
% 108.13/98.62 eprover: CPU time limit exceeded, terminating
% 110.29/100.64 eprover: CPU time limit exceeded, terminating
% 112.55/102.65 eprover: CPU time limit exceeded, terminating
% 114.69/104.66 eprover: CPU time limit exceeded, terminating
% 116.96/106.67 eprover: CPU time limit exceeded, terminating
% 119.18/108.69 eprover: CPU time limit exceeded, terminating
% 121.35/110.70 eprover: CPU time limit exceeded, terminating
% 123.59/112.71 eprover: CPU time limit exceeded, terminating
% 125.80/114.72 eprover: CPU time limit exceeded, terminating
% 127.94/116.73 eprover: CPU time limit exceeded, terminating
% 130.21/118.74 eprover: CPU time limit exceeded, terminating
% 132.42/120.76 eprover: CPU time limit exceeded, terminating
% 134.53/122.79 eprover: CPU time limit exceeded, terminating
% 136.80/124.81 eprover: CPU time limit exceeded, terminating
% 138.91/126.85 eprover: CPU time limit exceeded, terminating
% 141.09/128.89 eprover: CPU time limit exceeded, terminating
% 143.30/130.92 eprover: CPU time limit exceeded, terminating
% 145.46/132.97 eprover: CPU time limit exceeded, terminating
% 147.64/135.01 eprover: CPU time limit exceeded, terminating
% 149.83/137.04 eprover: CPU time limit exceeded, terminating
% 152.04/139.09 eprover: CPU time limit exceeded, terminating
% 154.25/141.12 eprover: CPU time limit exceeded, terminating
% 156.44/143.15 eprover: CPU time limit exceeded, terminating
% 158.63/145.20 eprover: CPU time limit exceeded, terminating
% 160.81/147.24 eprover: CPU time limit exceeded, terminating
% 162.99/149.30 eprover: CPU time limit exceeded, terminating
% 165.19/151.33 eprover: CPU time limit exceeded, terminating
% 167.36/153.37 eprover: CPU time limit exceeded, terminating
% 169.54/155.40 eprover: CPU time limit exceeded, terminating
% 171.69/157.44 eprover: CPU time limit exceeded, terminating
% 173.83/159.47 eprover: CPU time limit exceeded, terminating
% 176.01/161.52 eprover: CPU time limit exceeded, terminating
% 178.13/163.58 eprover: CPU time limit exceeded, terminating
% 180.28/165.59 eprover: CPU time limit exceeded, terminating
% 182.46/167.60 eprover: CPU time limit exceeded, terminating
% 184.71/169.62 eprover: CPU time limit exceeded, terminating
% 186.89/171.63 eprover: CPU time limit exceeded, terminating
% 189.07/173.64 eprover: CPU time limit exceeded, terminating
% 191.28/175.66 eprover: CPU time limit exceeded, terminating
% 193.52/177.67 eprover: CPU time limit exceeded, terminating
% 195.67/179.68 eprover: CPU time limit exceeded, terminating
% 197.92/181.69 eprover: CPU time limit exceeded, terminating
% 200.11/183.70 eprover: CPU time limit exceeded, terminating
% 202.31/185.71 eprover: CPU time limit exceeded, terminating
% 204.54/187.72 eprover: CPU time limit exceeded, terminating
% 206.67/189.74 eprover: CPU time limit exceeded, terminating
% 208.96/191.75 eprover: CPU time limit exceeded, terminating
% 211.15/193.76 eprover: CPU time limit exceeded, terminating
% 213.33/195.77 eprover: CPU time limit exceeded, terminating
% 215.58/197.79 eprover: CPU time limit exceeded, terminating
% 217.73/199.81 eprover: CPU time limit exceeded, terminating
% 219.95/201.82 eprover: CPU time limit exceeded, terminating
% 222.19/203.83 eprover: CPU time limit exceeded, terminating
% 224.37/205.86 eprover: CPU time limit exceeded, terminating
% 226.56/207.87 eprover: CPU time limit exceeded, terminating
% 228.76/209.88 eprover: CPU time limit exceeded, terminating
% 230.95/211.90 eprover: CPU time limit exceeded, terminating
% 233.18/213.91 eprover: CPU time limit exceeded, terminating
% 235.33/215.92 eprover: CPU time limit exceeded, terminating
% 237.62/217.93 eprover: CPU time limit exceeded, terminating
% 239.82/219.95 eprover: CPU time limit exceeded, terminating
% 242.04/221.96 eprover: CPU time limit exceeded, terminating
% 244.20/223.97 eprover: CPU time limit exceeded, terminating
% 246.46/225.98 eprover: CPU time limit exceeded, terminating
% 248.62/228.00 eprover: CPU time limit exceeded, terminating
% 250.86/230.01 eprover: CPU time limit exceeded, terminating
% 253.01/232.03 eprover: CPU time limit exceeded, terminating
% 255.22/234.04 eprover: CPU time limit exceeded, terminating
% 257.50/236.06 eprover: CPU time limit exceeded, terminating
% 259.72/238.07 eprover: CPU time limit exceeded, terminating
% 261.90/240.08 eprover: CPU time limit exceeded, terminating
% 264.14/242.10 eprover: CPU time limit exceeded, terminating
% 266.29/244.11 eprover: CPU time limit exceeded, terminating
% 268.49/246.12 eprover: CPU time limit exceeded, terminating
% 270.72/248.14 eprover: CPU time limit exceeded, terminating
% 272.90/250.15 eprover: CPU time limit exceeded, terminating
% 275.13/252.17 eprover: CPU time limit exceeded, terminating
% 277.29/254.18 eprover: CPU time limit exceeded, terminating
% 279.54/256.19 eprover: CPU time limit exceeded, terminating
% 281.70/258.21 eprover: CPU time limit exceeded, terminating
% 283.97/260.22 eprover: CPU time limit exceeded, terminating
% 286.15/262.23 eprover: CPU time limit exceeded, terminating
% 288.34/264.25 eprover: CPU time limit exceeded, terminating
% 290.57/266.26 eprover: CPU time limit exceeded, terminating
% 292.77/268.28 eprover: CPU time limit exceeded, terminating
% 295.01/270.29 eprover: CPU time limit exceeded, terminating
% 297.25/272.30 eprover: CPU time limit exceeded, terminating
% 299.43/274.31 eprover: CPU time limit exceeded, terminating
% 300.02/274.81 eprover: CPU time limit exceeded, terminating
% 300.02/274.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------