detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8425816376318890471.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8422978055391242487.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8422803000939165898.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8422379381421025674.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8421677596136214588.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8417519765525455894.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8414160736881523657.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8413755334278480147.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8413394027636850458.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt841264473980197708.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8412607125903524328.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8408850492032284903.smt2 (content) ok ok 0.283s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8404874038250552416.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8403090184480588720.smt2 (content) ok ok 0.296s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8402962921195714249.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8401767501051944893.smt2 (content) ok ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8397081929538995814.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8395195930218429407.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8393433261455365816.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8392977258132852910.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8392630768111903911.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8392344886271570289.smt2 (content) ok ok 0.254s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8383976709925281835.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt838320263759312599.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8378780692392583032.smt2 (content) ok ok 0.154s