Instances of family mqm solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000017UNSAT0.02
Umbrella_tbm_05.tex.module.000065UNSAT0.03
Umbrella_tbm_24.tex.module.000103UNSAT0.05
Umbrella_tbm_05.tex.module.000079UNSAT0.06
Core1108_tbm_21.tex.module.000027UNSAT0.06
Umbrella_tbm_24.tex.module.000066UNSAT0.06
Umbrella_tbm_29.tex.module.000009UNSAT0.08
Core1108_tbm_21.tex.module.000091UNSAT0.08
Umbrella_tbm_29.tex.module.000010UNSAT0.08
Umbrella_tbm_05.tex.module.000088UNSAT0.08
Umbrella_tbm_29.tex.module.000078UNSAT0.08
Umbrella_tbm_05.tex.module.000053UNSAT0.09
Core1108_tbm_09.tex.module.000028UNSAT0.09
Core1108_tbm_03.tex.module.000037UNSAT0.09
Umbrella_tbm_05.tex.module.000064UNSAT0.09
Core1108_tbm_21.tex.module.000026UNSAT0.09
Umbrella_tbm_05.tex.module.000030UNSAT0.1
Core1108_tbm_21.tex.module.000009UNSAT0.1
Core1108_tbm_21.tex.module.000008UNSAT0.1
Core1108_tbm_03.tex.module.000023UNSAT0.1
Core1108_tbm_09.tex.module.000010UNSAT0.1
Core1108_tbm_09.tex.module.000008UNSAT0.1
Umbrella_tbm_05.tex.module.000043UNSAT0.1
Core1108_tbm_21.tex.module.000010UNSAT0.1
Core1108_tbm_21.tex.module.000030UNSAT0.1
Core1108_tbm_09.tex.module.000009UNSAT0.1
Core1108_tbm_03.tex.module.000019UNSAT0.11
Core1108_tbm_03.tex.module.000034UNSAT0.11
Core1108_tbm_03.tex.module.000031UNSAT0.11
Umbrella_tbm_05.tex.module.000015UNSAT0.11
Core1108_tbm_03.tex.module.000021UNSAT0.11
Umbrella_tbm_05.tex.module.000025UNSAT0.11
Umbrella_tbm_05.tex.module.000011UNSAT0.12
Core1108_tbm_03.tex.module.000048UNSAT0.12
Core1108_tbm_21.tex.module.000023UNSAT0.12
Core1108_tbm_03.tex.module.000038UNSAT0.13
Umbrella_tbm_21.tex.module.000069UNSAT0.13
Umbrella_tbm_21.tex.module.000139UNSAT0.13
Core1108_tbm_03.tex.module.000039UNSAT0.13
Core1108_tbm_03.tex.module.000003UNSAT0.13
Core1108_tbm_21.tex.module.000014UNSAT0.13
Umbrella_tbm_21.tex.module.000149UNSAT0.13
Umbrella_tbm_21.tex.module.000134UNSAT0.13
Umbrella_tbm_21.tex.module.000129UNSAT0.13
Umbrella_tbm_21.tex.module.000049UNSAT0.14
Core1108_tbm_03.tex.module.000092UNSAT0.14
Core1108_tbm_03.tex.module.000058UNSAT0.14
Core1108_tbm_03.tex.module.000090UNSAT0.14
Core1108_tbm_03.tex.module.000065UNSAT0.14
Core1108_tbm_03.tex.module.000057UNSAT0.14
Umbrella_tbm_21.tex.module.000029UNSAT0.14
Core1108_tbm_03.tex.module.000056UNSAT0.14
Umbrella_tbm_21.tex.module.000079UNSAT0.14
Umbrella_tbm_21.tex.module.000024UNSAT0.14
Core1108_tbm_03.tex.module.000064UNSAT0.14
Umbrella_tbm_21.tex.module.000056UNSAT0.14
Umbrella_tbm_21.tex.module.000044UNSAT0.14
Umbrella_tbm_26.tex.module.000021UNSAT0.15
Umbrella_tbm_26.tex.module.000061UNSAT0.15
Umbrella_tbm_26.tex.module.000041UNSAT0.15
Umbrella_tbm_26.tex.module.000004UNSAT0.15
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.16
Umbrella_tbm_25.tex.module.000099UNSAT0.16
Umbrella_tbm_25.tex.module.000003UNSAT0.19
Umbrella_tbm_25.tex.module.000084UNSAT0.19
Umbrella_tbm_25.tex.module.000106UNSAT0.19
Umbrella_tbm_25.tex.module.000121UNSAT0.19
Core1108_tbm_09.tex.module.000033UNSAT0.2
Umbrella_tbm_25.tex.module.000087UNSAT0.2
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.2
Umbrella_tbm_25.tex.module.000041UNSAT0.21
Umbrella_tbm_25.tex.module.000031UNSAT0.22
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.27
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.38
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.49
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.57
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.58
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.67
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.73
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT0.82
Core1108_tbm_03.tex.moduleQ3.2S.000011UNSAT0.83
Umbrella_tbm_24.tex.moduleQ2.1S.000022UNSAT0.84
Umbrella_tbm_24.tex.moduleQ2.1S.000136UNSAT0.84
Umbrella_tbm_24.tex.moduleQ2.1S.000188UNSAT0.84
Core1108_tbm_21.tex.moduleQ3.2S.000014UNSAT0.86
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT0.86
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT0.87
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT0.87
Core1108_tbm_21.tex.moduleQ3.2S.000007UNSAT0.88
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT0.88
Core1108_tbm_21.tex.moduleQ3.2S.000027UNSAT0.88
Core1108_tbm_28.tex.moduleQ2.2S.000003UNSAT0.94
Umbrella_tbm_23.tex.moduleQ1.2S.000001UNSAT1.05
Core1108_tbm_02.tex.moduleQ3.2S.000077UNSAT1.11
Core1108_tbm_02.tex.moduleQ3.2S.000007UNSAT1.22
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT1.23
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT1.23
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT1.24
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT1.24
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT1.25
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT1.25
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT1.25
Umbrella_tbm_29.tex.moduleQ2.2S.000001UNSAT1.3
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT1.48
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT1.49
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT1.5
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT1.53
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT1.82
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT1.95
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT1.96
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT1.97
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT2.6
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT2.61
Umbrella_tbm_14.tex.moduleQ2.2S.000003UNSAT2.61
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT2.61
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT2.61
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT2.62
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT2.62
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT2.63
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT2.63
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT3.06
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT3.07
Umbrella_tbm_25.tex.moduleQ3.2S.000063UNSAT4.37
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT7.52
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT7.63
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT8.41
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT9.79
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT9.8
Core1108_tbm_09.tex.moduleQ3.10S.000001UNSAT9.86
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT9.86
Core1108_tbm_09.tex.moduleQ3.2S.000011UNSAT9.9
Core1108_tbm_09.tex.moduleQ3.9S.000001UNSAT9.91
Umbrella_tbm_24.tex.module.000131SAT47.73
Umbrella_tbm_05.tex.module.000039FAIL599.81