root
file
detailed [16750..16774]
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/smt1509844919497134440.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1507583398221864184.smt2
(content)
ok
ok
0.213s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1505502493730121721.smt2
(content)
ok
ok
0.220s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1501167899169655322.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1499901844172292312.smt2
(content)
ok
ok
0.146s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1499559122474231735.smt2
(content)
ok
ok
0.150s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1496603927358080181.smt2
(content)
ok
ok
0.155s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1496320414241046551.smt2
(content)
ok
ok
0.299s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1496099679777799948.smt2
(content)
ok
ok
0.141s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1495864552517540831.smt2
(content)
ok
ok
0.149s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1494048928674267118.smt2
(content)
ok
ok
0.149s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1493633193796376895.smt2
(content)
ok
ok
0.178s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1487700405104224559.smt2
(content)
ok
ok
0.226s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1483937066697314329.smt2
(content)
ok
ok
0.153s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1481896474875423539.smt2
(content)
ok
ok
0.290s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt147642301581579861.smt2
(content)
ok
ok
0.296s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1475931449709928738.smt2
(content)
ok
ok
0.220s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1475390850607108593.smt2
(content)
ok
ok
0.214s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1475061707248424549.smt2
(content)
ok
ok
0.299s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1473943026595198322.smt2
(content)
ok
ok
0.220s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt147333226393671.smt2
(content)
ok
ok
0.231s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1473202208079633170.smt2
(content)
ok
ok
0.228s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt147187044841877843.smt2
(content)
ok
ok
0.297s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1466476118461907436.smt2
(content)
ok
ok
0.211s
dolmen-strict
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1465468599864549351.smt2
(content)
ok
ok
0.226s