f87-b5-s5-20.cnf

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


zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc52.8747.770.6413.6911.1500 00 09480.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn52.8747.770.6413.6911.1500 00 04460.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb52.8747.770.6413.6911.1500 00 09440.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb52.8747.770.6413.6911.1500 00 04460.001999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw52.8747.770.6413.6911.1500 00 0360.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn52.8747.770.6413.6911.1500 00 080.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb52.8747.770.6413.6911.1500 00 0320.000999UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb52.8747.770.6413.6911.1500 00 080UNKNOWN

zChaff minisat SatELite
148.099 133.39 2502.77