fphp-030-025.shuffled-as.sat05-1220.cnf

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


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.5375.3399.8525.3224.5200 00 015960000.604908UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn74.5375.3399.8525.3224.5200 00 03924830.151976UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb74.5375.3399.8525.3224.5200 00 07500.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb74.5375.3399.8525.3224.5200 00 07500.005999UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw74.5375.3399.8525.3224.5200 00 07500.012998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn74.5375.3399.8525.3224.5200 00 07500.009998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb74.5375.3399.8525.3224.5200 00 07500.009998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb74.5375.3399.8525.3224.5200 00 07500.008998UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut