5col120_15_2.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 969.434 4375.99

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc13.9713.600.182.242.4900 00 0311860.145977UNKNOWN

zChaff minisat SatELite
TimeOut 969.434 4375.99

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn13.9713.600.182.242.4900 00 0273330.12898UNKNOWN

zChaff minisat SatELite
TimeOut 969.434 4375.99

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb13.9713.600.182.242.4900 00 0311770.136979UNKNOWN

zChaff minisat SatELite
TimeOut 969.434 4375.99

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb13.9713.600.182.242.4900 00 0273330.118981UNKNOWN

zChaff minisat SatELite
TimeOut 969.434 4375.99

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

zChaff minisat SatELite
TimeOut 969.434 4375.99

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

zChaff minisat SatELite
TimeOut 969.434 4375.99

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb13.9713.600.182.242.4900 00 000.005999UNKNOWN

zChaff minisat SatELite
TimeOut 969.434 4375.99

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

zChaff minisat SatELite
TimeOut 969.434 4375.99