detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/nested6_true-unreach-call.i_7.smt2 (content) ok ok 0.082s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_798.smt2 (content) ok ok 0.073s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_678.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_673.smt2 (content) ok ok 0.068s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_671.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_670.smt2 (content) ok ok 0.079s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_657.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_597.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_297.smt2 (content) ok ok 0.105s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_276.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_237.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_2317.smt2 (content) ok ok 0.076s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_2207.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_187.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_1657.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/Primes_true-unreach-call.c_127.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_7.smt2 (content) ok ok 0.071s
dolmen /home/guillaume/bench/smtlib/BV/2017-Preiner-UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_17.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0011.fof.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0001.fof.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0039.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0038.fof.smt2 (content) ok ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0037.fof.smt2 (content) ok ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0036.fof.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0032.fof.smt2 (content) ok ok 0.037s