root
file
detailed [26900..26924]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_597.smt2
(content)
ok
ok
0.166s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_557.smt2
(content)
ok
ok
0.118s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3872.smt2
(content)
ok
ok
0.164s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_367.smt2
(content)
ok
ok
0.112s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3227.smt2
(content)
ok
ok
0.116s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_287.smt2
(content)
ok
ok
0.119s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_278.smt2
(content)
ok
ok
0.125s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2746.smt2
(content)
ok
ok
0.128s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2715.smt2
(content)
ok
ok
0.123s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2175.smt2
(content)
ok
ok
0.114s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2147.smt2
(content)
ok
ok
0.168s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1757.smt2
(content)
ok
ok
0.125s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1735.smt2
(content)
ok
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1478.smt2
(content)
ok
ok
0.112s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_947.smt2
(content)
ok
ok
0.163s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_927.smt2
(content)
ok
ok
0.176s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_887.smt2
(content)
ok
ok
0.186s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_870.smt2
(content)
ok
ok
0.126s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_817.smt2
(content)
ok
ok
0.193s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_807.smt2
(content)
ok
ok
0.112s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_788.smt2
(content)
ok
ok
0.187s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_785.smt2
(content)
ok
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_780.smt2
(content)
ok
ok
0.119s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_775.smt2
(content)
ok
ok
0.238s
dolmen-strict
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_766.smt2
(content)
ok
ok
0.226s