544707209399nw.shuffled-as.sat03-1671.cnf

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


zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.0650.260.3312.6012.6600 00 0691290.12698UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.0650.260.3312.6012.6600 00 0345040.05999UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.0650.260.3312.6012.6600 00 0690700.12898UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.0650.260.3312.6012.6600 00 0345040.066989UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.0650.260.3312.6012.6600 00 000.016997UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.0650.260.3312.6012.6600 00 000.009998UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.0650.260.3312.6012.6600 00 000.015997UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.0650.260.3312.6012.6600 00 000.011998UNKNOWN

zChaff minisat SatELite
210.323 2247.86 1391.66