root
file
detailed [50..74]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
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