root
file
detailed [13900..13924]
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-psyco/015.smt2
(content)
ok
ok
0.105s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/014.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/013.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/012.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/011.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/010.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/009.smt2
(content)
ok
ok
0.096s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/008.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/007.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/006.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/005.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/004.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/003.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/002.smt2
(content)
ok
ok
0.069s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-psyco/001.smt2
(content)
ok
ok
0.072s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_876.smt2
(content)
ok
ok
0.067s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_874.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_847.smt2
(content)
ok
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_73.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_597.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_557.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3872.smt2
(content)
ok
ok
0.064s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_367.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3227.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_287.smt2
(content)
ok
ok
0.073s