%------------------------------------------------------------------------------ % 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 %------------------------------------------------------------------------------