root
file
detailed [5325..5349]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8150833329385415259.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8148677656429052494.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8144814965810222087.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8132095949637221325.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8124390017968867558.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8122530545130362197.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt812244035624400312.smt2
(content)
ok
ok
0.219s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8122371476660543948.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8121434489326344739.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8121310090622100765.smt2
(content)
ok
ok
0.231s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8119191852999016126.smt2
(content)
ok
ok
0.206s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8116398132646228770.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8116001858200417643.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8115983254183446757.smt2
(content)
ok
ok
0.094s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8115625129608730224.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8113438910441120883.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt810677037060948758.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8102831563216098304.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8100595983957127697.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt80978482681171323.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8097830786052600310.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8097522514077382637.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8096054554975154796.smt2
(content)
ok
ok
0.207s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8095036089843707345.smt2
(content)
ok
ok
0.244s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8088057863687524520.smt2
(content)
ok
ok
0.123s