TSTP Solution File: CSR116+42 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR116+42 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:43 EDT 2022
% Result : Timeout 286.61s 265.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR116+42 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Fri Jun 10 02:57:03 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.68/3.76 eprover: CPU time limit exceeded, terminating
% 5.88/5.77 eprover: CPU time limit exceeded, terminating
% 8.03/7.78 eprover: CPU time limit exceeded, terminating
% 10.13/9.80 eprover: CPU time limit exceeded, terminating
% 12.33/11.81 eprover: CPU time limit exceeded, terminating
% 14.52/13.82 eprover: CPU time limit exceeded, terminating
% 16.68/15.84 eprover: CPU time limit exceeded, terminating
% 18.78/17.85 eprover: CPU time limit exceeded, terminating
% 21.01/19.87 eprover: CPU time limit exceeded, terminating
% 23.11/21.88 eprover: CPU time limit exceeded, terminating
% 25.30/23.89 eprover: CPU time limit exceeded, terminating
% 27.42/25.91 eprover: CPU time limit exceeded, terminating
% 29.66/27.92 eprover: CPU time limit exceeded, terminating
% 31.85/29.93 eprover: CPU time limit exceeded, terminating
% 34.03/31.94 eprover: CPU time limit exceeded, terminating
% 36.15/33.96 eprover: CPU time limit exceeded, terminating
% 38.38/35.97 eprover: CPU time limit exceeded, terminating
% 40.49/37.98 eprover: CPU time limit exceeded, terminating
% 42.66/40.00 eprover: CPU time limit exceeded, terminating
% 44.89/42.01 eprover: CPU time limit exceeded, terminating
% 47.06/44.02 eprover: CPU time limit exceeded, terminating
% 49.23/46.04 eprover: CPU time limit exceeded, terminating
% 51.36/48.05 eprover: CPU time limit exceeded, terminating
% 53.50/50.06 eprover: CPU time limit exceeded, terminating
% 55.69/52.07 eprover: CPU time limit exceeded, terminating
% 57.87/54.09 eprover: CPU time limit exceeded, terminating
% 60.10/56.10 eprover: CPU time limit exceeded, terminating
% 62.25/58.11 eprover: CPU time limit exceeded, terminating
% 64.42/60.13 eprover: CPU time limit exceeded, terminating
% 66.57/62.14 eprover: CPU time limit exceeded, terminating
% 68.72/64.15 eprover: CPU time limit exceeded, terminating
% 70.88/66.17 eprover: CPU time limit exceeded, terminating
% 73.10/68.18 eprover: CPU time limit exceeded, terminating
% 75.28/70.19 eprover: CPU time limit exceeded, terminating
% 77.44/72.20 eprover: CPU time limit exceeded, terminating
% 79.59/74.22 eprover: CPU time limit exceeded, terminating
% 81.69/76.23 eprover: CPU time limit exceeded, terminating
% 83.77/78.25 eprover: CPU time limit exceeded, terminating
% 85.90/80.26 eprover: CPU time limit exceeded, terminating
% 88.08/82.27 eprover: CPU time limit exceeded, terminating
% 90.22/84.28 eprover: CPU time limit exceeded, terminating
% 92.44/86.30 eprover: CPU time limit exceeded, terminating
% 94.64/88.31 eprover: CPU time limit exceeded, terminating
% 96.77/90.32 eprover: CPU time limit exceeded, terminating
% 98.95/92.34 eprover: CPU time limit exceeded, terminating
% 101.11/94.35 eprover: CPU time limit exceeded, terminating
% 103.28/96.36 eprover: CPU time limit exceeded, terminating
% 105.44/98.37 eprover: CPU time limit exceeded, terminating
% 107.62/100.39 eprover: CPU time limit exceeded, terminating
% 109.83/102.40 eprover: CPU time limit exceeded, terminating
% 111.99/104.41 eprover: CPU time limit exceeded, terminating
% 114.17/106.43 eprover: CPU time limit exceeded, terminating
% 116.33/108.44 eprover: CPU time limit exceeded, terminating
% 118.51/110.45 eprover: CPU time limit exceeded, terminating
% 120.62/112.46 eprover: CPU time limit exceeded, terminating
% 122.82/114.48 eprover: CPU time limit exceeded, terminating
% 124.94/116.49 eprover: CPU time limit exceeded, terminating
% 127.20/118.50 eprover: CPU time limit exceeded, terminating
% 129.35/120.52 eprover: CPU time limit exceeded, terminating
% 131.53/122.53 eprover: CPU time limit exceeded, terminating
% 133.68/124.54 eprover: CPU time limit exceeded, terminating
% 135.87/126.56 eprover: CPU time limit exceeded, terminating
% 138.02/128.57 eprover: CPU time limit exceeded, terminating
% 140.18/130.58 eprover: CPU time limit exceeded, terminating
% 142.33/132.60 eprover: CPU time limit exceeded, terminating
% 144.54/134.61 eprover: CPU time limit exceeded, terminating
% 146.72/136.62 eprover: CPU time limit exceeded, terminating
% 148.88/138.63 eprover: CPU time limit exceeded, terminating
% 151.06/140.65 eprover: CPU time limit exceeded, terminating
% 153.24/142.66 eprover: CPU time limit exceeded, terminating
% 155.36/144.67 eprover: CPU time limit exceeded, terminating
% 157.55/146.69 eprover: CPU time limit exceeded, terminating
% 159.79/148.70 eprover: CPU time limit exceeded, terminating
% 161.95/150.71 eprover: CPU time limit exceeded, terminating
% 164.13/152.73 eprover: CPU time limit exceeded, terminating
% 166.29/154.74 eprover: CPU time limit exceeded, terminating
% 168.48/156.75 eprover: CPU time limit exceeded, terminating
% 170.63/158.77 eprover: CPU time limit exceeded, terminating
% 172.80/160.78 eprover: CPU time limit exceeded, terminating
% 175.02/162.79 eprover: CPU time limit exceeded, terminating
% 177.18/164.81 eprover: CPU time limit exceeded, terminating
% 179.36/166.82 eprover: CPU time limit exceeded, terminating
% 181.54/168.83 eprover: CPU time limit exceeded, terminating
% 183.66/170.85 eprover: CPU time limit exceeded, terminating
% 185.83/172.86 eprover: CPU time limit exceeded, terminating
% 188.00/174.87 eprover: CPU time limit exceeded, terminating
% 190.23/176.89 eprover: CPU time limit exceeded, terminating
% 192.33/178.90 eprover: CPU time limit exceeded, terminating
% 194.57/180.91 eprover: CPU time limit exceeded, terminating
% 196.71/182.93 eprover: CPU time limit exceeded, terminating
% 198.88/184.94 eprover: CPU time limit exceeded, terminating
% 201.01/186.95 eprover: CPU time limit exceeded, terminating
% 203.18/188.96 eprover: CPU time limit exceeded, terminating
% 205.30/190.97 eprover: CPU time limit exceeded, terminating
% 207.49/192.98 eprover: CPU time limit exceeded, terminating
% 209.70/195.00 eprover: CPU time limit exceeded, terminating
% 211.87/197.01 eprover: CPU time limit exceeded, terminating
% 214.01/199.02 eprover: CPU time limit exceeded, terminating
% 216.12/201.03 eprover: CPU time limit exceeded, terminating
% 218.28/203.05 eprover: CPU time limit exceeded, terminating
% 220.44/205.06 eprover: CPU time limit exceeded, terminating
% 222.55/207.07 eprover: CPU time limit exceeded, terminating
% 224.72/209.08 eprover: CPU time limit exceeded, terminating
% 226.95/211.09 eprover: CPU time limit exceeded, terminating
% 229.06/213.10 eprover: CPU time limit exceeded, terminating
% 231.20/215.11 eprover: CPU time limit exceeded, terminating
% 233.27/217.13 eprover: CPU time limit exceeded, terminating
% 235.42/219.14 eprover: CPU time limit exceeded, terminating
% 237.59/221.15 eprover: CPU time limit exceeded, terminating
% 239.70/223.16 eprover: CPU time limit exceeded, terminating
% 241.94/225.17 eprover: CPU time limit exceeded, terminating
% 244.01/227.18 eprover: CPU time limit exceeded, terminating
% 246.18/229.20 eprover: CPU time limit exceeded, terminating
% 248.29/231.21 eprover: CPU time limit exceeded, terminating
% 252.42/233.22 eprover: CPU time limit exceeded, terminating
% 254.49/235.23 eprover: CPU time limit exceeded, terminating
% 256.56/237.24 eprover: CPU time limit exceeded, terminating
% 258.61/239.26 eprover: CPU time limit exceeded, terminating
% 260.77/241.27 eprover: CPU time limit exceeded, terminating
% 262.90/243.28 eprover: CPU time limit exceeded, terminating
% 265.12/245.29 eprover: CPU time limit exceeded, terminating
% 267.19/247.30 eprover: CPU time limit exceeded, terminating
% 269.35/249.32 eprover: CPU time limit exceeded, terminating
% 271.50/251.33 eprover: CPU time limit exceeded, terminating
% 273.64/253.34 eprover: CPU time limit exceeded, terminating
% 275.81/255.35 eprover: CPU time limit exceeded, terminating
% 277.93/257.36 eprover: CPU time limit exceeded, terminating
% 280.09/259.38 eprover: CPU time limit exceeded, terminating
% 282.30/261.39 eprover: CPU time limit exceeded, terminating
% 284.47/263.40 eprover: CPU time limit exceeded, terminating
% 286.61/265.41 eprover: CPU time limit exceeded, terminating
% 288.78/267.42 eprover: CPU time limit exceeded, terminating
% 290.91/269.43 eprover: CPU time limit exceeded, terminating
% 293.06/271.45 eprover: CPU time limit exceeded, terminating
% 295.17/273.46 eprover: CPU time limit exceeded, terminating
% 297.34/275.47 eprover: CPU time limit exceeded, terminating
% 299.37/277.48 eprover: CPU time limit exceeded, terminating
% 300.05/278.01 eprover: CPU time limit exceeded, terminating
% 300.05/278.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------