detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019B/marlann_compute_fail1_QF_ABV.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutCY_QF_ABV.smt2 (content) ok ok 0.633s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutCX_QF_ABV.smt2 (content) ok ok 0.797s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutBY_QF_ABV.smt2 (content) ok ok 0.635s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutBX_QF_ABV.smt2 (content) ok ok 0.875s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutAY_QF_ABV.smt2 (content) ok ok 0.632s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Wolf-fmbench/2019A/picorv32_mutAX_QF_ABV.smt2 (content) ok ok 0.714s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/shared_linked_list_fifo_bmc13.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/shared_linked_list_fifo_bmc-inc15.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-zipmmu-unrolled.smt2 (content) ok ok 0.567s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-pfcache-unrolled.smt2 (content) ok ok 1.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/zipcpu-busdelay-unrolled.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/ponylink-slaveTXlen-unsat-unrolled.smt2 (content) ok ok 4.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/ponylink-slaveTXlen-sat-unrolled.smt2 (content) ok ok 4.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/picorv32-pcregs-unrolled.smt2 (content) ok ok 0.555s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/picorv32-check-unrolled.smt2 (content) ok ok 0.556s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-30-unrolled.smt2 (content) ok ok 0.479s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-20-unrolled.smt2 (content) ok ok 0.405s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Wolf-fmbench/VexRiscv-regch0-15-unrolled.smt2 (content) ok ok 0.395s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/fifo_array_data_integrity_w8d8b30.smt2 (content) ok ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/fifo_array_data_integrity_w8d8b10.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_data_integrity_n4q8w8d8b30.smt2 (content) ok ok 0.404s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_data_integrity_n4q8w8d8b10.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2018-Mann/arbiter_array_cex_w32d32q16n4b34.smt2 (content) ok ok 0.482s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental4.smt2 (content) ok ok 2.2s