root
file
detailed [14175..14199]
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-scholl-smt08/RNDPRE/RNDPRE_3_7.smt2
(content)
ok
ok
0.074s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_60.smt2
(content)
ok
ok
0.103s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_6.smt2
(content)
ok
ok
0.072s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_59.smt2
(content)
ok
ok
0.103s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_58.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_57.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_56.smt2
(content)
ok
ok
0.103s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_55.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_54.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_53.smt2
(content)
ok
ok
0.072s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_52.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_51.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_50.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_5.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_49.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_48.smt2
(content)
ok
ok
0.071s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_47.smt2
(content)
ok
ok
0.099s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_46.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_45.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_44.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_43.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_42.smt2
(content)
ok
ok
0.070s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_41.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_40.smt2
(content)
ok
ok
0.101s
dolmen
/home/guillaume/bench/smtlib/BV/2017-Preiner-scholl-smt08/RNDPRE/RNDPRE_3_4.smt2
(content)
ok
ok
0.071s