5pipe_1_ooo.shuffled.cnf

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


zChaff minisat SatELite
44.2073 569.819 691.829

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

zChaff minisat SatELite
41.0708 192.405 366.437

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn63.5076.3279.9827.0814.5709997 59997 537103453170.243UNKNOWN

zChaff minisat SatELite
40.3999 616.935 647.518

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb65.3372.5080.9925.7318.860642 0642 0655919626.7749UNKNOWN

zChaff minisat SatELite
45.3481 949.822 1060.16

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb65.3372.5080.9925.7218.860635 0635 0512998022.4816UNKNOWN

zChaff minisat SatELite
46.8539 903.506 1362.3

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw65.2872.3880.7325.6518.8603114 23114 21551249661.6296UNKNOWN

zChaff minisat SatELite
40.8908 356.073 2195.63

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn65.2072.7880.9125.8218.5401349 11349 1648795729.5345UNKNOWN

zChaff minisat SatELite
41.3187 1288.82 1698.54

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb65.3372.5080.9825.7218.850628 0628 0581134223.6164UNKNOWN

zChaff minisat SatELite
42.0176 950.545 696.088

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb65.3372.5080.9825.7218.850627 0627 0477343721.0508UNKNOWN

zChaff minisat SatELite
42.9705 917.458 692.322