detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4406766600490823320.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4404187290435275754.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397720144577724244.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397655715181437455.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4397470162097679099.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4396697657121706542.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4396629543611057543.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt439639380651239532.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4395038952346533059.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4392115129312913193.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4391808662368180273.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4390559643516975898.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4386301812621601976.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4385621562462540233.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4382078771555324091.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4379738227539420572.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4374845252649689063.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4369500274714442763.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4366532392238030007.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt436616550992302357.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4365346012791417673.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4362316696884119547.smt2 (content) ok ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4358443624141421050.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4353140174309455243.smt2 (content) ok ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt435085202794327570.smt2 (content) ok ok 0.215s