TSTP Solution File: CSR268+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR268+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:12 EDT 2022
% Result : Timeout 287.31s 257.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR268+1 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n019.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Fri Jun 10 11:15:40 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.84/5.81 eprover: CPU time limit exceeded, terminating
% 8.03/7.82 eprover: CPU time limit exceeded, terminating
% 10.18/9.84 eprover: CPU time limit exceeded, terminating
% 12.42/11.85 eprover: CPU time limit exceeded, terminating
% 14.59/13.86 eprover: CPU time limit exceeded, terminating
% 16.83/15.87 eprover: CPU time limit exceeded, terminating
% 18.95/17.88 eprover: CPU time limit exceeded, terminating
% 21.24/19.89 eprover: CPU time limit exceeded, terminating
% 23.46/21.91 eprover: CPU time limit exceeded, terminating
% 25.63/23.92 eprover: CPU time limit exceeded, terminating
% 27.86/25.93 eprover: CPU time limit exceeded, terminating
% 30.10/27.94 eprover: CPU time limit exceeded, terminating
% 32.32/29.96 eprover: CPU time limit exceeded, terminating
% 34.47/31.97 eprover: CPU time limit exceeded, terminating
% 36.72/33.98 eprover: CPU time limit exceeded, terminating
% 38.97/35.99 eprover: CPU time limit exceeded, terminating
% 41.15/38.01 eprover: CPU time limit exceeded, terminating
% 43.39/40.02 eprover: CPU time limit exceeded, terminating
% 45.58/42.03 eprover: CPU time limit exceeded, terminating
% 47.74/44.04 eprover: CPU time limit exceeded, terminating
% 49.98/46.06 eprover: CPU time limit exceeded, terminating
% 52.16/48.07 eprover: CPU time limit exceeded, terminating
% 54.45/50.08 eprover: CPU time limit exceeded, terminating
% 56.66/52.09 eprover: CPU time limit exceeded, terminating
% 58.86/54.11 eprover: CPU time limit exceeded, terminating
% 61.06/56.12 eprover: CPU time limit exceeded, terminating
% 63.24/58.13 eprover: CPU time limit exceeded, terminating
% 65.46/60.14 eprover: CPU time limit exceeded, terminating
% 67.67/62.16 eprover: CPU time limit exceeded, terminating
% 69.82/64.17 eprover: CPU time limit exceeded, terminating
% 72.05/66.18 eprover: CPU time limit exceeded, terminating
% 74.23/68.19 eprover: CPU time limit exceeded, terminating
% 76.51/70.21 eprover: CPU time limit exceeded, terminating
% 78.72/72.22 eprover: CPU time limit exceeded, terminating
% 80.92/74.23 eprover: CPU time limit exceeded, terminating
% 83.12/76.24 eprover: CPU time limit exceeded, terminating
% 85.33/78.26 eprover: CPU time limit exceeded, terminating
% 87.50/80.27 eprover: CPU time limit exceeded, terminating
% 89.71/82.28 eprover: CPU time limit exceeded, terminating
% 91.91/84.29 eprover: CPU time limit exceeded, terminating
% 94.19/86.31 eprover: CPU time limit exceeded, terminating
% 96.39/88.32 eprover: CPU time limit exceeded, terminating
% 98.59/90.33 eprover: CPU time limit exceeded, terminating
% 100.77/92.34 eprover: CPU time limit exceeded, terminating
% 102.96/94.36 eprover: CPU time limit exceeded, terminating
% 105.17/96.37 eprover: CPU time limit exceeded, terminating
% 107.35/98.38 eprover: CPU time limit exceeded, terminating
% 109.57/100.39 eprover: CPU time limit exceeded, terminating
% 111.85/102.41 eprover: CPU time limit exceeded, terminating
% 114.05/104.42 eprover: CPU time limit exceeded, terminating
% 116.25/106.43 eprover: CPU time limit exceeded, terminating
% 118.44/108.44 eprover: CPU time limit exceeded, terminating
% 120.64/110.45 eprover: CPU time limit exceeded, terminating
% 122.83/112.47 eprover: CPU time limit exceeded, terminating
% 125.02/114.48 eprover: CPU time limit exceeded, terminating
% 127.22/116.49 eprover: CPU time limit exceeded, terminating
% 129.43/118.50 eprover: CPU time limit exceeded, terminating
% 131.70/120.51 eprover: CPU time limit exceeded, terminating
% 133.87/122.53 eprover: CPU time limit exceeded, terminating
% 136.09/124.54 eprover: CPU time limit exceeded, terminating
% 138.28/126.55 eprover: CPU time limit exceeded, terminating
% 140.46/128.57 eprover: CPU time limit exceeded, terminating
% 142.66/130.58 eprover: CPU time limit exceeded, terminating
% 144.88/132.59 eprover: CPU time limit exceeded, terminating
% 147.15/134.60 eprover: CPU time limit exceeded, terminating
% 149.32/136.61 eprover: CPU time limit exceeded, terminating
% 151.52/138.63 eprover: CPU time limit exceeded, terminating
% 153.74/140.64 eprover: CPU time limit exceeded, terminating
% 155.90/142.65 eprover: CPU time limit exceeded, terminating
% 158.13/144.66 eprover: CPU time limit exceeded, terminating
% 160.33/146.67 eprover: CPU time limit exceeded, terminating
% 162.51/148.69 eprover: CPU time limit exceeded, terminating
% 164.80/150.70 eprover: CPU time limit exceeded, terminating
% 166.99/152.71 eprover: CPU time limit exceeded, terminating
% 169.11/154.72 eprover: CPU time limit exceeded, terminating
% 173.26/156.74 eprover: CPU time limit exceeded, terminating
% 175.43/158.75 eprover: CPU time limit exceeded, terminating
% 177.64/160.76 eprover: CPU time limit exceeded, terminating
% 179.84/162.77 eprover: CPU time limit exceeded, terminating
% 182.09/164.79 eprover: CPU time limit exceeded, terminating
% 184.22/166.80 eprover: CPU time limit exceeded, terminating
% 188.42/168.81 eprover: CPU time limit exceeded, terminating
% 190.69/170.82 eprover: CPU time limit exceeded, terminating
% 192.87/172.84 eprover: CPU time limit exceeded, terminating
% 195.07/174.85 eprover: CPU time limit exceeded, terminating
% 197.27/176.87 eprover: CPU time limit exceeded, terminating
% 199.43/178.88 eprover: CPU time limit exceeded, terminating
% 201.72/180.90 eprover: CPU time limit exceeded, terminating
% 203.83/182.91 eprover: CPU time limit exceeded, terminating
% 206.10/184.92 eprover: CPU time limit exceeded, terminating
% 208.27/186.94 eprover: CPU time limit exceeded, terminating
% 210.46/188.95 eprover: CPU time limit exceeded, terminating
% 212.68/190.96 eprover: CPU time limit exceeded, terminating
% 214.85/192.97 eprover: CPU time limit exceeded, terminating
% 217.04/194.99 eprover: CPU time limit exceeded, terminating
% 221.23/197.00 eprover: CPU time limit exceeded, terminating
% 223.50/199.01 eprover: CPU time limit exceeded, terminating
% 225.68/201.03 eprover: CPU time limit exceeded, terminating
% 227.88/203.04 eprover: CPU time limit exceeded, terminating
% 230.04/205.05 eprover: CPU time limit exceeded, terminating
% 232.25/207.06 eprover: CPU time limit exceeded, terminating
% 234.43/209.08 eprover: CPU time limit exceeded, terminating
% 236.62/211.09 eprover: CPU time limit exceeded, terminating
% 238.92/213.10 eprover: CPU time limit exceeded, terminating
% 241.11/215.11 eprover: CPU time limit exceeded, terminating
% 243.26/217.12 eprover: CPU time limit exceeded, terminating
% 245.48/219.14 eprover: CPU time limit exceeded, terminating
% 247.67/221.15 eprover: CPU time limit exceeded, terminating
% 249.84/223.16 eprover: CPU time limit exceeded, terminating
% 252.03/225.18 eprover: CPU time limit exceeded, terminating
% 254.24/227.19 eprover: CPU time limit exceeded, terminating
% 256.52/229.20 eprover: CPU time limit exceeded, terminating
% 258.70/231.21 eprover: CPU time limit exceeded, terminating
% 260.89/233.23 eprover: CPU time limit exceeded, terminating
% 263.10/235.24 eprover: CPU time limit exceeded, terminating
% 265.25/237.25 eprover: CPU time limit exceeded, terminating
% 267.45/239.27 eprover: CPU time limit exceeded, terminating
% 269.67/241.28 eprover: CPU time limit exceeded, terminating
% 271.91/243.29 eprover: CPU time limit exceeded, terminating
% 274.09/245.30 eprover: CPU time limit exceeded, terminating
% 276.29/247.32 eprover: CPU time limit exceeded, terminating
% 278.51/249.33 eprover: CPU time limit exceeded, terminating
% 280.68/251.34 eprover: CPU time limit exceeded, terminating
% 282.88/253.35 eprover: CPU time limit exceeded, terminating
% 285.06/255.37 eprover: CPU time limit exceeded, terminating
% 287.31/257.38 eprover: CPU time limit exceeded, terminating
% 289.52/259.39 eprover: CPU time limit exceeded, terminating
% 291.70/261.40 eprover: CPU time limit exceeded, terminating
% 293.89/263.42 eprover: CPU time limit exceeded, terminating
% 296.08/265.43 eprover: CPU time limit exceeded, terminating
% 298.29/267.44 eprover: CPU time limit exceeded, terminating
% 300.07/269.00 eprover: CPU time limit exceeded, terminating
% 300.07/269.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------