root
file
detailed [175..199]
prev
next
detailed results (8452 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4.ec.smt2
(content)
fatal
ok
0.153s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e7_1776_e2_3202.ec.smt2
(content)
fatal
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e3_151_e3_1540.ec.smt2
(content)
fatal
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e2_3244_e3_1305.ec.smt2
(content)
fatal
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e7_1817.ec.smt2
(content)
fatal
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e3_2660.ec.smt2
(content)
fatal
ok
0.224s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099_e1_3277.ec.smt2
(content)
fatal
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2_e1_3099.ec.smt2
(content)
fatal
ok
0.157s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_2.ec.smt2
(content)
fatal
ok
0.167s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e7_1119.ec.smt2
(content)
fatal
ok
0.327s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e3_389.ec.smt2
(content)
fatal
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e2_1853.ec.smt2
(content)
fatal
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092_e1_1486.ec.smt2
(content)
fatal
ok
0.319s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1_e1_1092.ec.smt2
(content)
fatal
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_11_e3_2076_e1_1270.ec.smt2
(content)
fatal
ok
0.241s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_1.ec.smt2
(content)
fatal
ok
0.150s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e7_4065.ec.smt2
(content)
fatal
ok
0.152s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_5957.ec.smt2
(content)
fatal
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e2_1089.ec.smt2
(content)
fatal
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e3_4821_e1_1318.ec.smt2
(content)
fatal
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e7_5856.ec.smt2
(content)
fatal
ok
0.169s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e3_2607.ec.smt2
(content)
fatal
ok
0.153s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104_e2_3308.ec.smt2
(content)
fatal
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e2_6104.ec.smt2
(content)
fatal
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_all_e1_4037.ec.smt2
(content)
fatal
ok
0.158s