detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-99.smt2 (content) ok ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-98.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-97.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-96.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-95.smt2 (content) ok ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-94.smt2 (content) ok ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-93.smt2 (content) ok ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-92.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-91.smt2 (content) ok ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-90.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-89.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-88.smt2 (content) ok ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-87.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-86.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-85.smt2 (content) ok ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-84.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-83.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-82.smt2 (content) ok ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-81.smt2 (content) ok ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-80.smt2 (content) ok ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-79.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-78.smt2 (content) ok ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-77.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-76.smt2 (content) ok ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-without_inducts.scala-73.smt2 (content) ok ok 0.219s