detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-85.smt2-1.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-84.smt2-3.smt2 (content) ok ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-84.smt2-2.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-84.smt2-1.smt2 (content) ok ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-83.smt2-3.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-83.smt2-2.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-83.smt2-1.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-82.smt2-3.smt2 (content) ok ok 0.301s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-82.smt2-2.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-82.smt2-1.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-81.smt2-3.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-81.smt2-2.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-81.smt2-1.smt2 (content) ok ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-80.smt2-3.smt2 (content) ok ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-80.smt2-2.smt2 (content) ok ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-80.smt2-1.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-79.smt2-3.smt2 (content) ok ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-79.smt2-2.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-79.smt2-1.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-78.smt2-1.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-76.smt2-3.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-76.smt2-2.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-76.smt2-1.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-73.smt2-3.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-without_inducts.scala-73.smt2-2.smt2 (content) ok ok 0.237s