mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384.cnf

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


zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc26.1226.320.004.685.1500 00 072510.015997UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn26.1226.320.004.685.1500 00 054230.013997UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb26.1226.320.004.685.1500 00 072510.015997UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb26.1226.320.004.685.1500 00 054230.013997UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw26.1226.320.004.685.1500 00 000.003999UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn26.1226.320.004.685.1500 00 000.000999UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb26.1226.320.004.685.1500 00 000.001999UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb26.1226.320.004.685.1500 00 000.001999UNKNOWN

zChaff minisat SatELite
18.9451 8.70868 9.37657