IBM_FV_2004_rule_batch_16_1_SAT_dat.k80.cnf

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


zChaff minisat SatELite
9.72152 1.35979 10.4164

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc77.4472.2780.088.8716.0717414 47414 42034752718.0323UNKNOWN

zChaff minisat SatELite
12.5011 6.68898 21.4927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn78.4372.0980.828.4716.670633 0633 038975923.50547UNKNOWN

zChaff minisat SatELite
8.18076 6.64099 26.017

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb78.2772.1680.888.6016.650480 0480 028146312.57661UNKNOWN

zChaff minisat SatELite
10.4314 2.6406 7.53485

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb78.3272.1380.858.5916.640401 0401 022290321.9987UNKNOWN

zChaff minisat SatELite
14.3668 11.1023 16.5895

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw77.8272.7380.418.7215.8014635 34635 31729501115.3567UNKNOWN

zChaff minisat SatELite
10.2634 2.14467 28.9006

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn78.4372.0980.828.4716.670633 0633 037563643.40148UNKNOWN

zChaff minisat SatELite
8.10477 6.70898 25.9261

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb78.2772.1680.888.6016.650480 0480 028127932.52462UNKNOWN

zChaff minisat SatELite
10.5334 2.6196 7.56785

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb78.3272.1380.858.5916.640401 0401 022290322.01469UNKNOWN

zChaff minisat SatELite
14.3578 11.1153 16.5835