root
file
detailed [13875..13899]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_278.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2746.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2715.smt2
(content)
ok
ok
0.062s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2175.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2147.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1757.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1735.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1478.smt2
(content)
ok
ok
0.068s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_947.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_927.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_887.smt2
(content)
ok
ok
0.100s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_870.smt2
(content)
ok
ok
0.072s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_817.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_807.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_788.smt2
(content)
ok
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_785.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_780.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_775.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_766.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_763.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_762.smt2
(content)
ok
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_755.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_753.smt2
(content)
ok
ok
0.068s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_751.smt2
(content)
ok
ok
0.069s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested9_true-unreach-call.i_746.smt2
(content)
ok
ok
0.081s