detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1520268918360071878.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1516392771854210773.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1515269162873047075.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1514902022308493567.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1514597137049163674.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1514353444141411009.smt2 (content) ok ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt1513639659662908450.smt2 (content) ok ok 0.217s
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