detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_008_0256.smt2 (content) ok ok 0.321s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_008_0128.smt2 (content) ok ok 0.308s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_008_0064.smt2 (content) ok ok 0.284s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_008_0032.smt2 (content) ok ok 0.304s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_1024.smt2 (content) ok ok 0.187s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0512.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0256.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0128.smt2 (content) ok ok 0.173s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0064.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0032.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_004_0016.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_1024.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0512.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0256.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0128.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0064.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0032.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_002_0016.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_1024.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0512.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0256.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0128.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0064.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0032.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_044_001_0016.smt2 (content) ok ok 0.067s