root
file
detailed [9025..9049]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_5_e7_3972.ec.smt2
(content)
ok
ok
0.596s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_5.ec.smt2
(content)
ok
ok
0.106s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_4.ec.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_3.ec.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_2.ec.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_10_e7_106_e7_2564.ec.smt2
(content)
ok
ok
0.667s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_10.ec.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_1.ec.smt2
(content)
ok
ok
0.140s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/readwrit.ec.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_792.ec.smt2
(content)
ok
ok
0.484s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e8_427.ec.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e8_6_e7_651.ec.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e8_241.ec.smt2
(content)
ok
ok
0.446s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207_e7_41.ec.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/production_cell_e7_207.ec.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_vt.ec.smt2
(content)
warn
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_all.ec.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_4.ec.smt2
(content)
ok
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_3.ec.smt2
(content)
ok
ok
0.177s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_2.ec.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1_e7_4234.ec.smt2
(content)
ok
ok
0.644s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/peterson_1.ec.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave40.ec.smt2
(content)
warn
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave39.ec.smt2
(content)
warn
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/microwave38.ec.smt2
(content)
warn
ok
0.146s