detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/ridecore-inc-qf_abv-bug.smt2 (content) timout ok 2m0.1s
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
dolmen /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental3.smt2 (content) ok ok 0.272s
dolmen /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental2.smt2 (content) ok ok 0.372s
dolmen /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental1.smt2 (content) ok ok 0.169s
dolmen /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental0.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/gcd1_true-termination.c.smt2 (content) ok ok 0.295s
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c.smt2 (content) ok ok 0.218s
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c.smt2 (content) ok ok 0.261s
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c.smt2 (content) ok ok 0.192s