TSTP Solution File: ALG426-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG426-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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 : Thu Jul 14 17:01:12 EDT 2022
% Result : FinitelyUnsatisfiable 254.49s 251.25s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : ALG426-1 : TPTP v8.1.0. Released v4.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.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 : Wed Jun 8 03:59:49 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.85/3.05 eprover: CPU time limit exceeded, terminating
% 4.86/5.06 eprover: CPU time limit exceeded, terminating
% 6.92/7.07 eprover: CPU time limit exceeded, terminating
% 8.97/9.08 eprover: CPU time limit exceeded, terminating
% 11.08/11.10 eprover: CPU time limit exceeded, terminating
% 13.12/13.11 eprover: CPU time limit exceeded, terminating
% 15.18/15.12 eprover: CPU time limit exceeded, terminating
% 17.21/17.13 eprover: CPU time limit exceeded, terminating
% 19.24/19.14 eprover: CPU time limit exceeded, terminating
% 21.29/21.15 eprover: CPU time limit exceeded, terminating
% 23.32/23.17 eprover: CPU time limit exceeded, terminating
% 25.35/25.18 eprover: CPU time limit exceeded, terminating
% 27.40/27.19 eprover: CPU time limit exceeded, terminating
% 29.43/29.20 eprover: CPU time limit exceeded, terminating
% 31.56/31.22 eprover: CPU time limit exceeded, terminating
% 33.61/33.23 eprover: CPU time limit exceeded, terminating
% 35.63/35.24 eprover: CPU time limit exceeded, terminating
% 37.67/37.25 eprover: CPU time limit exceeded, terminating
% 39.71/39.27 eprover: CPU time limit exceeded, terminating
% 41.74/41.28 eprover: CPU time limit exceeded, terminating
% 43.87/43.29 eprover: CPU time limit exceeded, terminating
% 45.92/45.30 eprover: CPU time limit exceeded, terminating
% 47.95/47.32 eprover: CPU time limit exceeded, terminating
% 50.01/49.33 eprover: CPU time limit exceeded, terminating
% 52.05/51.34 eprover: CPU time limit exceeded, terminating
% 54.08/53.35 eprover: CPU time limit exceeded, terminating
% 56.12/55.36 eprover: CPU time limit exceeded, terminating
% 58.15/57.37 eprover: CPU time limit exceeded, terminating
% 60.20/59.38 eprover: CPU time limit exceeded, terminating
% 62.32/61.39 eprover: CPU time limit exceeded, terminating
% 64.37/63.41 eprover: CPU time limit exceeded, terminating
% 66.41/65.41 eprover: CPU time limit exceeded, terminating
% 68.42/67.43 eprover: CPU time limit exceeded, terminating
% 70.48/69.44 eprover: CPU time limit exceeded, terminating
% 72.48/71.45 eprover: CPU time limit exceeded, terminating
% 74.54/73.46 eprover: CPU time limit exceeded, terminating
% 76.59/75.47 eprover: CPU time limit exceeded, terminating
% 78.60/77.48 eprover: CPU time limit exceeded, terminating
% 80.66/79.49 eprover: CPU time limit exceeded, terminating
% 82.78/81.51 eprover: CPU time limit exceeded, terminating
% 84.84/83.52 eprover: CPU time limit exceeded, terminating
% 86.86/85.53 eprover: CPU time limit exceeded, terminating
% 88.90/87.54 eprover: CPU time limit exceeded, terminating
% 90.95/89.55 eprover: CPU time limit exceeded, terminating
% 92.99/91.56 eprover: CPU time limit exceeded, terminating
% 95.00/93.57 eprover: CPU time limit exceeded, terminating
% 97.11/95.59 eprover: CPU time limit exceeded, terminating
% 99.18/97.60 eprover: CPU time limit exceeded, terminating
% 101.14/99.61 eprover: CPU time limit exceeded, terminating
% 103.25/101.63 eprover: CPU time limit exceeded, terminating
% 105.30/103.64 eprover: CPU time limit exceeded, terminating
% 107.36/105.65 eprover: CPU time limit exceeded, terminating
% 109.37/107.66 eprover: CPU time limit exceeded, terminating
% 111.46/109.68 eprover: CPU time limit exceeded, terminating
% 113.53/111.69 eprover: CPU time limit exceeded, terminating
% 115.55/113.70 eprover: CPU time limit exceeded, terminating
% 117.61/115.71 eprover: CPU time limit exceeded, terminating
% 119.64/117.74 eprover: CPU time limit exceeded, terminating
% 121.70/119.75 eprover: CPU time limit exceeded, terminating
% 123.70/121.77 eprover: CPU time limit exceeded, terminating
% 125.76/123.78 eprover: CPU time limit exceeded, terminating
% 127.80/125.81 eprover: CPU time limit exceeded, terminating
% 129.93/127.83 eprover: CPU time limit exceeded, terminating
% 131.97/129.84 eprover: CPU time limit exceeded, terminating
% 133.99/131.86 eprover: CPU time limit exceeded, terminating
% 136.05/133.87 eprover: CPU time limit exceeded, terminating
% 138.13/135.89 eprover: CPU time limit exceeded, terminating
% 140.13/137.91 eprover: CPU time limit exceeded, terminating
% 142.22/139.92 eprover: CPU time limit exceeded, terminating
% 144.28/141.94 eprover: CPU time limit exceeded, terminating
% 146.25/143.95 eprover: CPU time limit exceeded, terminating
% 148.33/145.96 eprover: CPU time limit exceeded, terminating
% 150.42/147.97 eprover: CPU time limit exceeded, terminating
% 152.41/149.98 eprover: CPU time limit exceeded, terminating
% 154.51/152.01 eprover: CPU time limit exceeded, terminating
% 156.46/154.02 eprover: CPU time limit exceeded, terminating
% 158.54/156.03 eprover: CPU time limit exceeded, terminating
% 160.59/158.04 eprover: CPU time limit exceeded, terminating
% 162.68/160.06 eprover: CPU time limit exceeded, terminating
% 164.77/162.07 eprover: CPU time limit exceeded, terminating
% 166.76/164.08 eprover: CPU time limit exceeded, terminating
% 168.86/166.10 eprover: CPU time limit exceeded, terminating
% 170.92/168.11 eprover: CPU time limit exceeded, terminating
% 172.89/170.12 eprover: CPU time limit exceeded, terminating
% 175.00/172.13 eprover: CPU time limit exceeded, terminating
% 177.07/174.14 eprover: CPU time limit exceeded, terminating
% 179.09/176.16 eprover: CPU time limit exceeded, terminating
% 181.16/178.17 eprover: CPU time limit exceeded, terminating
% 183.16/180.19 eprover: CPU time limit exceeded, terminating
% 185.26/182.20 eprover: CPU time limit exceeded, terminating
% 187.26/184.21 eprover: CPU time limit exceeded, terminating
% 189.36/186.23 eprover: CPU time limit exceeded, terminating
% 191.40/188.24 eprover: CPU time limit exceeded, terminating
% 193.43/190.26 eprover: CPU time limit exceeded, terminating
% 195.49/192.27 eprover: CPU time limit exceeded, terminating
% 197.59/194.28 eprover: CPU time limit exceeded, terminating
% 199.56/196.29 eprover: CPU time limit exceeded, terminating
% 201.65/198.30 eprover: CPU time limit exceeded, terminating
% 203.71/200.32 eprover: CPU time limit exceeded, terminating
% 205.73/202.33 eprover: CPU time limit exceeded, terminating
% 207.80/204.36 eprover: CPU time limit exceeded, terminating
% 209.80/206.37 eprover: CPU time limit exceeded, terminating
% 211.90/208.39 eprover: CPU time limit exceeded, terminating
% 213.88/210.40 eprover: CPU time limit exceeded, terminating
% 215.99/212.42 eprover: CPU time limit exceeded, terminating
% 218.05/214.45 eprover: CPU time limit exceeded, terminating
% 220.06/216.47 eprover: CPU time limit exceeded, terminating
% 222.11/218.49 eprover: CPU time limit exceeded, terminating
% 224.15/220.51 eprover: CPU time limit exceeded, terminating
% 226.28/222.52 eprover: CPU time limit exceeded, terminating
% 228.31/224.54 eprover: CPU time limit exceeded, terminating
% 230.39/226.55 eprover: CPU time limit exceeded, terminating
% 232.40/228.57 eprover: CPU time limit exceeded, terminating
% 234.45/230.59 eprover: CPU time limit exceeded, terminating
% 236.46/232.60 eprover: CPU time limit exceeded, terminating
% 238.58/234.62 eprover: CPU time limit exceeded, terminating
% 240.60/236.65 eprover: CPU time limit exceeded, terminating
% 242.65/238.67 eprover: CPU time limit exceeded, terminating
% 244.71/240.68 eprover: CPU time limit exceeded, terminating
% 246.73/242.70 eprover: CPU time limit exceeded, terminating
% 248.82/244.71 eprover: CPU time limit exceeded, terminating
% 250.84/246.73 eprover: CPU time limit exceeded, terminating
% 252.88/248.75 eprover: CPU time limit exceeded, terminating
% 254.49/251.25 Infinox, version 1.0, 2009-07-20.
% 254.49/251.25 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 254.49/251.25 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 254.49/251.25 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 254.49/251.25 InjNotSurj
% 254.49/251.25 +++ RESULT: FinitelyUnsatisfiable
% 254.49/251.25 % SZS status FinitelyUnsatisfiable
%------------------------------------------------------------------------------