root
file
detailed [4500..4524]
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/smt5971127120865123785.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt597034381381483378.smt2
(content)
ok
ok
0.175s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt596392061327500336.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5962356685149636535.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960616086361452481.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960541728598911097.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5960435926995203310.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5950358136244635539.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5947415821119781997.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5946382753343446256.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5939188342885389719.smt2
(content)
ok
ok
0.174s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5938724647020374197.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5936311447054686414.smt2
(content)
ok
ok
0.167s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5936218559030368219.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5934512351361542777.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5932798221671213523.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5931848958908398972.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5931253389265687509.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5926620856798796184.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5920364694953344910.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5913675913092339062.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5912815688738204337.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5907527023290641156.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5907409374037622784.smt2
(content)
ok
ok
0.207s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5899800614173231858.smt2
(content)
ok
ok
0.120s