detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_15.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_14.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_13.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_12.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_10.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/calypto/problem_1.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_008_0032.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_008_0016.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_008_0008.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_008_0004.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_007_0032.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_007_0016.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_007_0008.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_007_0004.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_006_0032.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_006_0016.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_006_0008.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_006_0004.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_005_0032.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_005_0016.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_005_0008.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_005_0004.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_004_0032.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_004_0016.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_008_004_0008.smt2 (content) ok ok 0.058s