detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5682053414797264472.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5681482998700402784.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5675023158521513811.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5668904907191610665.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5668167621465795107.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5667198198848286150.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5665382695774154284.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5662206641645768581.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5661823436326487350.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5659612286948138972.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5659330507399205750.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5653489907865625538.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5650365487777996660.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5648109152079451994.smt2 (content) ok ok 0.362s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5648034570497449633.smt2 (content) ok ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5646527064861284505.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5643868636590393522.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5642850139476295600.smt2 (content) ok ok 0.282s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5637186659511567332.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5636386515426929345.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5629773378244684512.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5628011185562541793.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5614368823527638659.smt2 (content) ok ok 0.285s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5611782247512566570.smt2 (content) ok ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5606104983044708714.smt2 (content) ok ok 0.223s