gensys-brn005.shuffled-as.sat05-3670.cnf

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


zChaff minisat SatELite
177.993 121.563 358.098

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

zChaff minisat SatELite
231.615 61.5176 193.271

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

zChaff minisat SatELite
227.329 165.916 98.687

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

zChaff minisat SatELite
214.437 63.2124 108.036

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

zChaff minisat SatELite
195.976 167.712 104.805

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

zChaff minisat SatELite
209.985 62.0506 111.342

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

zChaff minisat SatELite
191.241 167.001 97.9201

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

zChaff minisat SatELite
209.389 65.0291 110.291

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

zChaff minisat SatELite
193.234 170.415 98.2941