root
file
detailed [16825..16849]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1707357874022860235.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1705031884349832005.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1703725045934924777.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1701644055556212792.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1701469520431276960.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1700905897068632199.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1698635312226909992.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt169715313540753745.smt2
(content)
ok
ok
0.108s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt16954071227672676.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1695051411951215049.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1694581016060430945.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1694395770688295232.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1692552618156290816.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1692021106908842886.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1687255336582796760.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1686887719881088002.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1682968173857036222.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1680693701590324437.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1677592531241513097.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1674704188309041099.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1672657393280478411.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1671811587831270722.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1670093151766675844.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt166962401924695243.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1666846330395941214.smt2
(content)
ok
ok
0.079s