detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_46582a.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_408ff0.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_3031c9.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_22b1f2.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_174f4d.smt2 (content) ok ok 0.013s
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