TSTP Solution File: CSR210+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR210+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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:04 EDT 2022
% Result : Timeout 286.83s 265.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : CSR210+1 : TPTP v8.1.0. Released v7.3.0.
% 0.09/0.11 % Command : run_infinox %s
% 0.10/0.31 % Computer : n032.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Fri Jun 10 05:41:23 EDT 2022
% 0.10/0.31 % CPUTime :
% 6.12/6.20 eprover: CPU time limit exceeded, terminating
% 8.28/8.21 eprover: CPU time limit exceeded, terminating
% 10.44/10.22 eprover: CPU time limit exceeded, terminating
% 12.62/12.23 eprover: CPU time limit exceeded, terminating
% 14.76/14.25 eprover: CPU time limit exceeded, terminating
% 16.95/16.26 eprover: CPU time limit exceeded, terminating
% 19.10/18.28 eprover: CPU time limit exceeded, terminating
% 21.30/20.29 eprover: CPU time limit exceeded, terminating
% 23.49/22.30 eprover: CPU time limit exceeded, terminating
% 25.68/24.32 eprover: CPU time limit exceeded, terminating
% 27.84/26.33 eprover: CPU time limit exceeded, terminating
% 30.01/28.34 eprover: CPU time limit exceeded, terminating
% 32.14/30.36 eprover: CPU time limit exceeded, terminating
% 34.34/32.37 eprover: CPU time limit exceeded, terminating
% 36.52/34.38 eprover: CPU time limit exceeded, terminating
% 38.75/36.40 eprover: CPU time limit exceeded, terminating
% 40.93/38.41 eprover: CPU time limit exceeded, terminating
% 43.09/40.42 eprover: CPU time limit exceeded, terminating
% 45.26/42.43 eprover: CPU time limit exceeded, terminating
% 47.45/44.44 eprover: CPU time limit exceeded, terminating
% 49.60/46.47 eprover: CPU time limit exceeded, terminating
% 51.82/48.48 eprover: CPU time limit exceeded, terminating
% 53.99/50.49 eprover: CPU time limit exceeded, terminating
% 56.19/52.50 eprover: CPU time limit exceeded, terminating
% 58.34/54.52 eprover: CPU time limit exceeded, terminating
% 60.53/56.53 eprover: CPU time limit exceeded, terminating
% 62.71/58.54 eprover: CPU time limit exceeded, terminating
% 64.86/60.56 eprover: CPU time limit exceeded, terminating
% 67.03/62.57 eprover: CPU time limit exceeded, terminating
% 69.19/64.58 eprover: CPU time limit exceeded, terminating
% 71.42/66.60 eprover: CPU time limit exceeded, terminating
% 73.61/68.61 eprover: CPU time limit exceeded, terminating
% 75.74/70.62 eprover: CPU time limit exceeded, terminating
% 77.94/72.63 eprover: CPU time limit exceeded, terminating
% 80.11/74.65 eprover: CPU time limit exceeded, terminating
% 82.24/76.66 eprover: CPU time limit exceeded, terminating
% 84.45/78.67 eprover: CPU time limit exceeded, terminating
% 86.68/80.69 eprover: CPU time limit exceeded, terminating
% 88.80/82.70 eprover: CPU time limit exceeded, terminating
% 91.01/84.71 eprover: CPU time limit exceeded, terminating
% 93.20/86.73 eprover: CPU time limit exceeded, terminating
% 95.41/88.74 eprover: CPU time limit exceeded, terminating
% 97.57/90.75 eprover: CPU time limit exceeded, terminating
% 99.69/92.77 eprover: CPU time limit exceeded, terminating
% 101.85/94.78 eprover: CPU time limit exceeded, terminating
% 104.04/96.79 eprover: CPU time limit exceeded, terminating
% 106.28/98.80 eprover: CPU time limit exceeded, terminating
% 108.46/100.82 eprover: CPU time limit exceeded, terminating
% 110.64/102.83 eprover: CPU time limit exceeded, terminating
% 112.78/104.84 eprover: CPU time limit exceeded, terminating
% 114.98/106.85 eprover: CPU time limit exceeded, terminating
% 117.11/108.87 eprover: CPU time limit exceeded, terminating
% 119.30/110.88 eprover: CPU time limit exceeded, terminating
% 121.52/112.89 eprover: CPU time limit exceeded, terminating
% 123.62/114.91 eprover: CPU time limit exceeded, terminating
% 125.89/116.92 eprover: CPU time limit exceeded, terminating
% 128.04/118.93 eprover: CPU time limit exceeded, terminating
% 130.22/120.95 eprover: CPU time limit exceeded, terminating
% 132.36/122.96 eprover: CPU time limit exceeded, terminating
% 134.58/124.98 eprover: CPU time limit exceeded, terminating
% 136.67/126.99 eprover: CPU time limit exceeded, terminating
% 138.87/129.00 eprover: CPU time limit exceeded, terminating
% 141.12/131.01 eprover: CPU time limit exceeded, terminating
% 143.28/133.03 eprover: CPU time limit exceeded, terminating
% 145.45/135.04 eprover: CPU time limit exceeded, terminating
% 147.62/137.05 eprover: CPU time limit exceeded, terminating
% 149.79/139.07 eprover: CPU time limit exceeded, terminating
% 151.92/141.08 eprover: CPU time limit exceeded, terminating
% 154.17/143.09 eprover: CPU time limit exceeded, terminating
% 156.35/145.11 eprover: CPU time limit exceeded, terminating
% 158.51/147.12 eprover: CPU time limit exceeded, terminating
% 160.71/149.13 eprover: CPU time limit exceeded, terminating
% 162.83/151.15 eprover: CPU time limit exceeded, terminating
% 164.97/153.16 eprover: CPU time limit exceeded, terminating
% 167.16/155.17 eprover: CPU time limit exceeded, terminating
% 169.32/157.18 eprover: CPU time limit exceeded, terminating
% 171.50/159.20 eprover: CPU time limit exceeded, terminating
% 173.76/161.21 eprover: CPU time limit exceeded, terminating
% 175.89/163.22 eprover: CPU time limit exceeded, terminating
% 178.07/165.24 eprover: CPU time limit exceeded, terminating
% 180.26/167.25 eprover: CPU time limit exceeded, terminating
% 182.39/169.26 eprover: CPU time limit exceeded, terminating
% 184.64/171.28 eprover: CPU time limit exceeded, terminating
% 186.73/173.29 eprover: CPU time limit exceeded, terminating
% 188.98/175.31 eprover: CPU time limit exceeded, terminating
% 191.13/177.32 eprover: CPU time limit exceeded, terminating
% 193.31/179.33 eprover: CPU time limit exceeded, terminating
% 195.46/181.35 eprover: CPU time limit exceeded, terminating
% 197.62/183.36 eprover: CPU time limit exceeded, terminating
% 199.76/185.37 eprover: CPU time limit exceeded, terminating
% 201.95/187.38 eprover: CPU time limit exceeded, terminating
% 204.11/189.40 eprover: CPU time limit exceeded, terminating
% 206.37/191.41 eprover: CPU time limit exceeded, terminating
% 208.54/193.42 eprover: CPU time limit exceeded, terminating
% 210.69/195.44 eprover: CPU time limit exceeded, terminating
% 212.84/197.45 eprover: CPU time limit exceeded, terminating
% 215.03/199.47 eprover: CPU time limit exceeded, terminating
% 217.18/201.48 eprover: CPU time limit exceeded, terminating
% 219.35/203.49 eprover: CPU time limit exceeded, terminating
% 221.60/205.51 eprover: CPU time limit exceeded, terminating
% 223.76/207.52 eprover: CPU time limit exceeded, terminating
% 225.91/209.53 eprover: CPU time limit exceeded, terminating
% 228.09/211.55 eprover: CPU time limit exceeded, terminating
% 230.26/213.56 eprover: CPU time limit exceeded, terminating
% 232.41/215.57 eprover: CPU time limit exceeded, terminating
% 234.58/217.59 eprover: CPU time limit exceeded, terminating
% 236.74/219.60 eprover: CPU time limit exceeded, terminating
% 238.98/221.61 eprover: CPU time limit exceeded, terminating
% 241.17/223.62 eprover: CPU time limit exceeded, terminating
% 243.33/225.64 eprover: CPU time limit exceeded, terminating
% 245.48/227.65 eprover: CPU time limit exceeded, terminating
% 247.64/229.66 eprover: CPU time limit exceeded, terminating
% 249.79/231.68 eprover: CPU time limit exceeded, terminating
% 251.97/233.69 eprover: CPU time limit exceeded, terminating
% 254.21/235.70 eprover: CPU time limit exceeded, terminating
% 256.35/237.72 eprover: CPU time limit exceeded, terminating
% 258.53/239.73 eprover: CPU time limit exceeded, terminating
% 260.70/241.74 eprover: CPU time limit exceeded, terminating
% 262.83/243.76 eprover: CPU time limit exceeded, terminating
% 265.02/245.77 eprover: CPU time limit exceeded, terminating
% 267.18/247.78 eprover: CPU time limit exceeded, terminating
% 269.44/249.80 eprover: CPU time limit exceeded, terminating
% 271.60/251.81 eprover: CPU time limit exceeded, terminating
% 273.77/253.82 eprover: CPU time limit exceeded, terminating
% 275.94/255.84 eprover: CPU time limit exceeded, terminating
% 278.07/257.85 eprover: CPU time limit exceeded, terminating
% 280.27/259.86 eprover: CPU time limit exceeded, terminating
% 282.42/261.88 eprover: CPU time limit exceeded, terminating
% 284.57/263.89 eprover: CPU time limit exceeded, terminating
% 286.83/265.90 eprover: CPU time limit exceeded, terminating
% 289.00/267.92 eprover: CPU time limit exceeded, terminating
% 291.15/269.93 eprover: CPU time limit exceeded, terminating
% 293.32/271.94 eprover: CPU time limit exceeded, terminating
% 295.46/273.95 eprover: CPU time limit exceeded, terminating
% 297.62/275.97 eprover: CPU time limit exceeded, terminating
% 299.76/277.98 eprover: CPU time limit exceeded, terminating
% 300.55/278.61 eprover: CPU time limit exceeded, terminating
% 300.55/278.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------