detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8494184255845500339.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8492991991325718321.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8489297561607306971.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8486293241174360032.smt2 (content) ok ok 0.248s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485752574996462099.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8485538043455214764.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8478527148273126145.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8472853180806395544.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471778130142574800.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8471254732275803995.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469316685144620162.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8469194059867665498.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8468032217917886259.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8466284514793256686.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt84651356209501765.smt2 (content) ok ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8462157437485023694.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8461506944537887385.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8452421561151970046.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8448225891155768703.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt843708701989948034.smt2 (content) ok ok 0.284s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8437008634512054354.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8436420869585491305.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8435675515309755617.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8435487060105814500.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8433153915388134342.smt2 (content) ok ok 0.283s