fifo8_300.shuffled-as.sat03-426.cnf

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


zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc68.9168.8977.6722.1722.2103 03 053777685106.092UNKNOWN

zChaff minisat SatELite
586.293 283.552 147.692

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.9168.8977.6722.1722.2100 00 01593687830.7313UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb68.9168.8977.6722.1722.2100 00 0882709417.4993UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.9168.8977.6722.1722.2100 00 049685539.97048UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw68.9168.8977.6722.1722.2103 03 05178472997.7311UNKNOWN

zChaff minisat SatELite
534.797 270.086 141.335

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.9168.8977.6722.1722.2100 00 01544035229.5435UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb68.9168.8977.6722.1722.2100 00 0882709418.8821UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.9168.8977.6722.1722.2100 00 0496855310.1924UNKNOWN

zChaff minisat SatELite
330.193 273.615 146.175