f25-b7-s0-20.cnf

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


zChaff minisat SatELite
10.0235 2.19567 7.54085

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc65.0265.4961.3320.1720.21018161118161175785754.51531UNKNOWN

zChaff minisat SatELite
10.8284 1.64975 6.587

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn65.1368.4364.5721.3018.460457 3457 326184351.57576UNKNOWN

zChaff minisat SatELite
9.8535 1.91371 9.1936

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb66.0866.5665.5420.7220.7000 00 029112631.81072UNKNOWN

zChaff minisat SatELite
10.0235 2.19567 7.54085

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb66.0866.5665.5420.7220.7000 00 014432480.91486UNKNOWN

zChaff minisat SatELite
10.0235 2.19567 7.54085

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw65.1765.5661.8720.2220.34016031016031069955074.15937UNKNOWN

zChaff minisat SatELite
17.1994 2.89656 5.87511

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn65.2668.1664.7121.2218.790393 2393 224187941.46278UNKNOWN

zChaff minisat SatELite
10.4744 1.9587 9.61454

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb66.0866.5665.5420.7220.7000 00 028293581.76673UNKNOWN

zChaff minisat SatELite
10.0235 2.19567 7.54085

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb66.0866.5665.5420.7220.7000 00 013827640.864868UNKNOWN

zChaff minisat SatELite
10.0235 2.19567 7.54085