detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4745522582300135449.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4738796021146294883.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4737938535794481206.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4735223418003263597.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4731945372816848326.smt2 (content) ok ok 0.377s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4730740832853040726.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4730553970254739362.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4727773329422649441.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4727694940405406976.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4722826537684833469.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4720374251599641538.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4718807506334624038.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4718747515535524847.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt471858597368820142.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4715744850174986027.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4712973076706239536.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4712627762462474675.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4707607557951181539.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4707316134673980212.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4702327136655876620.smt2 (content) ok ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4697313379055574374.smt2 (content) ok ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4696576625617609017.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4696038454699469549.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4694811383446065058.smt2 (content) ok ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4694095012485450369.smt2 (content) ok ok 0.143s