detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_128.smt2 (content) ok ok 0.412s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_112.smt2 (content) ok ok 0.470s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_096.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_080.smt2 (content) ok ok 0.187s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_064.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_048.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_032.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_159_016.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_128.smt2 (content) ok ok 0.523s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_112.smt2 (content) ok ok 0.602s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_096.smt2 (content) ok ok 0.522s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_080.smt2 (content) ok ok 0.439s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_064.smt2 (content) ok ok 0.352s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_048.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_032.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_143_016.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_128.smt2 (content) ok ok 0.346s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_112.smt2 (content) ok ok 0.445s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_096.smt2 (content) ok ok 0.305s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_080.smt2 (content) ok ok 0.325s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_064.smt2 (content) ok ok 0.263s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_048.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_032.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_127_016.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_004_111_128.smt2 (content) ok ok 0.520s