root
file
detailed [1200..1224]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3749615036515280858.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3746965718964479816.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3743986271300096455.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3741208169699049213.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3737399667259649700.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3735500867849709561.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3730293232376220491.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3729982277127063104.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3728731958137717864.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3728688881079762657.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3724137004328808303.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt372205048262358990.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3721506432740365580.smt2
(content)
ok
ok
0.158s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt371612414412868921.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3713369358877078193.smt2
(content)
ok
ok
0.170s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3706876155593555652.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3705688776235030600.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3702040692546739490.smt2
(content)
ok
ok
0.114s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3696567545984296619.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3695973768433802661.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3694704221258158797.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3690588025361621530.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3686239372384644867.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3684033757850075218.smt2
(content)
ok
ok
0.201s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3683496817486840701.smt2
(content)
ok
ok
0.118s