f91-b1-s0-20.cnf

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


zChaff minisat SatELite
0.06699 0.215967 1.06384

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

zChaff minisat SatELite
0.082988 0.230964 0.91486

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn66.5569.9086.5523.4219.8631180 3180 32227100.224965UNKNOWN

zChaff minisat SatELite
0.070989 0.25896 1.55076

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.3568.2586.8722.8721.763122 022 0697610.06399UNKNOWN

zChaff minisat SatELite
0.075989 0.301954 1.47578

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb67.3568.2586.8722.8721.763122 022 0607860.06099UNKNOWN

zChaff minisat SatELite
0.074989 0.305953 1.35079

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw67.2568.2386.7922.9021.713162 162 11013330.093985UNKNOWN

zChaff minisat SatELite
0.074988 0.469928 1.2898

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn67.2868.3986.8422.9221.593136 136 1670360.06499UNKNOWN

zChaff minisat SatELite
0.082988 0.290955 1.38179

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.3568.2586.8722.8721.763122 022 0620540.06299UNKNOWN

zChaff minisat SatELite
0.073989 0.303953 1.35879

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb67.3568.2586.8722.8721.763122 022 0573580.05999UNKNOWN

zChaff minisat SatELite
0.074989 0.305953 1.34479