gensys-brn100.shuffled-as.sat05-3765.cnf

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


zChaff minisat SatELite
320.443 71.5171 166.916

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

zChaff minisat SatELite
526.184 17.6003 98.803

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

zChaff minisat SatELite
364.902 126.464 169.772

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

zChaff minisat SatELite
282.899 85.204 95.7804

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

zChaff minisat SatELite
445.896 123.258 170.209

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

zChaff minisat SatELite
267.195 85.222 98.824

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

zChaff minisat SatELite
438.854 122.602 172.037

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

zChaff minisat SatELite
267.593 84.1582 96.7363

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

zChaff minisat SatELite
419.048 126.937 170.406