depots1_ks99i.renamed-as.sat05-3943.cnf

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


zChaff minisat SatELite
0.001 0.001999 0.011998

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

zChaff minisat SatELite
0 0.000999 0.005999

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn94.1540.5294.152.8259.4800 00 01050UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb94.1540.5294.152.8259.4800 00 01050.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb94.1540.5294.152.8259.4800 00 01050.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw93.6443.6493.643.0756.36040 840 846680.001999UNKNOWN

zChaff minisat SatELite
0 0.000999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn94.1540.5294.152.8259.4800 00 01050.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb94.1540.5294.152.8259.4800 00 01050.000999UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb94.1540.5294.152.8259.4800 00 01050UNKNOWN

zChaff minisat SatELite
0.001 0.001999 0.011998