cnt09.shuffled.cnf

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


zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc56.2257.1226.7115.5916.2100 00 010146541.01085UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn56.2257.1226.7115.5916.2100 00 04517740.468928UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb56.2257.1226.7115.5916.2100 00 08108660.798878UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb56.2257.1226.7115.5916.2100 00 03987110.422935UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw56.2257.1226.7115.5916.2100 00 08691630.879866UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn56.2257.1226.7115.5916.2100 00 03888560.407937UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb56.2257.1226.7115.5916.2100 00 07101570.771882UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb56.2257.1226.7115.5916.2100 00 03487140.360945UNKNOWN

zChaff minisat SatELite
55.8605 19.1751 64.5382