marg3x5.shuffled-as.sat03-1452.cnf

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


zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc27.1422.860.006.795.3600 00 012240.001999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn27.1422.860.006.795.3600 00 09060.002999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb27.1422.860.006.795.3600 00 012240.002999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb27.1422.860.006.795.3600 00 09060.001999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw27.1422.860.006.795.3600 00 000.000999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn27.1422.860.006.795.3600 00 000.000999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb27.1422.860.006.795.3600 00 000.001999UNKNOWN

zChaff minisat SatELite
955.002 87.4677 699.214

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

zChaff minisat SatELite
955.002 87.4677 699.214