fifo8_400.shuffled.cnf

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


zChaff minisat SatELite
1276.83 468.787 276.414

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc69.0068.9477.6722.0422.2107 07 071799967148.464UNKNOWN

zChaff minisat SatELite
1347.67 503.972 282.699

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn69.0068.9477.6722.0422.2101 01 02117915045.5751UNKNOWN

zChaff minisat SatELite
1302.04 468.566 274.47

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb69.0068.9477.6722.0422.2103 03 01178205125.0162UNKNOWN

zChaff minisat SatELite
1272.72 455.555 269.888

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb69.0068.9477.6722.0422.2101 01 0659946114.5338UNKNOWN

zChaff minisat SatELite
1300.46 460.654 279.241

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw69.0068.9477.6722.0422.2105 05 069140012141.625UNKNOWN

zChaff minisat SatELite
1231.4 453.017 269.676

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn69.0068.9477.6722.0422.2101 01 02053139844.0733UNKNOWN

zChaff minisat SatELite
1273.38 498.613 281.476

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb69.0068.9477.6722.0422.2103 03 01178205124.8692UNKNOWN

zChaff minisat SatELite
1367.33 490.12 275.949

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb69.0068.9477.6722.0422.2101 01 0659946114.4528UNKNOWN

zChaff minisat SatELite
1299.99 457.175 266.525