root
file
detailed [15825..15849]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree115.smt2
(content)
ok
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree114.smt2
(content)
ok
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree113.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree112.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree111.smt2
(content)
ok
ok
0.244s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree110.smt2
(content)
ok
ok
0.234s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree11.smt2
(content)
ok
ok
0.242s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree109.smt2
(content)
ok
ok
0.265s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree108.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree107.smt2
(content)
ok
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree106.smt2
(content)
ok
ok
0.242s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree105.smt2
(content)
ok
ok
0.239s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree104.smt2
(content)
ok
ok
0.314s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree103.smt2
(content)
ok
ok
0.246s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree102.smt2
(content)
ok
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree101.smt2
(content)
ok
ok
0.245s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree100.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree10.smt2
(content)
ok
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/agreement/agree1.smt2
(content)
ok
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-99.smt2
(content)
ok
ok
0.298s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-98.smt2
(content)
ok
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-97.smt2
(content)
ok
ok
0.221s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-96.smt2
(content)
ok
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-95.smt2
(content)
ok
ok
0.297s
dolmen-strict
/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-94.smt2
(content)
ok
ok
0.153s