root
file
detailed [9050..9074]
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/swimmingpool_4.ec.smt2
(content)
ok
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_3.ec.smt2
(content)
ok
ok
0.184s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_2.ec.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_1_e7_1621.ec.smt2
(content)
warn
ok
0.193s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/swimmingpool_1.ec.smt2
(content)
warn
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e8_21449_e5_18210.ec.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/steam_boiler_no_arr2_e1_17214_e5_18600.ec.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark_e8_64_e8_207.ec.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark_e8_64_e7_80.ec.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark_e8_48.ec.smt2
(content)
ok
ok
0.091s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark_e7_76.ec.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark_e7_27_e7_31.ec.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/stalmark.ec.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/speed_e8_649_e7_709.ec.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/speed_e8_649.ec.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/speed_e7_492.ec.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/speed_e7_207_e8_507.ec.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/speed_e7_207_e7_538.ec.smt2
(content)
ok
ok
0.094s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_vt.ec.smt2
(content)
ok
ok
0.365s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_all_e7_2500.ec.smt2
(content)
ok
ok
0.613s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_all.ec.smt2
(content)
ok
ok
0.143s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_9.ec.smt2
(content)
ok
ok
0.106s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_8.ec.smt2
(content)
ok
ok
0.104s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_7.ec.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/rtp_6.ec.smt2
(content)
ok
ok
0.142s