rand_net60-30-1.miter.shuffled.cnf

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


zChaff minisat SatELite
0.610907 0.280957 1.21582

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

zChaff minisat SatELite
0.747887 0.290955 1.18782

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn65.0068.5463.9721.6317.830354 3354 319729791.11383UNKNOWN

zChaff minisat SatELite
0.616906 0.400939 1.05584

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb66.1666.2765.1620.9220.5500 00 022028231.26481UNKNOWN

zChaff minisat SatELite
0.610907 0.280957 1.21582

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb66.1666.2765.1620.9220.5500 00 010696300.623905UNKNOWN

zChaff minisat SatELite
0.610907 0.280957 1.21582

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

zChaff minisat SatELite
0.718891 0.315951 1.10683

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn65.1368.3064.0921.5618.110318 3318 318709441.05884UNKNOWN

zChaff minisat SatELite
0.594909 0.373943 1.13883

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb66.1666.2765.1620.9220.5500 00 021642641.20182UNKNOWN

zChaff minisat SatELite
0.610907 0.280957 1.21582

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb66.1666.2765.1620.9220.5500 00 010532180.565913UNKNOWN

zChaff minisat SatELite
0.610907 0.280957 1.21582