facts8h.12.cnf

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


zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc93.0765.2793.070.1134.7311284415186441518682667942.26066UNKNOWN

zChaff minisat SatELite
0.015998 0.019996 0.203968

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn99.049.0199.040.0290.9911280 00 0273860.023996UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb99.049.0199.040.0290.9911280 00 0273860.033994UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb99.049.0199.040.0290.9911280 00 0273860.023996UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw98.949.9798.940.0290.03112849451049451014610560.420936UNKNOWN

zChaff minisat SatELite
0.011998 0.029995 0.663899

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn99.049.0199.040.0290.9911280 00 0273860.019996UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb99.049.0199.040.0290.9911280 00 0273860.035994UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb99.049.0199.040.0290.9911280 00 0273860.023996UNKNOWN

zChaff minisat SatELite
0.012998 0.033994 0.813876