7cnf30_80000_80000_2.shuffled.cnf

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


zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc6.106.500.000.710.6500 00 0227200.923859UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn6.106.500.000.710.6500 00 0212430.867868UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb6.106.500.000.710.6500 00 0227200.92086UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb6.106.500.000.710.6500 00 0212430.857869UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw6.106.500.000.710.6500 00 000.004999UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn6.106.500.000.710.6500 00 000.002999UNKNOWN

zChaff minisat SatELite
2.36264 0.928858 7.27289

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

zChaff minisat SatELite
2.36264 0.928858 7.27289

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

zChaff minisat SatELite
2.36264 0.928858 7.27289