grid-pbl-0250.shuffled-as.sat05-1340.shuffled-as.sat05-1340.cnf

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


zChaff minisat SatELite
TimeOut TimeOut 7.10892

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc31.3531.390.206.326.3100 00 07479841.43878UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb31.3531.390.206.326.3100 00 07474821.43178UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892

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

zChaff minisat SatELite
TimeOut TimeOut 7.10892