detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-9.smt2-1.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-8.smt2-1.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-5.smt2-3.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-5.smt2-2.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-5.smt2-1.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-4.smt2-3.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-4.smt2-2.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-4.smt2-1.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-22.smt2-3.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-22.smt2-2.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-22.smt2-1.smt2 (content) ok ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-20.smt2-3.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-20.smt2-2.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-20.smt2-1.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-2.smt2-3.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-2.smt2-2.smt2 (content) ok ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-2.smt2-1.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-19.smt2-3.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-19.smt2-2.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-19.smt2-1.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-18.smt2-3.smt2 (content) ok ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-18.smt2-2.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-18.smt2-1.smt2 (content) ok ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-17.smt2-3.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ForElimination.scala-17.smt2-2.smt2 (content) ok ok 0.228s