4col120_9_6.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 116.312 874.143

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.2231.180.286.006.1001 01 086440.022996UNKNOWN

zChaff minisat SatELite
TimeOut 116.994 835.987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn31.2131.210.286.006.0900 00 059600.014997UNKNOWN

zChaff minisat SatELite
TimeOut 116.312 874.143

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.2231.180.286.006.1001 01 086380.022996UNKNOWN

zChaff minisat SatELite
TimeOut 117.17 841.009

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb31.2131.210.286.006.0900 00 059600.015997UNKNOWN

zChaff minisat SatELite
TimeOut 116.312 874.143

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

zChaff minisat SatELite
TimeOut 116.312 874.143

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn31.2131.210.286.006.0900 00 000.002999UNKNOWN

zChaff minisat SatELite
TimeOut 116.312 874.143

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

zChaff minisat SatELite
TimeOut 116.312 874.143

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb31.2131.210.286.006.0900 00 000UNKNOWN

zChaff minisat SatELite
TimeOut 116.312 874.143