3col200_5_3.shuffled.cnf

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


zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc36.4035.6412.088.388.1500 00 074050.011998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn36.4035.6412.088.388.1500 00 049230.005999UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb36.4035.6412.088.388.1500 00 069950.007998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb36.4035.6412.088.388.1500 00 048110.006998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw36.4035.6412.088.388.1500 00 069970.007998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn36.4035.6412.088.388.1500 00 048110.006998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb36.4035.6412.088.388.1500 00 069950.010998UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb36.4035.6412.088.388.1500 00 048110.005999UNKNOWN

zChaff minisat SatELite
34.5427 0.818875 8.28174