TSTP Solution File: CSR207+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR207+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 287.76s 261.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : CSR207+1 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n019.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.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Fri Jun 10 16:10:55 EDT 2022
% 0.14/0.36 % CPUTime :
% 5.89/5.87 eprover: CPU time limit exceeded, terminating
% 8.06/7.88 eprover: CPU time limit exceeded, terminating
% 10.30/9.90 eprover: CPU time limit exceeded, terminating
% 12.51/11.91 eprover: CPU time limit exceeded, terminating
% 14.73/13.92 eprover: CPU time limit exceeded, terminating
% 16.91/15.94 eprover: CPU time limit exceeded, terminating
% 19.17/17.95 eprover: CPU time limit exceeded, terminating
% 21.38/19.97 eprover: CPU time limit exceeded, terminating
% 23.57/21.98 eprover: CPU time limit exceeded, terminating
% 25.82/24.00 eprover: CPU time limit exceeded, terminating
% 28.07/26.01 eprover: CPU time limit exceeded, terminating
% 30.24/28.03 eprover: CPU time limit exceeded, terminating
% 32.53/30.04 eprover: CPU time limit exceeded, terminating
% 34.70/32.06 eprover: CPU time limit exceeded, terminating
% 36.95/34.07 eprover: CPU time limit exceeded, terminating
% 39.11/36.08 eprover: CPU time limit exceeded, terminating
% 41.35/38.10 eprover: CPU time limit exceeded, terminating
% 43.62/40.11 eprover: CPU time limit exceeded, terminating
% 45.89/42.13 eprover: CPU time limit exceeded, terminating
% 48.06/44.15 eprover: CPU time limit exceeded, terminating
% 50.30/46.16 eprover: CPU time limit exceeded, terminating
% 52.55/48.18 eprover: CPU time limit exceeded, terminating
% 54.72/50.19 eprover: CPU time limit exceeded, terminating
% 57.01/52.21 eprover: CPU time limit exceeded, terminating
% 59.15/54.22 eprover: CPU time limit exceeded, terminating
% 61.41/56.24 eprover: CPU time limit exceeded, terminating
% 63.66/58.25 eprover: CPU time limit exceeded, terminating
% 65.80/60.26 eprover: CPU time limit exceeded, terminating
% 68.07/62.28 eprover: CPU time limit exceeded, terminating
% 70.32/64.29 eprover: CPU time limit exceeded, terminating
% 72.54/66.31 eprover: CPU time limit exceeded, terminating
% 74.74/68.32 eprover: CPU time limit exceeded, terminating
% 77.00/70.34 eprover: CPU time limit exceeded, terminating
% 79.23/72.35 eprover: CPU time limit exceeded, terminating
% 81.41/74.37 eprover: CPU time limit exceeded, terminating
% 83.68/76.38 eprover: CPU time limit exceeded, terminating
% 85.89/78.40 eprover: CPU time limit exceeded, terminating
% 88.07/80.41 eprover: CPU time limit exceeded, terminating
% 90.29/82.42 eprover: CPU time limit exceeded, terminating
% 92.55/84.44 eprover: CPU time limit exceeded, terminating
% 94.71/86.45 eprover: CPU time limit exceeded, terminating
% 96.96/88.47 eprover: CPU time limit exceeded, terminating
% 99.15/90.48 eprover: CPU time limit exceeded, terminating
% 101.39/92.50 eprover: CPU time limit exceeded, terminating
% 103.64/94.51 eprover: CPU time limit exceeded, terminating
% 105.82/96.53 eprover: CPU time limit exceeded, terminating
% 108.10/98.54 eprover: CPU time limit exceeded, terminating
% 110.31/100.56 eprover: CPU time limit exceeded, terminating
% 112.50/102.57 eprover: CPU time limit exceeded, terminating
% 114.70/104.59 eprover: CPU time limit exceeded, terminating
% 116.94/106.60 eprover: CPU time limit exceeded, terminating
% 119.21/108.62 eprover: CPU time limit exceeded, terminating
% 121.36/110.63 eprover: CPU time limit exceeded, terminating
% 123.62/112.65 eprover: CPU time limit exceeded, terminating
% 125.85/114.66 eprover: CPU time limit exceeded, terminating
% 128.07/116.68 eprover: CPU time limit exceeded, terminating
% 130.26/118.69 eprover: CPU time limit exceeded, terminating
% 132.56/120.71 eprover: CPU time limit exceeded, terminating
% 134.78/122.72 eprover: CPU time limit exceeded, terminating
% 136.96/124.74 eprover: CPU time limit exceeded, terminating
% 139.21/126.75 eprover: CPU time limit exceeded, terminating
% 141.37/128.76 eprover: CPU time limit exceeded, terminating
% 143.64/130.78 eprover: CPU time limit exceeded, terminating
% 145.86/132.79 eprover: CPU time limit exceeded, terminating
% 148.05/134.81 eprover: CPU time limit exceeded, terminating
% 150.26/136.82 eprover: CPU time limit exceeded, terminating
% 152.54/138.84 eprover: CPU time limit exceeded, terminating
% 154.78/140.86 eprover: CPU time limit exceeded, terminating
% 156.94/142.87 eprover: CPU time limit exceeded, terminating
% 159.20/144.88 eprover: CPU time limit exceeded, terminating
% 161.38/146.90 eprover: CPU time limit exceeded, terminating
% 163.63/148.91 eprover: CPU time limit exceeded, terminating
% 165.79/150.93 eprover: CPU time limit exceeded, terminating
% 168.09/152.94 eprover: CPU time limit exceeded, terminating
% 170.28/154.96 eprover: CPU time limit exceeded, terminating
% 172.46/156.97 eprover: CPU time limit exceeded, terminating
% 174.75/158.99 eprover: CPU time limit exceeded, terminating
% 176.98/161.00 eprover: CPU time limit exceeded, terminating
% 179.19/163.01 eprover: CPU time limit exceeded, terminating
% 181.41/165.03 eprover: CPU time limit exceeded, terminating
% 183.62/167.04 eprover: CPU time limit exceeded, terminating
% 185.82/169.06 eprover: CPU time limit exceeded, terminating
% 188.07/171.07 eprover: CPU time limit exceeded, terminating
% 190.24/173.09 eprover: CPU time limit exceeded, terminating
% 192.48/175.10 eprover: CPU time limit exceeded, terminating
% 194.73/177.12 eprover: CPU time limit exceeded, terminating
% 196.91/179.13 eprover: CPU time limit exceeded, terminating
% 199.13/181.14 eprover: CPU time limit exceeded, terminating
% 201.38/183.16 eprover: CPU time limit exceeded, terminating
% 203.64/185.17 eprover: CPU time limit exceeded, terminating
% 205.79/187.19 eprover: CPU time limit exceeded, terminating
% 208.06/189.20 eprover: CPU time limit exceeded, terminating
% 210.20/191.22 eprover: CPU time limit exceeded, terminating
% 212.48/193.23 eprover: CPU time limit exceeded, terminating
% 214.72/195.25 eprover: CPU time limit exceeded, terminating
% 216.93/197.26 eprover: CPU time limit exceeded, terminating
% 219.13/199.27 eprover: CPU time limit exceeded, terminating
% 221.38/201.29 eprover: CPU time limit exceeded, terminating
% 223.60/203.30 eprover: CPU time limit exceeded, terminating
% 225.79/205.31 eprover: CPU time limit exceeded, terminating
% 227.98/207.32 eprover: CPU time limit exceeded, terminating
% 230.15/209.33 eprover: CPU time limit exceeded, terminating
% 232.42/211.35 eprover: CPU time limit exceeded, terminating
% 234.65/213.36 eprover: CPU time limit exceeded, terminating
% 236.80/215.37 eprover: CPU time limit exceeded, terminating
% 239.06/217.38 eprover: CPU time limit exceeded, terminating
% 241.25/219.40 eprover: CPU time limit exceeded, terminating
% 243.44/221.41 eprover: CPU time limit exceeded, terminating
% 245.65/223.43 eprover: CPU time limit exceeded, terminating
% 247.87/225.44 eprover: CPU time limit exceeded, terminating
% 250.15/227.46 eprover: CPU time limit exceeded, terminating
% 252.35/229.47 eprover: CPU time limit exceeded, terminating
% 254.54/231.48 eprover: CPU time limit exceeded, terminating
% 256.78/233.50 eprover: CPU time limit exceeded, terminating
% 259.00/235.51 eprover: CPU time limit exceeded, terminating
% 261.20/237.52 eprover: CPU time limit exceeded, terminating
% 263.42/239.54 eprover: CPU time limit exceeded, terminating
% 265.60/241.55 eprover: CPU time limit exceeded, terminating
% 267.85/243.57 eprover: CPU time limit exceeded, terminating
% 270.04/245.58 eprover: CPU time limit exceeded, terminating
% 272.22/247.60 eprover: CPU time limit exceeded, terminating
% 274.48/249.61 eprover: CPU time limit exceeded, terminating
% 276.68/251.62 eprover: CPU time limit exceeded, terminating
% 278.87/253.64 eprover: CPU time limit exceeded, terminating
% 281.13/255.65 eprover: CPU time limit exceeded, terminating
% 283.37/257.67 eprover: CPU time limit exceeded, terminating
% 285.57/259.68 eprover: CPU time limit exceeded, terminating
% 287.76/261.70 eprover: CPU time limit exceeded, terminating
% 289.97/263.71 eprover: CPU time limit exceeded, terminating
% 292.14/265.73 eprover: CPU time limit exceeded, terminating
% 294.35/267.74 eprover: CPU time limit exceeded, terminating
% 296.63/269.75 eprover: CPU time limit exceeded, terminating
% 298.84/271.77 eprover: CPU time limit exceeded, terminating
% 300.04/272.75 eprover: CPU time limit exceeded, terminating
% 300.04/272.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------