TSTP Solution File: CSR165+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR165+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:35:59 EDT 2022
% Result : Timeout 287.02s 261.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR165+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 9 20:46:21 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.85/5.85 eprover: CPU time limit exceeded, terminating
% 8.04/7.86 eprover: CPU time limit exceeded, terminating
% 10.26/9.87 eprover: CPU time limit exceeded, terminating
% 12.42/11.88 eprover: CPU time limit exceeded, terminating
% 14.65/13.89 eprover: CPU time limit exceeded, terminating
% 16.90/15.90 eprover: CPU time limit exceeded, terminating
% 19.04/17.91 eprover: CPU time limit exceeded, terminating
% 21.32/19.93 eprover: CPU time limit exceeded, terminating
% 23.52/21.93 eprover: CPU time limit exceeded, terminating
% 25.73/23.95 eprover: CPU time limit exceeded, terminating
% 27.99/25.96 eprover: CPU time limit exceeded, terminating
% 30.20/27.97 eprover: CPU time limit exceeded, terminating
% 32.39/29.98 eprover: CPU time limit exceeded, terminating
% 34.60/32.03 eprover: CPU time limit exceeded, terminating
% 36.79/34.04 eprover: CPU time limit exceeded, terminating
% 39.03/36.05 eprover: CPU time limit exceeded, terminating
% 41.20/38.06 eprover: CPU time limit exceeded, terminating
% 43.49/40.07 eprover: CPU time limit exceeded, terminating
% 45.71/42.08 eprover: CPU time limit exceeded, terminating
% 47.89/44.10 eprover: CPU time limit exceeded, terminating
% 50.10/46.11 eprover: CPU time limit exceeded, terminating
% 52.29/48.12 eprover: CPU time limit exceeded, terminating
% 54.54/50.13 eprover: CPU time limit exceeded, terminating
% 56.80/52.14 eprover: CPU time limit exceeded, terminating
% 59.01/54.15 eprover: CPU time limit exceeded, terminating
% 61.22/56.16 eprover: CPU time limit exceeded, terminating
% 63.43/58.17 eprover: CPU time limit exceeded, terminating
% 65.61/60.18 eprover: CPU time limit exceeded, terminating
% 67.82/62.20 eprover: CPU time limit exceeded, terminating
% 70.04/64.21 eprover: CPU time limit exceeded, terminating
% 72.23/66.22 eprover: CPU time limit exceeded, terminating
% 74.42/68.23 eprover: CPU time limit exceeded, terminating
% 76.73/70.24 eprover: CPU time limit exceeded, terminating
% 78.95/72.25 eprover: CPU time limit exceeded, terminating
% 81.16/74.26 eprover: CPU time limit exceeded, terminating
% 83.37/76.27 eprover: CPU time limit exceeded, terminating
% 85.60/78.29 eprover: CPU time limit exceeded, terminating
% 87.79/80.30 eprover: CPU time limit exceeded, terminating
% 89.99/82.31 eprover: CPU time limit exceeded, terminating
% 92.19/84.32 eprover: CPU time limit exceeded, terminating
% 94.40/86.33 eprover: CPU time limit exceeded, terminating
% 96.66/88.34 eprover: CPU time limit exceeded, terminating
% 98.88/90.36 eprover: CPU time limit exceeded, terminating
% 101.07/92.37 eprover: CPU time limit exceeded, terminating
% 103.30/94.38 eprover: CPU time limit exceeded, terminating
% 105.48/96.39 eprover: CPU time limit exceeded, terminating
% 107.73/98.40 eprover: CPU time limit exceeded, terminating
% 109.97/100.41 eprover: CPU time limit exceeded, terminating
% 112.18/102.42 eprover: CPU time limit exceeded, terminating
% 114.31/104.43 eprover: CPU time limit exceeded, terminating
% 116.53/106.44 eprover: CPU time limit exceeded, terminating
% 118.79/108.45 eprover: CPU time limit exceeded, terminating
% 121.01/110.47 eprover: CPU time limit exceeded, terminating
% 123.20/112.48 eprover: CPU time limit exceeded, terminating
% 125.43/114.49 eprover: CPU time limit exceeded, terminating
% 127.67/116.50 eprover: CPU time limit exceeded, terminating
% 129.81/118.51 eprover: CPU time limit exceeded, terminating
% 132.09/120.52 eprover: CPU time limit exceeded, terminating
% 134.27/122.53 eprover: CPU time limit exceeded, terminating
% 136.50/124.55 eprover: CPU time limit exceeded, terminating
% 138.68/126.56 eprover: CPU time limit exceeded, terminating
% 140.92/128.57 eprover: CPU time limit exceeded, terminating
% 143.09/130.58 eprover: CPU time limit exceeded, terminating
% 145.31/132.59 eprover: CPU time limit exceeded, terminating
% 147.53/134.60 eprover: CPU time limit exceeded, terminating
% 149.70/136.61 eprover: CPU time limit exceeded, terminating
% 151.92/138.62 eprover: CPU time limit exceeded, terminating
% 154.21/140.64 eprover: CPU time limit exceeded, terminating
% 156.41/142.65 eprover: CPU time limit exceeded, terminating
% 158.63/144.66 eprover: CPU time limit exceeded, terminating
% 160.83/146.67 eprover: CPU time limit exceeded, terminating
% 163.02/148.68 eprover: CPU time limit exceeded, terminating
% 165.26/150.70 eprover: CPU time limit exceeded, terminating
% 167.41/152.71 eprover: CPU time limit exceeded, terminating
% 169.66/154.72 eprover: CPU time limit exceeded, terminating
% 171.88/156.73 eprover: CPU time limit exceeded, terminating
% 174.05/158.74 eprover: CPU time limit exceeded, terminating
% 176.29/160.76 eprover: CPU time limit exceeded, terminating
% 178.55/162.77 eprover: CPU time limit exceeded, terminating
% 180.70/164.78 eprover: CPU time limit exceeded, terminating
% 182.97/166.79 eprover: CPU time limit exceeded, terminating
% 185.12/168.81 eprover: CPU time limit exceeded, terminating
% 187.31/170.82 eprover: CPU time limit exceeded, terminating
% 189.54/172.83 eprover: CPU time limit exceeded, terminating
% 191.81/174.84 eprover: CPU time limit exceeded, terminating
% 193.95/176.85 eprover: CPU time limit exceeded, terminating
% 196.17/178.87 eprover: CPU time limit exceeded, terminating
% 198.47/180.88 eprover: CPU time limit exceeded, terminating
% 200.62/182.89 eprover: CPU time limit exceeded, terminating
% 202.89/184.90 eprover: CPU time limit exceeded, terminating
% 205.10/186.91 eprover: CPU time limit exceeded, terminating
% 207.32/188.93 eprover: CPU time limit exceeded, terminating
% 209.47/190.94 eprover: CPU time limit exceeded, terminating
% 211.72/192.95 eprover: CPU time limit exceeded, terminating
% 213.87/194.96 eprover: CPU time limit exceeded, terminating
% 216.09/196.97 eprover: CPU time limit exceeded, terminating
% 218.34/198.99 eprover: CPU time limit exceeded, terminating
% 220.54/201.00 eprover: CPU time limit exceeded, terminating
% 222.77/203.01 eprover: CPU time limit exceeded, terminating
% 225.01/205.02 eprover: CPU time limit exceeded, terminating
% 227.17/207.04 eprover: CPU time limit exceeded, terminating
% 229.41/209.05 eprover: CPU time limit exceeded, terminating
% 231.59/211.06 eprover: CPU time limit exceeded, terminating
% 233.87/213.07 eprover: CPU time limit exceeded, terminating
% 236.09/215.08 eprover: CPU time limit exceeded, terminating
% 238.25/217.10 eprover: CPU time limit exceeded, terminating
% 240.48/219.11 eprover: CPU time limit exceeded, terminating
% 242.73/221.12 eprover: CPU time limit exceeded, terminating
% 244.90/223.13 eprover: CPU time limit exceeded, terminating
% 247.17/225.14 eprover: CPU time limit exceeded, terminating
% 249.41/227.16 eprover: CPU time limit exceeded, terminating
% 251.61/229.17 eprover: CPU time limit exceeded, terminating
% 253.82/231.18 eprover: CPU time limit exceeded, terminating
% 256.01/233.19 eprover: CPU time limit exceeded, terminating
% 258.23/235.20 eprover: CPU time limit exceeded, terminating
% 260.41/237.22 eprover: CPU time limit exceeded, terminating
% 262.60/239.23 eprover: CPU time limit exceeded, terminating
% 264.89/241.24 eprover: CPU time limit exceeded, terminating
% 267.08/243.25 eprover: CPU time limit exceeded, terminating
% 269.22/245.26 eprover: CPU time limit exceeded, terminating
% 271.52/247.28 eprover: CPU time limit exceeded, terminating
% 273.73/249.29 eprover: CPU time limit exceeded, terminating
% 275.94/251.30 eprover: CPU time limit exceeded, terminating
% 278.18/253.31 eprover: CPU time limit exceeded, terminating
% 280.31/255.32 eprover: CPU time limit exceeded, terminating
% 282.57/257.34 eprover: CPU time limit exceeded, terminating
% 284.79/259.35 eprover: CPU time limit exceeded, terminating
% 287.02/261.36 eprover: CPU time limit exceeded, terminating
% 289.20/263.37 eprover: CPU time limit exceeded, terminating
% 291.43/265.38 eprover: CPU time limit exceeded, terminating
% 293.64/267.40 eprover: CPU time limit exceeded, terminating
% 295.87/269.41 eprover: CPU time limit exceeded, terminating
% 298.03/271.42 eprover: CPU time limit exceeded, terminating
% 300.06/273.17 eprover: CPU time limit exceeded, terminating
% 300.06/273.19 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------