root
file
detailed [3675..3699]
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/smt3849844051417415002.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3847569684540362426.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3846518734287114466.smt2
(content)
ok
ok
0.167s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3842065253482434564.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3839574174608387027.smt2
(content)
ok
ok
0.102s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3834103972384347918.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831606569552854396.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831472737192713275.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3831182600385873193.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3824683206604740493.smt2
(content)
ok
ok
0.153s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3821219509484327065.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt381913016975597559.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3816917006742544373.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3816823999281276747.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3814395169389039830.smt2
(content)
ok
ok
0.213s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3812759814701466149.smt2
(content)
ok
ok
0.098s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt381193304133222081.smt2
(content)
ok
ok
0.169s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3806861003967363068.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt380287508906318396.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3793100985651008744.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3790917423929474672.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3788605229083931020.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3787735105821395094.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3783104946343738938.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3782061170536783635.smt2
(content)
ok
ok
0.123s