jnh304.cnf

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


zChaff minisat SatELite
0 0.003999 0.008998

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

zChaff minisat SatELite
0.001 0.002999 0.025996

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

zChaff minisat SatELite
0 0.002999 0.013997

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

zChaff minisat SatELite
0 0.001999 0.013997

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

zChaff minisat SatELite
0.001 0.002999 0.013997

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

zChaff minisat SatELite
0 0.002999 0.025996

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

zChaff minisat SatELite
0.001 0.001999 0.011998

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

zChaff minisat SatELite
0.001 0.002999 0.013997

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

zChaff minisat SatELite
0.001 0.001999 0.013997