grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334.cnf

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


zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.8430.700.746.535.6000 00 0582130.052991UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.8430.700.746.535.6000 00 0397980.032994UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.8430.700.746.535.6000 00 0580710.049992UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.8430.700.746.535.6000 00 0397600.032994UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw31.8430.700.746.535.6000 00 017750.012998UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.8430.700.746.535.6000 00 012120.011998UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb31.8430.700.746.535.6000 00 017750.014997UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb31.8430.700.746.535.6000 00 012120.009998UNKNOWN

zChaff minisat SatELite
33.9268 22.8865 0.304953