detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_004_0256.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_004_0128.smt2 (content) ok ok 0.233s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_004_0064.smt2 (content) ok ok 0.281s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_004_0032.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_004_0016.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_1024.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0512.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0256.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0128.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0064.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0032.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_002_0016.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_1024.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0512.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0256.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0128.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0064.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0032.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_060_001_0016.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_256_1024.smt2 (content) ok ok 8.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_128_1024.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_128_0512.smt2 (content) ok ok 6.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_064_1024.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_064_0512.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/core/ext_con_056_064_0256.smt2 (content) ok ok 3s