TSTP Solution File: SWC107-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWC107-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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 : Tue Jul 19 20:46:44 EDT 2022
% Result : FinitelyUnsatisfiable 264.86s 265.21s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : SWC107-1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n008.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 : Sun Jun 12 02:03:22 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.23/2.46 eprover: CPU time limit exceeded, terminating
% 4.26/4.48 eprover: CPU time limit exceeded, terminating
% 6.24/6.49 eprover: CPU time limit exceeded, terminating
% 8.34/8.50 eprover: CPU time limit exceeded, terminating
% 10.25/10.51 eprover: CPU time limit exceeded, terminating
% 12.36/12.52 eprover: CPU time limit exceeded, terminating
% 14.37/14.54 eprover: CPU time limit exceeded, terminating
% 16.36/16.56 eprover: CPU time limit exceeded, terminating
% 18.44/18.57 eprover: CPU time limit exceeded, terminating
% 20.40/20.58 eprover: CPU time limit exceeded, terminating
% 22.47/22.59 eprover: CPU time limit exceeded, terminating
% 24.49/24.60 eprover: CPU time limit exceeded, terminating
% 26.47/26.62 eprover: CPU time limit exceeded, terminating
% 28.53/28.63 eprover: CPU time limit exceeded, terminating
% 30.51/30.64 eprover: CPU time limit exceeded, terminating
% 32.55/32.65 eprover: CPU time limit exceeded, terminating
% 34.53/34.66 eprover: CPU time limit exceeded, terminating
% 36.59/36.67 eprover: CPU time limit exceeded, terminating
% 38.62/38.69 eprover: CPU time limit exceeded, terminating
% 40.64/40.70 eprover: CPU time limit exceeded, terminating
% 42.62/42.71 eprover: CPU time limit exceeded, terminating
% 44.63/44.72 eprover: CPU time limit exceeded, terminating
% 46.69/46.73 eprover: CPU time limit exceeded, terminating
% 48.68/48.75 eprover: CPU time limit exceeded, terminating
% 50.70/50.76 eprover: CPU time limit exceeded, terminating
% 52.68/52.77 eprover: CPU time limit exceeded, terminating
% 54.70/54.78 eprover: CPU time limit exceeded, terminating
% 56.76/56.80 eprover: CPU time limit exceeded, terminating
% 58.79/58.81 eprover: CPU time limit exceeded, terminating
% 60.79/60.82 eprover: CPU time limit exceeded, terminating
% 62.80/62.83 eprover: CPU time limit exceeded, terminating
% 64.84/64.84 eprover: CPU time limit exceeded, terminating
% 66.81/66.86 eprover: CPU time limit exceeded, terminating
% 68.85/68.87 eprover: CPU time limit exceeded, terminating
% 70.84/70.88 eprover: CPU time limit exceeded, terminating
% 72.87/72.89 eprover: CPU time limit exceeded, terminating
% 74.91/74.90 eprover: CPU time limit exceeded, terminating
% 76.93/76.91 eprover: CPU time limit exceeded, terminating
% 78.98/78.93 eprover: CPU time limit exceeded, terminating
% 80.92/80.94 eprover: CPU time limit exceeded, terminating
% 83.00/82.95 eprover: CPU time limit exceeded, terminating
% 85.03/84.97 eprover: CPU time limit exceeded, terminating
% 86.99/86.98 eprover: CPU time limit exceeded, terminating
% 89.06/88.99 eprover: CPU time limit exceeded, terminating
% 91.09/91.01 eprover: CPU time limit exceeded, terminating
% 93.10/93.02 eprover: CPU time limit exceeded, terminating
% 95.14/95.03 eprover: CPU time limit exceeded, terminating
% 97.14/97.05 eprover: CPU time limit exceeded, terminating
% 99.17/99.06 eprover: CPU time limit exceeded, terminating
% 101.20/101.08 eprover: CPU time limit exceeded, terminating
% 103.20/103.09 eprover: CPU time limit exceeded, terminating
% 105.24/105.10 eprover: CPU time limit exceeded, terminating
% 107.26/107.12 eprover: CPU time limit exceeded, terminating
% 109.28/109.13 eprover: CPU time limit exceeded, terminating
% 111.29/111.15 eprover: CPU time limit exceeded, terminating
% 113.27/113.16 eprover: CPU time limit exceeded, terminating
% 115.28/115.18 eprover: CPU time limit exceeded, terminating
% 117.36/117.19 eprover: CPU time limit exceeded, terminating
% 119.37/119.20 eprover: CPU time limit exceeded, terminating
% 121.40/121.22 eprover: CPU time limit exceeded, terminating
% 123.41/123.23 eprover: CPU time limit exceeded, terminating
% 125.42/125.24 eprover: CPU time limit exceeded, terminating
% 127.41/127.26 eprover: CPU time limit exceeded, terminating
% 129.45/129.27 eprover: CPU time limit exceeded, terminating
% 131.48/131.28 eprover: CPU time limit exceeded, terminating
% 133.49/133.30 eprover: CPU time limit exceeded, terminating
% 135.47/135.31 eprover: CPU time limit exceeded, terminating
% 137.55/137.32 eprover: CPU time limit exceeded, terminating
% 139.56/139.34 eprover: CPU time limit exceeded, terminating
% 141.53/141.35 eprover: CPU time limit exceeded, terminating
% 143.62/143.37 eprover: CPU time limit exceeded, terminating
% 145.59/145.38 eprover: CPU time limit exceeded, terminating
% 147.64/147.40 eprover: CPU time limit exceeded, terminating
% 149.67/149.41 eprover: CPU time limit exceeded, terminating
% 151.69/151.43 eprover: CPU time limit exceeded, terminating
% 153.70/153.44 eprover: CPU time limit exceeded, terminating
% 155.73/155.45 eprover: CPU time limit exceeded, terminating
% 157.74/157.47 eprover: CPU time limit exceeded, terminating
% 159.79/159.48 eprover: CPU time limit exceeded, terminating
% 161.76/161.50 eprover: CPU time limit exceeded, terminating
% 163.81/163.51 eprover: CPU time limit exceeded, terminating
% 165.83/165.53 eprover: CPU time limit exceeded, terminating
% 167.86/167.54 eprover: CPU time limit exceeded, terminating
% 169.88/169.55 eprover: CPU time limit exceeded, terminating
% 171.91/171.57 eprover: CPU time limit exceeded, terminating
% 173.91/173.58 eprover: CPU time limit exceeded, terminating
% 175.90/175.59 eprover: CPU time limit exceeded, terminating
% 177.97/177.61 eprover: CPU time limit exceeded, terminating
% 179.98/179.62 eprover: CPU time limit exceeded, terminating
% 181.96/181.64 eprover: CPU time limit exceeded, terminating
% 184.00/183.65 eprover: CPU time limit exceeded, terminating
% 186.04/185.67 eprover: CPU time limit exceeded, terminating
% 188.01/187.68 eprover: CPU time limit exceeded, terminating
% 190.09/189.70 eprover: CPU time limit exceeded, terminating
% 192.12/191.71 eprover: CPU time limit exceeded, terminating
% 194.12/193.72 eprover: CPU time limit exceeded, terminating
% 196.12/195.74 eprover: CPU time limit exceeded, terminating
% 198.12/197.75 eprover: CPU time limit exceeded, terminating
% 200.13/199.77 eprover: CPU time limit exceeded, terminating
% 202.17/201.78 eprover: CPU time limit exceeded, terminating
% 204.23/203.80 eprover: CPU time limit exceeded, terminating
% 206.25/205.81 eprover: CPU time limit exceeded, terminating
% 208.26/207.82 eprover: CPU time limit exceeded, terminating
% 210.26/209.84 eprover: CPU time limit exceeded, terminating
% 212.23/211.86 eprover: CPU time limit exceeded, terminating
% 214.27/213.87 eprover: CPU time limit exceeded, terminating
% 216.31/215.89 eprover: CPU time limit exceeded, terminating
% 218.38/217.90 eprover: CPU time limit exceeded, terminating
% 220.41/219.91 eprover: CPU time limit exceeded, terminating
% 222.41/221.93 eprover: CPU time limit exceeded, terminating
% 224.43/223.94 eprover: CPU time limit exceeded, terminating
% 226.42/225.96 eprover: CPU time limit exceeded, terminating
% 228.44/227.97 eprover: CPU time limit exceeded, terminating
% 230.51/229.99 eprover: CPU time limit exceeded, terminating
% 232.53/232.00 eprover: CPU time limit exceeded, terminating
% 234.52/234.02 eprover: CPU time limit exceeded, terminating
% 236.56/236.03 eprover: CPU time limit exceeded, terminating
% 238.58/238.05 eprover: CPU time limit exceeded, terminating
% 240.56/240.06 eprover: CPU time limit exceeded, terminating
% 242.59/242.08 eprover: CPU time limit exceeded, terminating
% 244.58/244.09 eprover: CPU time limit exceeded, terminating
% 246.66/246.11 eprover: CPU time limit exceeded, terminating
% 248.70/248.12 eprover: CPU time limit exceeded, terminating
% 250.67/250.14 eprover: CPU time limit exceeded, terminating
% 252.66/252.15 eprover: CPU time limit exceeded, terminating
% 254.72/254.17 eprover: CPU time limit exceeded, terminating
% 256.80/256.18 eprover: CPU time limit exceeded, terminating
% 258.82/258.20 eprover: CPU time limit exceeded, terminating
% 260.83/260.21 eprover: CPU time limit exceeded, terminating
% 262.84/262.23 eprover: CPU time limit exceeded, terminating
% 264.86/265.21 Infinox, version 1.0, 2009-07-20.
% 264.86/265.21 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 264.86/265.21 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 264.86/265.21 Reading 'Axioms/SWC001-0.ax' ... ('/export/starexec/sandbox/benchmark/Axioms/SWC001-0.ax') OK
% 264.86/265.21 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 264.86/265.21 InjNotSurj
% 264.86/265.21 SurjNotInj
% 264.86/265.21 +++ RESULT: FinitelyUnsatisfiable
% 264.86/265.21 % SZS status FinitelyUnsatisfiable
%------------------------------------------------------------------------------