x1.1_40.shuffled-as.sat03-1581.cnf

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


zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.9148.090.6413.6911.7800 00 09560.001999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.9148.090.6413.6911.7800 00 04580.003999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.9148.090.6413.6911.7800 00 09520.003999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.9148.090.6413.6911.7800 00 04560.002999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw51.9148.090.6413.6911.7800 00 0360.000999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn51.9148.090.6413.6911.7800 00 0180UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb51.9148.090.6413.6911.7800 00 0320.001999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb51.9148.090.6413.6911.7800 00 0160.001999UNKNOWN

zChaff minisat SatELite
948.188 119.756 1178.96