detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABV/2019-Mann/ridecore-inc-qf_abv-bug.smt2 (content) timout ok 2m0.3s
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
dolmen-strict /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental3.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental2.smt2 (content) ok ok 0.475s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental1.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LRA/20160930-Kopczynski-LOIS/incremental0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/gcd1_true-termination.c.smt2 (content) ok ok 0.328s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c.smt2 (content) ok ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c.smt2 (content) ok ok 0.398s