detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.609936.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.609556.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.608910.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-SumAndMax.scala-10.smt2 (content) fatal ok 0.420s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-Prime.scala-1.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/wo_fd_vcs/2.5-cvc4-ListOperations.scala-16.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-TwoSizeFunctions.scala-4.smt2-3.smt2 (content) fatal ok 0.299s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-TwoSizeFunctions.scala-4.smt2-2.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-TwoSizeFunctions.scala-4.smt2-1.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-3.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-2.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-Prime.scala-2.smt2-1.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-ListOperations.scala-16.smt2-2.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-ListOperations.scala-16.smt2-1.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-ListOperations.scala-10.smt2-3.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-ListOperations.scala-10.smt2-2.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo/mutant_wo_fd_vcs/2.5-cvc4-ListOperations.scala-10.smt2-1.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SumAndMax.scala-7.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SumAndMax.scala-10.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SecondsToTime.scala-8.smt2 (content) fatal ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SecondsToTime.scala-5.smt2 (content) fatal ok 0.295s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SecondsToTime.scala-3.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-SecondsToTime.scala-1.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/wo_fd_vcs_wdf/2.5-cvc4-ListOperations.scala-16.smt2 (content) fatal ok 0.154s