lksat-n900-m3357-k3-l5-s684672393.used-as.sat04-937.cnf

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


zChaff minisat SatELite
230.554 18.5222 161.082

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc49.6850.320.0013.3812.051162 262 2117640.011998UNKNOWN

zChaff minisat SatELite
256.218 20.2449 79.9808

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn49.3250.680.0013.4711.961138 138 158740.007998UNKNOWN

zChaff minisat SatELite
210.969 22.6346 119.082

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb49.6850.320.0013.3812.051162 262 2117640.012998UNKNOWN

zChaff minisat SatELite
237.72 20.3889 80.0568

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb49.3250.680.0013.4711.961138 138 158740.006998UNKNOWN

zChaff minisat SatELite
215.953 22.9245 117.195

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw49.9050.100.0013.3211.97110 00 000.002999UNKNOWN

zChaff minisat SatELite
230.554 18.5222 161.082

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

zChaff minisat SatELite
230.554 18.5222 161.082

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb49.9050.100.0013.3211.97110 00 000.002999UNKNOWN

zChaff minisat SatELite
230.554 18.5222 161.082

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

zChaff minisat SatELite
230.554 18.5222 161.082