detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_182.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c_175.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3038.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3029.smt2 (content) fatal ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3028.smt2 (content) fatal ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3027.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3026.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3025.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3024.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3023.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3022.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_3021.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_2067.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_2065.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_2063.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/BVFP/20170501-Heizmann-UltimateAutomizer/bary_diverge_true-unreach-call.c_1264.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.956068.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.955738.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.952008.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.951745.smt2 (content) fatal ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.951243.smt2 (content) fatal ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.947473.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.944582.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.926730.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.923360.smt2 (content) fatal ok 0.100s