TSTP Solution File: CSR220+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR220+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:06 EDT 2022
% Result : Timeout 285.97s 259.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR220+1 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n017.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 08:42:51 EDT 2022
% 0.13/0.34 % CPUTime :
% 6.22/6.27 eprover: CPU time limit exceeded, terminating
% 8.46/8.29 eprover: CPU time limit exceeded, terminating
% 10.57/10.30 eprover: CPU time limit exceeded, terminating
% 12.86/12.32 eprover: CPU time limit exceeded, terminating
% 15.01/14.33 eprover: CPU time limit exceeded, terminating
% 17.26/16.35 eprover: CPU time limit exceeded, terminating
% 19.42/18.36 eprover: CPU time limit exceeded, terminating
% 21.55/20.38 eprover: CPU time limit exceeded, terminating
% 23.78/22.39 eprover: CPU time limit exceeded, terminating
% 26.05/24.40 eprover: CPU time limit exceeded, terminating
% 28.27/26.41 eprover: CPU time limit exceeded, terminating
% 30.45/28.42 eprover: CPU time limit exceeded, terminating
% 32.68/30.44 eprover: CPU time limit exceeded, terminating
% 34.86/32.45 eprover: CPU time limit exceeded, terminating
% 37.08/34.46 eprover: CPU time limit exceeded, terminating
% 39.26/36.47 eprover: CPU time limit exceeded, terminating
% 41.47/38.49 eprover: CPU time limit exceeded, terminating
% 43.74/40.50 eprover: CPU time limit exceeded, terminating
% 45.93/42.51 eprover: CPU time limit exceeded, terminating
% 48.11/44.52 eprover: CPU time limit exceeded, terminating
% 50.32/46.54 eprover: CPU time limit exceeded, terminating
% 52.50/48.55 eprover: CPU time limit exceeded, terminating
% 54.69/50.56 eprover: CPU time limit exceeded, terminating
% 56.87/52.57 eprover: CPU time limit exceeded, terminating
% 59.13/54.58 eprover: CPU time limit exceeded, terminating
% 61.28/56.60 eprover: CPU time limit exceeded, terminating
% 63.57/58.61 eprover: CPU time limit exceeded, terminating
% 65.75/60.62 eprover: CPU time limit exceeded, terminating
% 67.96/62.63 eprover: CPU time limit exceeded, terminating
% 70.18/64.65 eprover: CPU time limit exceeded, terminating
% 72.35/66.66 eprover: CPU time limit exceeded, terminating
% 74.58/68.67 eprover: CPU time limit exceeded, terminating
% 76.76/70.68 eprover: CPU time limit exceeded, terminating
% 79.04/72.70 eprover: CPU time limit exceeded, terminating
% 81.27/74.71 eprover: CPU time limit exceeded, terminating
% 83.45/76.72 eprover: CPU time limit exceeded, terminating
% 85.67/78.73 eprover: CPU time limit exceeded, terminating
% 87.87/80.74 eprover: CPU time limit exceeded, terminating
% 90.09/82.75 eprover: CPU time limit exceeded, terminating
% 92.26/84.77 eprover: CPU time limit exceeded, terminating
% 94.48/86.78 eprover: CPU time limit exceeded, terminating
% 96.66/88.79 eprover: CPU time limit exceeded, terminating
% 98.81/90.80 eprover: CPU time limit exceeded, terminating
% 101.11/92.81 eprover: CPU time limit exceeded, terminating
% 103.32/94.83 eprover: CPU time limit exceeded, terminating
% 105.51/96.84 eprover: CPU time limit exceeded, terminating
% 107.68/98.85 eprover: CPU time limit exceeded, terminating
% 109.89/100.86 eprover: CPU time limit exceeded, terminating
% 112.11/102.87 eprover: CPU time limit exceeded, terminating
% 114.36/104.89 eprover: CPU time limit exceeded, terminating
% 116.54/106.90 eprover: CPU time limit exceeded, terminating
% 118.75/108.91 eprover: CPU time limit exceeded, terminating
% 120.97/110.92 eprover: CPU time limit exceeded, terminating
% 125.11/112.94 eprover: CPU time limit exceeded, terminating
% 127.34/114.95 eprover: CPU time limit exceeded, terminating
% 129.58/116.97 eprover: CPU time limit exceeded, terminating
% 131.75/118.98 eprover: CPU time limit exceeded, terminating
% 133.95/120.99 eprover: CPU time limit exceeded, terminating
% 136.22/123.00 eprover: CPU time limit exceeded, terminating
% 138.39/125.02 eprover: CPU time limit exceeded, terminating
% 140.54/127.03 eprover: CPU time limit exceeded, terminating
% 142.75/129.04 eprover: CPU time limit exceeded, terminating
% 144.97/131.05 eprover: CPU time limit exceeded, terminating
% 147.15/133.06 eprover: CPU time limit exceeded, terminating
% 149.37/135.08 eprover: CPU time limit exceeded, terminating
% 151.56/137.09 eprover: CPU time limit exceeded, terminating
% 153.86/139.10 eprover: CPU time limit exceeded, terminating
% 156.00/141.12 eprover: CPU time limit exceeded, terminating
% 158.15/143.13 eprover: CPU time limit exceeded, terminating
% 160.31/145.15 eprover: CPU time limit exceeded, terminating
% 162.50/147.16 eprover: CPU time limit exceeded, terminating
% 164.72/149.17 eprover: CPU time limit exceeded, terminating
% 166.90/151.19 eprover: CPU time limit exceeded, terminating
% 169.19/153.20 eprover: CPU time limit exceeded, terminating
% 171.40/155.21 eprover: CPU time limit exceeded, terminating
% 173.61/157.22 eprover: CPU time limit exceeded, terminating
% 175.80/159.24 eprover: CPU time limit exceeded, terminating
% 177.99/161.25 eprover: CPU time limit exceeded, terminating
% 180.20/163.26 eprover: CPU time limit exceeded, terminating
% 182.38/165.27 eprover: CPU time limit exceeded, terminating
% 184.61/167.28 eprover: CPU time limit exceeded, terminating
% 186.82/169.29 eprover: CPU time limit exceeded, terminating
% 189.08/171.30 eprover: CPU time limit exceeded, terminating
% 191.28/173.31 eprover: CPU time limit exceeded, terminating
% 193.50/175.33 eprover: CPU time limit exceeded, terminating
% 195.72/177.34 eprover: CPU time limit exceeded, terminating
% 197.89/179.35 eprover: CPU time limit exceeded, terminating
% 200.07/181.36 eprover: CPU time limit exceeded, terminating
% 202.25/183.37 eprover: CPU time limit exceeded, terminating
% 204.49/185.38 eprover: CPU time limit exceeded, terminating
% 206.66/187.39 eprover: CPU time limit exceeded, terminating
% 208.94/189.40 eprover: CPU time limit exceeded, terminating
% 211.12/191.41 eprover: CPU time limit exceeded, terminating
% 213.34/193.43 eprover: CPU time limit exceeded, terminating
% 215.54/195.44 eprover: CPU time limit exceeded, terminating
% 217.73/197.45 eprover: CPU time limit exceeded, terminating
% 219.94/199.46 eprover: CPU time limit exceeded, terminating
% 222.10/201.47 eprover: CPU time limit exceeded, terminating
% 224.36/203.48 eprover: CPU time limit exceeded, terminating
% 226.57/205.49 eprover: CPU time limit exceeded, terminating
% 228.76/207.50 eprover: CPU time limit exceeded, terminating
% 230.94/209.51 eprover: CPU time limit exceeded, terminating
% 233.17/211.53 eprover: CPU time limit exceeded, terminating
% 235.34/213.54 eprover: CPU time limit exceeded, terminating
% 237.55/215.55 eprover: CPU time limit exceeded, terminating
% 239.75/217.56 eprover: CPU time limit exceeded, terminating
% 241.94/219.57 eprover: CPU time limit exceeded, terminating
% 244.15/221.58 eprover: CPU time limit exceeded, terminating
% 246.36/223.59 eprover: CPU time limit exceeded, terminating
% 248.62/225.60 eprover: CPU time limit exceeded, terminating
% 250.78/227.62 eprover: CPU time limit exceeded, terminating
% 252.99/229.63 eprover: CPU time limit exceeded, terminating
% 255.17/231.64 eprover: CPU time limit exceeded, terminating
% 257.33/233.66 eprover: CPU time limit exceeded, terminating
% 259.58/235.67 eprover: CPU time limit exceeded, terminating
% 261.77/237.68 eprover: CPU time limit exceeded, terminating
% 263.95/239.69 eprover: CPU time limit exceeded, terminating
% 266.18/241.70 eprover: CPU time limit exceeded, terminating
% 268.43/243.71 eprover: CPU time limit exceeded, terminating
% 270.62/245.72 eprover: CPU time limit exceeded, terminating
% 272.83/247.73 eprover: CPU time limit exceeded, terminating
% 275.01/249.74 eprover: CPU time limit exceeded, terminating
% 277.20/251.75 eprover: CPU time limit exceeded, terminating
% 279.41/253.76 eprover: CPU time limit exceeded, terminating
% 281.67/255.78 eprover: CPU time limit exceeded, terminating
% 283.80/257.79 eprover: CPU time limit exceeded, terminating
% 285.97/259.80 eprover: CPU time limit exceeded, terminating
% 288.21/261.81 eprover: CPU time limit exceeded, terminating
% 290.41/263.83 eprover: CPU time limit exceeded, terminating
% 292.58/265.84 eprover: CPU time limit exceeded, terminating
% 294.83/267.85 eprover: CPU time limit exceeded, terminating
% 297.01/269.86 eprover: CPU time limit exceeded, terminating
% 299.27/271.88 eprover: CPU time limit exceeded, terminating
% 300.06/272.53 eprover: CPU time limit exceeded, terminating
% 300.06/272.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------