detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_127_064.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_127_048.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_127_032.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_127_016.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_128.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_112.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_096.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_080.smt2 (content) ok ok 0.181s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_064.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_048.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_032.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_016.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_128.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_112.smt2 (content) ok ok 0.238s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_096.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_080.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_064.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_048.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_032.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_016.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_128.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_112.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_096.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_080.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_064.smt2 (content) ok ok 0.142s