detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_096.smt2 (content) ok ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_080.smt2 (content) ok ok 0.594s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_064.smt2 (content) ok ok 0.473s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_048.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_032.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_016.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_128.smt2 (content) ok ok 0.932s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_112.smt2 (content) ok ok 0.746s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_096.smt2 (content) ok ok 0.681s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_080.smt2 (content) ok ok 0.582s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_064.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_048.smt2 (content) ok ok 0.241s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_032.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_063_016.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_128.smt2 (content) ok ok 0.935s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_112.smt2 (content) ok ok 0.473s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_096.smt2 (content) ok ok 0.468s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_080.smt2 (content) ok ok 0.521s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_064.smt2 (content) ok ok 0.473s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_048.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_032.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_047_016.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_031_128.smt2 (content) ok ok 0.925s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_031_112.smt2 (content) ok ok 0.828s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_031_096.smt2 (content) ok ok 0.708s