root
file
detailed [15075..15099]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt569177694783745639.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5691593230116064850.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5689164374594908824.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5688873693526958931.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5685105500145984710.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5685045625398484169.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5682467475713258801.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5682053414797264472.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5681482998700402784.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5675023158521513811.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5668904907191610665.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5668167621465795107.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5667198198848286150.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5665382695774154284.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5662206641645768581.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5661823436326487350.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5659612286948138972.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5659330507399205750.smt2
(content)
ok
ok
0.085s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5653489907865625538.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5650365487777996660.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5648109152079451994.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5648034570497449633.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5646527064861284505.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5643868636590393522.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5642850139476295600.smt2
(content)
ok
ok
0.122s