root
file
detailed [17075..17099]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2292552442657522179.smt2
(content)
ok
ok
0.215s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2290983429237396415.smt2
(content)
ok
ok
0.289s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2283324634047097920.smt2
(content)
ok
ok
0.224s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2276948143471267154.smt2
(content)
ok
ok
0.286s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2272782133795208997.smt2
(content)
ok
ok
0.233s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2272272411617405599.smt2
(content)
ok
ok
0.298s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2271473672508220562.smt2
(content)
ok
ok
0.154s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2269841425354882250.smt2
(content)
ok
ok
0.207s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2266117778847880444.smt2
(content)
ok
ok
0.278s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2263194631175294464.smt2
(content)
ok
ok
0.185s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2262129491849406136.smt2
(content)
ok
ok
0.157s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2259421309098882127.smt2
(content)
ok
ok
0.224s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2255740563793088748.smt2
(content)
ok
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2255324810886492116.smt2
(content)
ok
ok
0.144s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252867488016605350.smt2
(content)
ok
ok
0.138s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252734838402210855.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2252106606676930406.smt2
(content)
ok
ok
0.295s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2249441891439035139.smt2
(content)
ok
ok
0.145s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt224693261076556381.smt2
(content)
ok
ok
0.217s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2244675649143676612.smt2
(content)
ok
ok
0.167s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt224453758914879792.smt2
(content)
ok
ok
0.162s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2243138228996438809.smt2
(content)
ok
ok
0.160s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt224183427884507976.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2241704128227128250.smt2
(content)
ok
ok
0.207s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2240465006822259718.smt2
(content)
ok
ok
0.226s