detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_13f61c.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00015_001.cvc.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00014_001.cvc.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00013_001.cvc.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00012_001.cvc.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00011_001.cvc.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00010_001.cvc.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00009_001.cvc.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00008_001.cvc.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00007_001.cvc.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00006_001.cvc.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00005_001.cvc.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00004_001.cvc.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00003_001.cvc.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00002_001.cvc.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00001_001.cvc.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00015_001.cvc.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00014_001.cvc.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00013_001.cvc.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00012_001.cvc.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00011_001.cvc.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00010_001.cvc.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00009_001.cvc.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00008_001.cvc.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00007_001.cvc.smt2 (content) ok ok 0.051s