root
file
detailed [15025..15049]
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/smt5574423584191532554.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5572143741097111530.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5570434079662959769.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5565588064676977552.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5556330926110888586.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5555108660672182301.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt554981978782538061.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5549673222347466667.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5546398273752692052.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5546317059133898510.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5543192445171071427.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt554266438401114283.smt2
(content)
ok
ok
0.079s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5538565430924857001.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5536435916062976567.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5535024441001047054.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5528329247183164109.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5528263170129251869.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5528103774414173689.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5525098686066132281.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5520273463770067470.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5518652373235759059.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5516174431673777087.smt2
(content)
ok
ok
0.080s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5515577682064355771.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5514092837020747208.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5514047608445974912.smt2
(content)
ok
ok
0.076s