root
file
detailed [17925..17949]
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/smt4329617400800641870.smt2
(content)
ok
ok
0.212s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4327343499798430515.smt2
(content)
ok
ok
0.158s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4325874147213802871.smt2
(content)
ok
ok
0.229s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4322886619350589974.smt2
(content)
ok
ok
0.286s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt432018247185091039.smt2
(content)
ok
ok
0.215s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4317078462550106150.smt2
(content)
ok
ok
0.213s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4315016330991767716.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4313234214169137745.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4312964850797346115.smt2
(content)
ok
ok
0.216s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4311391195430732252.smt2
(content)
ok
ok
0.225s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4310888569041237574.smt2
(content)
ok
ok
0.284s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4309460103032619229.smt2
(content)
ok
ok
0.153s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4307202269893569667.smt2
(content)
ok
ok
0.247s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4303781975994432462.smt2
(content)
ok
ok
0.148s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4302985392525404124.smt2
(content)
ok
ok
0.154s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4296268539671348259.smt2
(content)
ok
ok
0.159s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4294225913163362684.smt2
(content)
ok
ok
0.219s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4292802211692600552.smt2
(content)
ok
ok
0.210s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4290687119173185122.smt2
(content)
ok
ok
0.216s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4290356258583326438.smt2
(content)
ok
ok
0.300s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4286142898153925064.smt2
(content)
ok
ok
0.156s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4281658038604808204.smt2
(content)
ok
ok
0.174s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4281117349896858326.smt2
(content)
ok
ok
0.300s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4279530513783974600.smt2
(content)
ok
ok
0.298s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4273506479193866971.smt2
(content)
ok
ok
0.140s