root
file
detailed [325..349]
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/PRODUCER_CONSUMER_vt_e2_1352.ec.smt2
(content)
fatal
ok
0.312s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_vt.ec.smt2
(content)
fatal
ok
0.165s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_all.ec.smt2
(content)
fatal
ok
0.157s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/PRODUCER_CONSUMER_3.ec.smt2
(content)
fatal
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all_e3_2032_e3_2788.ec.smt2
(content)
fatal
ok
0.231s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_all.ec.smt2
(content)
fatal
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e8_2138.ec.smt2
(content)
fatal
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e7_961.ec.smt2
(content)
fatal
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e3_1758.ec.smt2
(content)
fatal
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926_e1_1065.ec.smt2
(content)
fatal
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e8_926.ec.smt2
(content)
fatal
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e8_2590.ec.smt2
(content)
fatal
ok
0.161s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2910_e7_1804.ec.smt2
(content)
fatal
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e7_2607.ec.smt2
(content)
fatal
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e7_619.ec.smt2
(content)
fatal
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e5_1826.ec.smt2
(content)
fatal
ok
0.154s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e4_578.ec.smt2
(content)
fatal
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e3_2294.ec.smt2
(content)
fatal
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e2_2421.ec.smt2
(content)
fatal
ok
0.239s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929_e1_2319.ec.smt2
(content)
fatal
ok
0.164s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e3_929.ec.smt2
(content)
fatal
ok
0.167s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e7_1597.ec.smt2
(content)
fatal
ok
0.166s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e3_1658.ec.smt2
(content)
fatal
ok
0.224s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e2_1815.ec.smt2
(content)
fatal
ok
0.160s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/MOESI_2_e2_1599_e1_2383.ec.smt2
(content)
fatal
ok
0.151s