TSTP Solution File: CSR181+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR181+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:01 EDT 2022
% Result : Timeout 286.11s 261.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR181+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 : Sat Jun 11 00:06:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.68/5.72 eprover: CPU time limit exceeded, terminating
% 7.95/7.73 eprover: CPU time limit exceeded, terminating
% 10.15/9.75 eprover: CPU time limit exceeded, terminating
% 12.33/11.76 eprover: CPU time limit exceeded, terminating
% 14.54/13.77 eprover: CPU time limit exceeded, terminating
% 16.76/15.78 eprover: CPU time limit exceeded, terminating
% 18.94/17.79 eprover: CPU time limit exceeded, terminating
% 21.14/19.81 eprover: CPU time limit exceeded, terminating
% 23.32/21.82 eprover: CPU time limit exceeded, terminating
% 25.51/23.83 eprover: CPU time limit exceeded, terminating
% 27.81/25.84 eprover: CPU time limit exceeded, terminating
% 30.02/27.85 eprover: CPU time limit exceeded, terminating
% 32.23/29.87 eprover: CPU time limit exceeded, terminating
% 34.44/31.88 eprover: CPU time limit exceeded, terminating
% 36.63/33.89 eprover: CPU time limit exceeded, terminating
% 38.83/35.90 eprover: CPU time limit exceeded, terminating
% 41.03/37.91 eprover: CPU time limit exceeded, terminating
% 43.22/39.93 eprover: CPU time limit exceeded, terminating
% 45.43/41.94 eprover: CPU time limit exceeded, terminating
% 47.69/43.95 eprover: CPU time limit exceeded, terminating
% 49.91/45.96 eprover: CPU time limit exceeded, terminating
% 52.13/47.97 eprover: CPU time limit exceeded, terminating
% 54.29/49.99 eprover: CPU time limit exceeded, terminating
% 56.55/52.00 eprover: CPU time limit exceeded, terminating
% 58.70/54.01 eprover: CPU time limit exceeded, terminating
% 60.90/56.02 eprover: CPU time limit exceeded, terminating
% 63.16/58.03 eprover: CPU time limit exceeded, terminating
% 65.28/60.05 eprover: CPU time limit exceeded, terminating
% 67.56/62.06 eprover: CPU time limit exceeded, terminating
% 69.76/64.08 eprover: CPU time limit exceeded, terminating
% 71.96/66.09 eprover: CPU time limit exceeded, terminating
% 74.18/68.10 eprover: CPU time limit exceeded, terminating
% 76.37/70.11 eprover: CPU time limit exceeded, terminating
% 78.53/72.12 eprover: CPU time limit exceeded, terminating
% 80.80/74.14 eprover: CPU time limit exceeded, terminating
% 83.04/76.15 eprover: CPU time limit exceeded, terminating
% 85.25/78.16 eprover: CPU time limit exceeded, terminating
% 87.47/80.17 eprover: CPU time limit exceeded, terminating
% 89.64/82.18 eprover: CPU time limit exceeded, terminating
% 91.84/84.20 eprover: CPU time limit exceeded, terminating
% 94.09/86.21 eprover: CPU time limit exceeded, terminating
% 96.23/88.22 eprover: CPU time limit exceeded, terminating
% 98.49/90.23 eprover: CPU time limit exceeded, terminating
% 100.66/92.24 eprover: CPU time limit exceeded, terminating
% 102.90/94.26 eprover: CPU time limit exceeded, terminating
% 105.11/96.27 eprover: CPU time limit exceeded, terminating
% 107.31/98.28 eprover: CPU time limit exceeded, terminating
% 109.51/100.29 eprover: CPU time limit exceeded, terminating
% 111.69/102.30 eprover: CPU time limit exceeded, terminating
% 113.88/104.32 eprover: CPU time limit exceeded, terminating
% 116.08/106.33 eprover: CPU time limit exceeded, terminating
% 118.36/108.34 eprover: CPU time limit exceeded, terminating
% 120.57/110.35 eprover: CPU time limit exceeded, terminating
% 122.78/112.36 eprover: CPU time limit exceeded, terminating
% 124.97/114.38 eprover: CPU time limit exceeded, terminating
% 127.18/116.39 eprover: CPU time limit exceeded, terminating
% 129.37/118.40 eprover: CPU time limit exceeded, terminating
% 131.57/120.41 eprover: CPU time limit exceeded, terminating
% 133.76/122.42 eprover: CPU time limit exceeded, terminating
% 135.97/124.44 eprover: CPU time limit exceeded, terminating
% 138.24/126.45 eprover: CPU time limit exceeded, terminating
% 140.44/128.46 eprover: CPU time limit exceeded, terminating
% 142.62/130.47 eprover: CPU time limit exceeded, terminating
% 144.83/132.48 eprover: CPU time limit exceeded, terminating
% 147.02/134.50 eprover: CPU time limit exceeded, terminating
% 149.28/136.51 eprover: CPU time limit exceeded, terminating
% 151.50/138.52 eprover: CPU time limit exceeded, terminating
% 153.64/140.53 eprover: CPU time limit exceeded, terminating
% 155.87/142.54 eprover: CPU time limit exceeded, terminating
% 158.13/144.56 eprover: CPU time limit exceeded, terminating
% 160.30/146.57 eprover: CPU time limit exceeded, terminating
% 162.53/148.58 eprover: CPU time limit exceeded, terminating
% 164.70/150.59 eprover: CPU time limit exceeded, terminating
% 166.93/152.60 eprover: CPU time limit exceeded, terminating
% 169.16/154.62 eprover: CPU time limit exceeded, terminating
% 171.35/156.63 eprover: CPU time limit exceeded, terminating
% 173.56/158.64 eprover: CPU time limit exceeded, terminating
% 175.78/160.65 eprover: CPU time limit exceeded, terminating
% 177.96/162.66 eprover: CPU time limit exceeded, terminating
% 180.18/164.68 eprover: CPU time limit exceeded, terminating
% 182.36/166.69 eprover: CPU time limit exceeded, terminating
% 184.61/168.70 eprover: CPU time limit exceeded, terminating
% 186.79/170.71 eprover: CPU time limit exceeded, terminating
% 188.99/172.72 eprover: CPU time limit exceeded, terminating
% 191.17/174.74 eprover: CPU time limit exceeded, terminating
% 193.41/176.75 eprover: CPU time limit exceeded, terminating
% 195.58/178.76 eprover: CPU time limit exceeded, terminating
% 197.81/180.77 eprover: CPU time limit exceeded, terminating
% 200.03/182.78 eprover: CPU time limit exceeded, terminating
% 202.18/184.80 eprover: CPU time limit exceeded, terminating
% 204.45/186.81 eprover: CPU time limit exceeded, terminating
% 206.68/188.82 eprover: CPU time limit exceeded, terminating
% 208.84/190.83 eprover: CPU time limit exceeded, terminating
% 211.08/192.85 eprover: CPU time limit exceeded, terminating
% 213.22/194.86 eprover: CPU time limit exceeded, terminating
% 215.48/196.87 eprover: CPU time limit exceeded, terminating
% 217.71/198.88 eprover: CPU time limit exceeded, terminating
% 219.88/200.89 eprover: CPU time limit exceeded, terminating
% 222.10/202.91 eprover: CPU time limit exceeded, terminating
% 224.26/204.92 eprover: CPU time limit exceeded, terminating
% 226.50/206.93 eprover: CPU time limit exceeded, terminating
% 228.74/208.94 eprover: CPU time limit exceeded, terminating
% 230.95/210.95 eprover: CPU time limit exceeded, terminating
% 233.15/212.97 eprover: CPU time limit exceeded, terminating
% 235.35/214.98 eprover: CPU time limit exceeded, terminating
% 237.56/216.99 eprover: CPU time limit exceeded, terminating
% 239.79/219.00 eprover: CPU time limit exceeded, terminating
% 241.95/221.01 eprover: CPU time limit exceeded, terminating
% 244.19/223.03 eprover: CPU time limit exceeded, terminating
% 246.35/225.04 eprover: CPU time limit exceeded, terminating
% 248.63/227.06 eprover: CPU time limit exceeded, terminating
% 250.75/229.07 eprover: CPU time limit exceeded, terminating
% 253.04/231.08 eprover: CPU time limit exceeded, terminating
% 255.21/233.10 eprover: CPU time limit exceeded, terminating
% 257.43/235.11 eprover: CPU time limit exceeded, terminating
% 259.56/237.12 eprover: CPU time limit exceeded, terminating
% 261.82/239.13 eprover: CPU time limit exceeded, terminating
% 263.99/241.15 eprover: CPU time limit exceeded, terminating
% 266.22/243.16 eprover: CPU time limit exceeded, terminating
% 268.46/245.17 eprover: CPU time limit exceeded, terminating
% 270.63/247.18 eprover: CPU time limit exceeded, terminating
% 272.85/249.19 eprover: CPU time limit exceeded, terminating
% 275.02/251.20 eprover: CPU time limit exceeded, terminating
% 277.23/253.21 eprover: CPU time limit exceeded, terminating
% 279.48/255.22 eprover: CPU time limit exceeded, terminating
% 281.62/257.23 eprover: CPU time limit exceeded, terminating
% 283.90/259.24 eprover: CPU time limit exceeded, terminating
% 286.11/261.26 eprover: CPU time limit exceeded, terminating
% 288.28/263.27 eprover: CPU time limit exceeded, terminating
% 290.52/265.28 eprover: CPU time limit exceeded, terminating
% 292.69/267.29 eprover: CPU time limit exceeded, terminating
% 294.93/269.31 eprover: CPU time limit exceeded, terminating
% 297.08/271.32 eprover: CPU time limit exceeded, terminating
% 299.38/273.33 eprover: CPU time limit exceeded, terminating
% 300.15/274.02 eprover: CPU time limit exceeded, terminating
% 300.15/274.04 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------