544707209399fw.shuffled-as.sat03-1669.cnf

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


zChaff minisat SatELite
713.841 288.213 1236.51

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.0650.240.2912.7012.8202 02 0773810.138978UNKNOWN

zChaff minisat SatELite
764.476 275.699 1156.81

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.0550.240.2912.7012.8201 01 0385280.06399UNKNOWN

zChaff minisat SatELite
761.253 288.217 1181.93

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.0650.240.2912.7012.8202 02 0773220.136979UNKNOWN

zChaff minisat SatELite
738.948 286.771 1177.97

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.0550.240.2912.7012.8201 01 0385280.075988UNKNOWN

zChaff minisat SatELite
726.571 275.486 1159.16

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.0650.240.2912.7012.8200 00 000.015997UNKNOWN

zChaff minisat SatELite
713.841 288.213 1236.51

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.0650.240.2912.7012.8200 00 000.010998UNKNOWN

zChaff minisat SatELite
713.841 288.213 1236.51

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.0650.240.2912.7012.8200 00 000.022996UNKNOWN

zChaff minisat SatELite
713.841 288.213 1236.51

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.0650.240.2912.7012.8200 00 000.012998UNKNOWN

zChaff minisat SatELite
713.841 288.213 1236.51