TSTP Solution File: CSR036+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR036+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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:34:23 EDT 2022
% Result : Timeout 285.74s 263.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.08 % Problem : CSR036+3 : TPTP v8.1.0. Released v3.4.0.
% 0.08/0.09 % Command : run_infinox %s
% 0.08/0.28 % Computer : n010.cluster.edu
% 0.08/0.28 % Model : x86_64 x86_64
% 0.08/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.28 % Memory : 8042.1875MB
% 0.08/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.28 % CPULimit : 300
% 0.08/0.28 % WCLimit : 600
% 0.08/0.28 % DateTime : Sat Jun 11 18:56:55 EDT 2022
% 0.08/0.28 % CPUTime :
% 5.65/5.72 eprover: CPU time limit exceeded, terminating
% 7.78/7.73 eprover: CPU time limit exceeded, terminating
% 9.92/9.74 eprover: CPU time limit exceeded, terminating
% 12.04/11.75 eprover: CPU time limit exceeded, terminating
% 14.13/13.76 eprover: CPU time limit exceeded, terminating
% 16.36/15.76 eprover: CPU time limit exceeded, terminating
% 18.51/17.77 eprover: CPU time limit exceeded, terminating
% 20.63/19.80 eprover: CPU time limit exceeded, terminating
% 22.83/21.81 eprover: CPU time limit exceeded, terminating
% 24.94/23.82 eprover: CPU time limit exceeded, terminating
% 27.13/25.83 eprover: CPU time limit exceeded, terminating
% 29.31/27.84 eprover: CPU time limit exceeded, terminating
% 31.45/29.85 eprover: CPU time limit exceeded, terminating
% 33.67/31.86 eprover: CPU time limit exceeded, terminating
% 35.83/33.89 eprover: CPU time limit exceeded, terminating
% 38.03/35.91 eprover: CPU time limit exceeded, terminating
% 40.21/37.93 eprover: CPU time limit exceeded, terminating
% 42.30/39.95 eprover: CPU time limit exceeded, terminating
% 44.54/41.96 eprover: CPU time limit exceeded, terminating
% 46.73/43.97 eprover: CPU time limit exceeded, terminating
% 48.89/45.98 eprover: CPU time limit exceeded, terminating
% 51.10/47.99 eprover: CPU time limit exceeded, terminating
% 53.24/50.00 eprover: CPU time limit exceeded, terminating
% 55.47/52.01 eprover: CPU time limit exceeded, terminating
% 57.60/54.02 eprover: CPU time limit exceeded, terminating
% 59.76/56.03 eprover: CPU time limit exceeded, terminating
% 62.01/58.04 eprover: CPU time limit exceeded, terminating
% 64.16/60.05 eprover: CPU time limit exceeded, terminating
% 66.33/62.06 eprover: CPU time limit exceeded, terminating
% 68.51/64.07 eprover: CPU time limit exceeded, terminating
% 70.71/66.08 eprover: CPU time limit exceeded, terminating
% 72.85/68.09 eprover: CPU time limit exceeded, terminating
% 75.01/70.10 eprover: CPU time limit exceeded, terminating
% 77.23/72.11 eprover: CPU time limit exceeded, terminating
% 79.37/74.12 eprover: CPU time limit exceeded, terminating
% 81.61/76.13 eprover: CPU time limit exceeded, terminating
% 83.80/78.14 eprover: CPU time limit exceeded, terminating
% 85.95/80.15 eprover: CPU time limit exceeded, terminating
% 88.14/82.16 eprover: CPU time limit exceeded, terminating
% 90.31/84.17 eprover: CPU time limit exceeded, terminating
% 92.46/86.18 eprover: CPU time limit exceeded, terminating
% 94.65/88.19 eprover: CPU time limit exceeded, terminating
% 96.76/90.20 eprover: CPU time limit exceeded, terminating
% 98.92/92.24 eprover: CPU time limit exceeded, terminating
% 103.03/94.25 eprover: CPU time limit exceeded, terminating
% 105.20/96.27 eprover: CPU time limit exceeded, terminating
% 107.40/98.29 eprover: CPU time limit exceeded, terminating
% 109.55/100.30 eprover: CPU time limit exceeded, terminating
% 111.67/102.31 eprover: CPU time limit exceeded, terminating
% 113.78/104.33 eprover: CPU time limit exceeded, terminating
% 116.03/106.34 eprover: CPU time limit exceeded, terminating
% 118.22/108.35 eprover: CPU time limit exceeded, terminating
% 120.36/110.36 eprover: CPU time limit exceeded, terminating
% 122.53/112.37 eprover: CPU time limit exceeded, terminating
% 124.73/114.38 eprover: CPU time limit exceeded, terminating
% 126.90/116.39 eprover: CPU time limit exceeded, terminating
% 129.07/118.40 eprover: CPU time limit exceeded, terminating
% 131.27/120.41 eprover: CPU time limit exceeded, terminating
% 133.41/122.42 eprover: CPU time limit exceeded, terminating
% 135.62/124.43 eprover: CPU time limit exceeded, terminating
% 137.80/126.44 eprover: CPU time limit exceeded, terminating
% 139.94/128.45 eprover: CPU time limit exceeded, terminating
% 142.07/130.46 eprover: CPU time limit exceeded, terminating
% 144.32/132.47 eprover: CPU time limit exceeded, terminating
% 146.51/134.48 eprover: CPU time limit exceeded, terminating
% 148.63/136.49 eprover: CPU time limit exceeded, terminating
% 150.83/138.50 eprover: CPU time limit exceeded, terminating
% 153.01/140.52 eprover: CPU time limit exceeded, terminating
% 155.18/142.53 eprover: CPU time limit exceeded, terminating
% 157.34/144.54 eprover: CPU time limit exceeded, terminating
% 159.45/146.55 eprover: CPU time limit exceeded, terminating
% 161.66/148.56 eprover: CPU time limit exceeded, terminating
% 163.87/150.57 eprover: CPU time limit exceeded, terminating
% 166.03/152.58 eprover: CPU time limit exceeded, terminating
% 168.17/154.59 eprover: CPU time limit exceeded, terminating
% 170.40/156.61 eprover: CPU time limit exceeded, terminating
% 172.48/158.62 eprover: CPU time limit exceeded, terminating
% 174.67/160.63 eprover: CPU time limit exceeded, terminating
% 176.93/162.64 eprover: CPU time limit exceeded, terminating
% 179.10/164.65 eprover: CPU time limit exceeded, terminating
% 181.27/166.66 eprover: CPU time limit exceeded, terminating
% 183.45/168.67 eprover: CPU time limit exceeded, terminating
% 185.63/170.68 eprover: CPU time limit exceeded, terminating
% 187.81/172.69 eprover: CPU time limit exceeded, terminating
% 189.92/174.70 eprover: CPU time limit exceeded, terminating
% 192.15/176.71 eprover: CPU time limit exceeded, terminating
% 194.34/178.72 eprover: CPU time limit exceeded, terminating
% 196.45/180.74 eprover: CPU time limit exceeded, terminating
% 198.64/182.75 eprover: CPU time limit exceeded, terminating
% 200.86/184.76 eprover: CPU time limit exceeded, terminating
% 203.00/186.77 eprover: CPU time limit exceeded, terminating
% 205.19/188.78 eprover: CPU time limit exceeded, terminating
% 207.37/190.79 eprover: CPU time limit exceeded, terminating
% 209.51/192.80 eprover: CPU time limit exceeded, terminating
% 211.69/194.82 eprover: CPU time limit exceeded, terminating
% 213.92/196.83 eprover: CPU time limit exceeded, terminating
% 216.06/198.84 eprover: CPU time limit exceeded, terminating
% 218.28/200.85 eprover: CPU time limit exceeded, terminating
% 220.38/202.86 eprover: CPU time limit exceeded, terminating
% 222.62/204.87 eprover: CPU time limit exceeded, terminating
% 224.74/206.88 eprover: CPU time limit exceeded, terminating
% 226.94/208.90 eprover: CPU time limit exceeded, terminating
% 229.16/210.91 eprover: CPU time limit exceeded, terminating
% 231.34/212.92 eprover: CPU time limit exceeded, terminating
% 233.46/214.93 eprover: CPU time limit exceeded, terminating
% 235.67/216.94 eprover: CPU time limit exceeded, terminating
% 237.79/218.95 eprover: CPU time limit exceeded, terminating
% 240.01/220.96 eprover: CPU time limit exceeded, terminating
% 242.22/222.98 eprover: CPU time limit exceeded, terminating
% 244.34/224.99 eprover: CPU time limit exceeded, terminating
% 246.56/227.00 eprover: CPU time limit exceeded, terminating
% 248.75/229.01 eprover: CPU time limit exceeded, terminating
% 250.90/231.02 eprover: CPU time limit exceeded, terminating
% 253.11/233.03 eprover: CPU time limit exceeded, terminating
% 255.29/235.05 eprover: CPU time limit exceeded, terminating
% 257.44/237.06 eprover: CPU time limit exceeded, terminating
% 259.61/239.07 eprover: CPU time limit exceeded, terminating
% 261.76/241.08 eprover: CPU time limit exceeded, terminating
% 263.98/243.09 eprover: CPU time limit exceeded, terminating
% 266.16/245.10 eprover: CPU time limit exceeded, terminating
% 268.35/247.11 eprover: CPU time limit exceeded, terminating
% 270.48/249.12 eprover: CPU time limit exceeded, terminating
% 272.65/251.13 eprover: CPU time limit exceeded, terminating
% 274.83/253.15 eprover: CPU time limit exceeded, terminating
% 276.95/255.16 eprover: CPU time limit exceeded, terminating
% 279.17/257.17 eprover: CPU time limit exceeded, terminating
% 281.36/259.18 eprover: CPU time limit exceeded, terminating
% 283.57/261.19 eprover: CPU time limit exceeded, terminating
% 285.74/263.20 eprover: CPU time limit exceeded, terminating
% 287.94/265.21 eprover: CPU time limit exceeded, terminating
% 290.07/267.22 eprover: CPU time limit exceeded, terminating
% 292.26/269.24 eprover: CPU time limit exceeded, terminating
% 294.43/271.25 eprover: CPU time limit exceeded, terminating
% 296.64/273.26 eprover: CPU time limit exceeded, terminating
% 298.75/275.27 eprover: CPU time limit exceeded, terminating
% 300.04/276.32 eprover: CPU time limit exceeded, terminating
% 300.04/276.33 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------