f83-b6-s0-0.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
10241165765.2565.5563.2820.0219.73


zChaff minisat SatELite
17.5583 1.61375 17.1474

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc65.3865.8664.2120.9420.760168 1168 13942160.321951UNKNOWN

zChaff minisat SatELite
18.7472 1.73474 19.515

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn64.9766.0863.8020.9620.63094 194 11433940.114982UNKNOWN

zChaff minisat SatELite
18.5352 1.62175 18.0693

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb65.3865.8664.2120.9420.760168 1168 11805620.146977UNKNOWN

zChaff minisat SatELite
18.4472 1.61275 17.5683

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb64.9766.0863.8020.9620.63094 194 1908180.076988UNKNOWN

zChaff minisat SatELite
18.4342 1.60776 16.9334

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw65.3865.8664.2120.9420.760168 1168 11812200.146977UNKNOWN

zChaff minisat SatELite
19.4081 1.61475 16.8924

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn64.9766.0863.8020.9620.63094 194 1909520.073988UNKNOWN

zChaff minisat SatELite
18.5632 1.60776 17.1294

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb65.3865.8664.2120.9420.760168 1168 11805620.149977UNKNOWN

zChaff minisat SatELite
18.4462 1.61375 18.0643

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb64.9766.0863.8020.9620.63094 194 1908180.070989UNKNOWN

zChaff minisat SatELite
18.5652 1.62175 17.1304