detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25456.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25454.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25453.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25452.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25450.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25445.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25444.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25442.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25437.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25436.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25433.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25427.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25426.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25422.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25420.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25419.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25248.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25233.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc25223.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24830.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24829.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24828.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24827.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24816.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/spear/inn_v2.4.3/innfeed_imapfeed_vc24810.smt2 (content) ok ok 0.157s