root
file
detailed
prev
next
detailed results (331 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-3.smt2
(content)
fatal
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-2.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-1.smt2
(content)
fatal
ok
0.088s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateKojak/s3_clnt.blast.04_true-unreach-call.i.cil.c.prep.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateKojak/s3_clnt.blast.03_true-unreach-call.i.cil.c.prep.smt2
(content)
fatal
ok
0.094s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateKojak/s3_clnt.blast.02_true-unreach-call.i.cil.c.prep.smt2
(content)
fatal
ok
0.135s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateKojak/s3_clnt.blast.01_true-unreach-call.i.cil.c.prep.smt2
(content)
fatal
ok
0.095s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.16_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.185s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.15_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.14_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.089s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.13_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.12_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.174s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.10_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.096s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.09_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.131s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.08_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.100s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.07_true-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.103s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.07_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.144s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.06_true-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.125s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.06_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.101s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.04_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.137s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.03_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.02_true-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.092s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.02_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.01_false-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.137s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_clnt.blast.03_true-unreach-call.i.cil.c.smt2
(content)
fatal
ok
0.141s