Urquhart-s4-b7.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc13.0413.650.002.912.6100 00 038680.014997UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn13.0413.650.002.912.6100 00 033940.012998UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb13.0413.650.002.912.6100 00 038680.014997UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb13.0413.650.002.912.6100 00 033940.013997UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw13.0413.650.002.912.6100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn13.0413.650.002.912.6100 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb13.0413.650.002.912.6100 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb13.0413.650.002.912.6100 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 5059.93 TimeOut