detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019B/marlann_compute_fail1_QF_ABV.smt2 (content) ok ok 0.192s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutCY_QF_ABV.smt2 (content) ok ok 0.585s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutCX_QF_ABV.smt2 (content) ok ok 0.775s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutBY_QF_ABV.smt2 (content) ok ok 0.592s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutBX_QF_ABV.smt2 (content) ok ok 0.749s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutAY_QF_ABV.smt2 (content) ok ok 0.498s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutAX_QF_ABV.smt2 (content) ok ok 0.647s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/shared_linked_list_fifo_bmc13.smt2 (content) ok ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/shared_linked_list_fifo_bmc-inc15.smt2 (content) ok ok 0.224s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-zipmmu-unrolled.smt2 (content) ok ok 0.465s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-pfcache-unrolled.smt2 (content) ok ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-busdelay-unrolled.smt2 (content) ok ok 0.914s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/ponylink-slaveTXlen-unsat-unrolled.smt2 (content) ok ok 4.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/ponylink-slaveTXlen-sat-unrolled.smt2 (content) ok ok 4.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/picorv32-pcregs-unrolled.smt2 (content) ok ok 0.428s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/picorv32-check-unrolled.smt2 (content) ok ok 0.484s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-30-unrolled.smt2 (content) ok ok 0.378s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-20-unrolled.smt2 (content) ok ok 0.271s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-15-unrolled.smt2 (content) ok ok 0.229s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/fifo_array_data_integrity_w8d8b30.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/fifo_array_data_integrity_w8d8b10.smt2 (content) ok ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_data_integrity_n4q8w8d8b30.smt2 (content) ok ok 0.335s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_data_integrity_n4q8w8d8b10.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_cex_w32d32q16n4b34.smt2 (content) ok ok 0.344s
dolmen /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental4.smt2 (content) ok ok 2.2s