detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_159_048.smt2 (content) ok ok 0.395s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_159_032.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_159_016.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_128.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_112.smt2 (content) ok ok 0.851s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_096.smt2 (content) ok ok 0.954s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_080.smt2 (content) ok ok 0.526s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_064.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_048.smt2 (content) ok ok 0.311s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_032.smt2 (content) ok ok 0.363s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_143_016.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_127_128.smt2 (content) ok ok 0.982s
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