detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_1024.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0512.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0256.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0128.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0064.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0032.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_004_001_0016.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained10.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained09.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained08.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained07.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained06.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained05.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained04.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained03.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained02.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere4/unconstrained01.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/mulhs64.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/mulhs32.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/mulhs16.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/mulhs08.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/minxorminand256.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/minxorminand128.smt2 (content) ok ok 0.550s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/minxorminand064.smt2 (content) ok ok 0.318s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere3/minxorminand032.smt2 (content) ok ok 0.164s