3col140_5_2.shuffled.cnf

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


zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.2838.6312.218.288.3600 00 051970.005999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.2838.6312.218.288.3600 00 033300.003999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.2838.6312.218.288.3600 00 049070.005999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.2838.6312.218.288.3600 00 032480.004999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.2838.6312.218.288.3600 00 049090.005999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.2838.6312.218.288.3600 00 032480.005999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.2838.6312.218.288.3600 00 049070.006998UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.2838.6312.218.288.3600 00 032480.003999UNKNOWN

zChaff minisat SatELite
0.422935 0.466929 2.89156