root
file
detailed [200..224]
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_all_e1_1207_e1_1201.ec.smt2
(content)
fatal
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_all_e1_1207.ec.smt2
(content)
fatal
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_all.ec.smt2
(content)
fatal
ok
0.336s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e4_897.ec.smt2
(content)
fatal
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e2_2812.ec.smt2
(content)
fatal
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e3_314_e1_1979.ec.smt2
(content)
fatal
ok
0.227s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2952.ec.smt2
(content)
fatal
ok
0.310s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e7_2614.ec.smt2
(content)
fatal
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e3_2542.ec.smt2
(content)
fatal
ok
0.158s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e2_2689.ec.smt2
(content)
fatal
ok
0.242s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e2_2086_e1_3235.ec.smt2
(content)
fatal
ok
0.157s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e7_906.ec.smt2
(content)
fatal
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e3_2970.ec.smt2
(content)
fatal
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e2_2392.ec.smt2
(content)
fatal
ok
0.170s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_3233_e1_3123.ec.smt2
(content)
fatal
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3_e1_195.ec.smt2
(content)
fatal
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_a3.ec.smt2
(content)
fatal
ok
0.170s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_9_e7_170_e3_3647.ec.smt2
(content)
fatal
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e7_3568.ec.smt2
(content)
fatal
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e5_3248.ec.smt2
(content)
fatal
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e4_1464.ec.smt2
(content)
fatal
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e3_422.ec.smt2
(content)
fatal
ok
0.169s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e2_1923.ec.smt2
(content)
fatal
ok
0.151s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511_e1_2375.ec.smt2
(content)
fatal
ok
0.167s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_4_e3_3511.ec.smt2
(content)
fatal
ok
0.167s