gensys-ukn004.shuffled-as.sat05-3844.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc12.2012.061.092.372.1703057173057172209941.49377UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn11.6916.962.333.452.1602375132375131879111.49977UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb12.3716.833.083.432.9102254132254131938121.42778UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn12.4716.813.073.422.9302237122237121330760.800878UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

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

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb12.4716.813.073.422.9302237122237121330520.828873UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut