fphp-060-048.shuffled-as.sat05-1225.cnf

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


zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc76.1573.6599.9623.8126.3100 00 02432160017.1414UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn76.1573.6599.9623.8126.3100 00 057964024.03039UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb76.1573.6599.9623.8126.3100 00 028800.080987UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb76.1573.6599.9623.8126.3100 00 028800.050992UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw76.1573.6599.9623.8126.3100 00 028800.096985UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn76.1573.6599.9623.8126.3100 00 028800.058991UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb76.1573.6599.9623.8126.3100 00 028800.082987UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb76.1573.6599.9623.8126.3100 00 028800.054991UNKNOWN

zChaff minisat SatELite
8517.67 TimeOut TimeOut