6cnf20_28000_28000_3.shuffled.cnf

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


zChaff minisat SatELite
0.005999 0.011998 0.016997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc10.3311.730.001.911.1500 00 047450.056991UNKNOWN

zChaff minisat SatELite
0.005999 0.011998 0.016997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn10.3311.730.001.911.1500 00 041900.052991UNKNOWN

zChaff minisat SatELite
0.005999 0.011998 0.016997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb10.3311.730.001.911.1500 00 047450.057991UNKNOWN

zChaff minisat SatELite
0.005999 0.011998 0.016997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb10.3311.730.001.911.1500 00 041900.053991UNKNOWN

zChaff minisat SatELite
0.005999 0.011998 0.016997

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw10.3311.730.001.911.1500 00 000UNKNOWN

zChaff minisat SatELite
0.005999 0.011998 0.016997

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

zChaff minisat SatELite
0.005999 0.011998 0.016997

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

zChaff minisat SatELite
0.005999 0.011998 0.016997

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

zChaff minisat SatELite
0.005999 0.011998 0.016997