detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00006_001.cvc.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00005_001.cvc.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00004_001.cvc.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00003_001.cvc.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00002_001.cvc.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00001_001.cvc.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/cvc/read2.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/cvc/pp-dmem2.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/cvc/pp-dmem-a.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/cvc/pp-bloaddata.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/cvc/pp-bloaddata-a.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-mutex-5.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-mutex-20.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-mutex-15.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-mutex-10.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug2-20.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug2-15.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug2-10.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-5.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-20.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-15.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-10.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-5.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-20.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-15.smt2 (content) ok ok 0.093s