detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3260049637010087534.smt2 (content) ok ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3256388432325131999.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3254429988154195707.smt2 (content) ok ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3250553170672424413.smt2 (content) ok ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3246784154526399816.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3240388273278777528.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3237745467365525070.smt2 (content) ok ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3232157192874712219.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3230198085037950896.smt2 (content) ok ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3227769294768964401.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3224092172594859458.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3221706931296612067.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3221526887094998956.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt321311380194913942.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3212123273213293597.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3209184030318815765.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3209153943748102138.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3208359757772534004.smt2 (content) ok ok 0.299s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3207168868957553901.smt2 (content) ok ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3206214362853921959.smt2 (content) ok ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3203794132813009646.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3202805353804566784.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3200528185729272188.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3199839445334716734.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt3198434344153553831.smt2 (content) ok ok 0.293s