detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2838583231081005890.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2838391651139478790.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2833472545950358389.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2831745570502299883.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2831037351241848442.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2828612721255048457.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2826681551269726942.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2825131174725254844.smt2 (content) ok ok 0.283s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2823771802373958784.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2820870915037033116.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2818212072298034815.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2817836648725864322.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2817565967022770214.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2815096049512593344.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2813909872176534744.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2813347064883110604.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2813284275515527040.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2807781813627464076.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2797911270481057752.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2790173537973674944.smt2 (content) ok ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2784214842093260083.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2781304933530360934.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2781069385134458915.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2776994045312010564.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2776839524379824475.smt2 (content) ok ok 0.146s