detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_112.smt2 (content) ok ok 0.546s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_096.smt2 (content) ok ok 0.479s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_080.smt2 (content) ok ok 0.616s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_064.smt2 (content) ok ok 0.502s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_048.smt2 (content) ok ok 0.370s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_032.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_016.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_128.smt2 (content) ok ok 0.581s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_112.smt2 (content) ok ok 0.865s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_096.smt2 (content) ok ok 0.629s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_080.smt2 (content) ok ok 0.614s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_064.smt2 (content) ok ok 0.290s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_048.smt2 (content) ok ok 0.383s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_032.smt2 (content) ok ok 0.259s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_111_016.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_128.smt2 (content) ok ok 0.782s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_112.smt2 (content) ok ok 0.488s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_096.smt2 (content) ok ok 0.648s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_080.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_064.smt2 (content) ok ok 0.328s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_048.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_032.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_016.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_128.smt2 (content) ok ok 0.924s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_079_112.smt2 (content) ok ok 0.640s