7999999957nw.shuffled-as.sat03-1674.cnf

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


zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc51.2049.190.3913.0812.3200 00 0491500.082987UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn51.2049.190.3913.0812.3200 00 0241200.038994UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb51.2049.190.3913.0812.3200 00 0491000.076988UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb51.2049.190.3913.0812.3200 00 0241200.035994UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw51.2049.190.3913.0812.3200 00 000.011998UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn51.2049.190.3913.0812.3200 00 000.008998UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb51.2049.190.3913.0812.3200 00 000.011998UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb51.2049.190.3913.0812.3200 00 000.007998UNKNOWN

zChaff minisat SatELite
5759.99 137.278 414.684