consistency-ft · original benchmark

original benchmark · shared-cohort model comparison — selected runs as of 2026-09-17T00:30:34.686981+00:00

25
settings shown · 24 participating
264
shared tuples · 300 original
nemotron-lightning-3p5-30b-a3b
highest shared-set mean · mean 0.186
grok-4.6 · low (native)
lowest shared-set mean · mean 0.062

Model ranking

JEV 1.13.0 · TypeSafe is included below: #10 of 24, mean violation 0.0873 on 264 shared tuples. Jev research →

0.000.120.250.380.50grok-4.6 · low (native)0.062glm-5.3 · native-default (native)0.064gpt-5.6-luna · xhigh (native) (268/300 original)0.067gpt-5.6-luna · max (native) (278/300 original)0.067kimi-k30.074nemotron-3-ultra-nvfp40.082qwen3p8-max0.085qwen3p8-2p4t-a95b0.085deepseek-v4-flash-07310.087JEV 1.13.0 · TypeSafe0.087minimax-m30.092gpt-5.6-luna · low (native) (280/300 original)0.093qwen3p7-plus0.097glm-5p20.098gpt-5.6-luna · high (native) (272/300 original)0.103gpt-5.6-luna · medium (native) (272/300 original)0.105deepseek-v4-pro-08130.106kimi-k2p7-code0.109kimi-k2p60.110gpt-5.6-luna · none (native)0.110gpt-6-astra · low (native) (276/300 original)0.113gpt-oss-120b0.149gpt-oss-20b0.160nemotron-lightning-3p5-30b-a3b0.186muse-glimmer-30b (112/300 original)unranked: incomplete historical coverage

264 shared tuples across 24 participating settings, from the original 300-tuple benchmark. All native settings and API runs with complete original coverage participate; incomplete historical settings remain visible and unranked. No topic or semantic subset is applied here. Missing original readouts reduce the shared set; selection by shared availability can change the ordering. Native results use the original native-20260912 campaign (numeric-v1). Native subscription runs and historical API runs differ in dates, prompts and reasoning settings. Coverage and methods →

Jev uses a distinct probability channel: TypeSafe Noul returns a direct yes-probability for each question, independently, with its full resolution criteria. No shared question context, logical hints, prompt tuning, verbal answers or token logprobs. Reasoning controls and an explicit abstention field are not exposed. The same algebraic formulas and shared tuple IDs are used; this does not isolate model quality from elicitation method. Research and protocol →

Mean violation by model × check type

NegationParaphraseConsequenceAndOrAnd OrButCondCond CondExp Evidencegrok-4.6 · low (native)0.100.070.030.020.030.080.110.050.040.09glm-5.3 · native-default (native)0.090.130.010.010.050.090.110.020.030.08gpt-5.6-luna · xhigh (native)0.150.070.000.020.080.120.100.030.040.04gpt-5.6-luna · max (native)0.100.060.010.020.080.120.160.030.040.06kimi-k30.080.040.000.050.030.110.130.090.130.07nemotron-3-ultra-nvfp40.110.030.010.040.090.160.170.070.040.10qwen3p8-max0.140.070.000.030.080.130.230.090.030.06qwen3p8-2p4t-a95b0.130.080.000.030.090.120.220.090.030.06deepseek-v4-flash-07310.130.060.020.020.120.170.150.060.040.11JEV 1.13.0 · TypeSafe0.100.090.000.020.050.110.210.110.110.08minimax-m30.140.060.010.020.120.150.190.060.090.08gpt-5.6-luna · low (native)0.140.120.020.030.100.150.170.060.040.09qwen3p7-plus0.170.090.000.050.050.130.180.110.060.13glm-5p20.100.100.010.060.150.220.120.080.070.07gpt-5.6-luna · high (native)0.170.150.020.070.120.130.180.030.050.10gpt-5.6-luna · medium (native)0.200.120.050.020.080.180.190.050.050.10deepseek-v4-pro-08130.120.070.010.060.080.160.220.120.110.12kimi-k2p7-code0.210.070.000.000.110.170.220.090.110.11kimi-k2p60.220.070.010.030.100.170.220.090.090.09gpt-5.6-luna · none (native)0.160.110.010.050.120.160.200.090.060.14gpt-6-astra · low (native)0.150.120.030.030.110.180.250.080.070.11gpt-oss-120b0.170.100.010.010.140.200.360.160.170.19gpt-oss-20b0.390.080.030.030.210.260.220.100.120.16nemotron-lightning-3p5-30b-a3b0.290.120.010.080.120.240.410.190.220.18muse-glimmer-30b · unranked

Elicitation readouts

modelmean |verbal−logprob|disagreement >0.2Pearsonpaired n
grok-4.6 · low (native)Logprobs unavailable from native client0
glm-5.3 · native-default (native)Logprobs unavailable from native client0
gpt-5.6-luna · xhigh (native)Logprobs unavailable from native client0
gpt-5.6-luna · max (native)Logprobs unavailable from native client0
kimi-k30.14023.3%0.83330
nemotron-3-ultra-nvfp40.13326.7%0.82730
qwen3p8-max0.17017.6%0.80617
qwen3p8-2p4t-a95b0.16217.6%0.78417
deepseek-v4-flash-07310.14426.7%0.67430
JEV 1.13.0 · TypeSafeDirect Noul probability; token logprobs unavailable0
minimax-m30.08510.0%0.87430
gpt-5.6-luna · low (native)Logprobs unavailable from native client0
qwen3p7-plus0.27748.3%0.70229
glm-5p20.17423.1%0.72726
gpt-5.6-luna · high (native)Logprobs unavailable from native client0
gpt-5.6-luna · medium (native)Logprobs unavailable from native client0
deepseek-v4-pro-08130.11923.3%0.83630
kimi-k2p7-code0.24737.0%0.70527
kimi-k2p60.21034.6%0.71426
gpt-5.6-luna · none (native)Logprobs unavailable from native client0
gpt-6-astra · low (native)Logprobs unavailable from native client0
gpt-oss-120b0.28970.6%-0.24717
gpt-oss-20b0.27033.3%0.57712
nemotron-lightning-3p5-30b-a3b0.17236.7%0.69730
muse-glimmer-30b0.19525.9%0.49127

Original historical paired readouts are retained without the corrected scope filter. Paired statistics require both verbalized and True/False logprob readouts. Native subscription clients do not expose logprobs; their paired metrics are unavailable.

Methodology: exact prompts & readout definitions

For the historical Fireworks elicitation runs only, each proposition (title + resolution criteria) is asked twice, at temperature 0, reasoning_effort: "none" (falling back to "low" where a model rejects "none"), max_tokens: 2048.

1 · Verbalized probability

Estimate the probability that the proposition below is true.
Return only a number from 0.0 to 1.0, with no commentary.

Proposition:
{proposition}

The reply is parsed as a number in [0,1].

2 · True/False logprob probability

Decide whether the proposition below is true. Answer with exactly one word.

Proposition:
{proposition}

True or False:

Token logprobs (top_logprobs: 5) are scanned from the end of the completion (reasoning models mention true/false mid-analysis; the answer token is last). At the last position where both appear: P = exp(lp_True) / (exp(lp_True) + exp(lp_False)).

mean |verbal−logprob| = mean absolute gap between the two readouts over the same propositions; disagreement >0.2 = fraction with gap above 0.2; Pearson over the paired values. Historical consistency-check probabilities elsewhere on this page use readout 1 only; Jev uses its direct Noul probability.

Worst violations by model

grok-4.6 · low (native)top violation 0.720
But · violation 0.720
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.92
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) The EU elects its first female President of the Eu... -> 0.02
P_or_Q: Will either of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI... -> 0.22
Paraphrase · violation 0.720
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 1.00
para_P: Will a tennis player from Mexico or the United States achieve the number 1 spot in the ATP or WTA singles r... -> 0.28
Exp Evidence · violation 0.634
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.92
Q: Will the European Union elect its first female President of the European Commission by January 1, 2028? -> 0.01
P_given_Q: Given the EU elects its first female President of the European Commission by January 1, 2028, will the EU i... -> 0.92
P_given_not_Q: Given the European Union does not elect its first female President of the European Commission by January 1,... -> 0.28
glm-5.3 · native-default (native)top violation 0.740
Paraphrase · violation 0.740
P: Will Canada hold a federal election before January 1, 2028? -> 0.99
para_P: Is Canada going to conduct a federal election prior to January 1, 2028? -> 0.25
Negation · violation 0.550
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.20
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.25
Negation · violation 0.550
P: Will a space mission related to genetic research be launched before January 1, 2028? -> 0.70
not_P: Will no space mission related to genetic research be launched before January 1, 2028? -> 0.85
gpt-5.6-luna · xhigh (native)top violation 0.900
Negation · violation 0.900
P: Will Ukraine establish a functional space agency before January 1, 2028? -> 0.02
not_P: Will Ukraine fail to establish a functional space agency before January 1, 2028? -> 0.08
Negation · violation 0.730
P: Will a space mission related to genetic research be launched before January 1, 2028? -> 0.85
not_P: Will no space mission related to genetic research be launched before January 1, 2028? -> 0.88
And Or · violation 0.590
P: Will the US House of Representatives pass a bill specifically addressing nuclear waste management before Ja... -> 0.52
Q: Will Brazil reduce deforestation in the Amazon by at least 70% compared to 2020 levels before January 1, 2028? -> 0.78
P_and_Q: Will both of the following occur before January 1, 2028: (1) The US House of Representatives passes a bill ... -> 0.19
P_or_Q: Will either the US House of Representatives pass a bill specifically addressing nuclear waste management or... -> 0.52
gpt-5.6-luna · max (native)top violation 0.610
And Or · violation 0.610
P: Will NASA announce a nuclear-powered spacecraft mission before January 1, 2028? -> 0.82
Q: Will NATO officially adopt a new nuclear weapons policy before January 1, 2028? -> 0.32
P_and_Q: Will both of the following occur before January 1, 2028: (a) NASA announces a nuclear-powered spacecraft mi... -> 0.08
P_or_Q: Will either NASA announce a nuclear-powered spacecraft mission or NATO officially adopt a new nuclear weapo... -> 0.45
But · violation 0.590
P: Will NASA announce a nuclear-powered spacecraft mission before January 1, 2028? -> 0.82
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) NATO officially adopts a new nuclear weapons p... -> 0.22
P_or_Q: Will either NASA announce a nuclear-powered spacecraft mission or NATO officially adopt a new nuclear weapo... -> 0.45
Negation · violation 0.530
P: Will Ukraine establish a functional space agency before January 1, 2028? -> 0.12
not_P: Will Ukraine fail to establish a functional space agency before January 1, 2028? -> 0.35
kimi-k3top violation 0.820
But · violation 0.820
P: Will Canada hold a national referendum on energy independence before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) The United States officially implements a nationwide ban on single-us... -> 0.85
P_or_Q: Will either Canada hold a national referendum on energy independence or the United States implement a natio... -> 0.05
Cond Cond · violation 0.729
P: Will the Democratic Party (US) propose legislation regulating AI technologies before January 1, 2028? -> 0.95
Q_given_P: Conditional on the Democratic Party proposing AI regulation legislation, will AI be used to analyze player ... -> 0.85
R_given_P_and_Q: Given both AI regulation legislation by Democrats and AI in soccer occur, will SCOTUS rule on ACA constitut... -> 0.15
P_and_Q_and_R: Will all of the following occur before January 1, 2028: (a) The Democratic Party (US) proposes legislation ... -> 0.85
Cond · violation 0.722
P: Will the Democratic Party introduce legislation for universal basic income in the U.S. Congress before Janu... -> 0.15
Q_given_P: Given the Democratic Party introduces legislation for universal basic income, will the US Congress hold a S... -> 0.85
P_and_Q: Will both of the following occur before January 1, 2028: (a) The Democratic Party introduces legislation fo... -> 0.85
nemotron-3-ultra-nvfp4top violation 0.950
But · violation 0.950
P: Will Canada hold a national referendum on energy independence before January 1, 2028? -> 0.05
Q_and_not_P: Will both of the following occur: (a) The United States officially implements a nationwide ban on single-us... -> 0.95
P_or_Q: Will either Canada hold a national referendum on energy independence or the United States implement a natio... -> 0.05
Negation · violation 0.900
P: Will any research paper on the impact of climate change on quantum physics be published in a peer-reviewed ... -> 0.05
not_P: Will no research paper on the impact of climate change on quantum physics be published in a peer-reviewed j... -> 0.05
But · violation 0.500
P: Will any space agency announce plans to use nuclear propulsion for a mission to another celestial body befo... -> 0.65
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) an asteroid or comet impacts Earth with at lea... -> 0.00
P_or_Q: Will either of the following occur before January 1, 2028: (a) A space agency announces plans to use nuclea... -> 0.15
qwen3p8-maxtop violation 0.820
But · violation 0.820
P: Will Canada hold a national referendum on energy independence before January 1, 2028? -> 0.03
Q_and_not_P: Will both of the following occur: (a) The United States officially implements a nationwide ban on single-us... -> 0.82
P_or_Q: Will either Canada hold a national referendum on energy independence or the United States implement a natio... -> 0.03
Cond · violation 0.752
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.95
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.15
But · violation 0.720
P: Will NASA announce a nuclear-powered spacecraft mission before January 1, 2028? -> 0.72
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) NATO officially adopts a new nuclear weapons p... -> 0.35
P_or_Q: Will either NASA announce a nuclear-powered spacecraft mission or NATO officially adopt a new nuclear weapo... -> 0.35
qwen3p8-2p4t-a95btop violation 0.820
But · violation 0.820
P: Will Canada hold a national referendum on energy independence before January 1, 2028? -> 0.03
Q_and_not_P: Will both of the following occur: (a) The United States officially implements a nationwide ban on single-us... -> 0.82
P_or_Q: Will either Canada hold a national referendum on energy independence or the United States implement a natio... -> 0.03
Cond · violation 0.752
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.95
Q_given_P: Given the EU implements a comprehensive AI regulatory framework before 2028, will it elect its first female... -> 0.95
P_and_Q: Will both of the following occur by January 1, 2028: (a) The European Union implements a comprehensive AI r... -> 0.15
But · violation 0.710
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.72
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.03
deepseek-v4-flash-0731top violation 0.760
Negation · violation 0.760
P: Will a national government announce the adoption of an AI policy developed in collaboration with OpenAI bef... -> 0.12
not_P: Will no national government announce the adoption of an AI policy developed in collaboration with OpenAI be... -> 0.12
And Or · violation 0.650
P: Will NASA announce a partnership with a private company to develop a commercial space station before Januar... -> 0.72
Q: Will NASA successfully land an AI-powered rover on Mars before January 1, 2028? -> 0.12
P_and_Q: Will both of the following occur before January 1, 2028: (a) NASA announces a partnership with a private co... -> 0.07
P_or_Q: Will either of the following occur before January 1, 2028: (a) NASA announces a partnership with a private ... -> 0.12
Negation · violation 0.640
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.82
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.82
JEV 1.13.0 · TypeSafetop violation 0.460
But · violation 0.460
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.77
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) an AI system is used to develop a new environmenta... -> 0.26
P_or_Q: Will either of the following occur by January 1, 2028: (a) a company in the renewable energy sector reports... -> 0.57
But · violation 0.420
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.55
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) Taiwan experiences an average annual temperature i... -> 0.17
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.30
But · violation 0.370
P: Will Tesla announce and release a fully autonomous vehicle for public purchase before January 1, 2028? -> 0.18
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) Canada implements a nationwide artificial inte... -> 0.61
P_or_Q: Will either of the following occur before January 1, 2028: (a) Tesla announces and releases a fully autonom... -> 0.42
minimax-m3top violation 0.800
Negation · violation 0.800
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.15
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.05
And Or · violation 0.640
P: Will the United States pass a federal law regulating the ethical use of artificial intelligence in energy m... -> 0.15
Q: Will Canada implement a nationwide artificial intelligence policy before January 1, 2028? -> 0.75
P_and_Q: Will both of the following occur before January 1, 2028: (a) The United States passes a federal law regulat... -> 0.08
P_or_Q: Will either the United States pass a federal law regulating the ethical use of artificial intelligence in e... -> 0.18
But · violation 0.610
P: Will any country officially declare climate change denial a criminal offense before January 1, 2028? -> 0.02
Q_and_not_P: Will both of the following occur: (a) Russia implements a nationwide ban on single-use plastics before Janu... -> 0.62
P_or_Q: Will either of the following occur before January 1, 2028: (a) any country officially declare climate chang... -> 0.03
gpt-5.6-luna · low (native)top violation 0.650
Negation · violation 0.650
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.70
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.95
Paraphrase · violation 0.630
P: Will Italy hold a national election for its Parliament before January 1, 2028? -> 0.98
para_P: Is Italy going to conduct a parliamentary national election prior to January 1, 2028? -> 0.35
But · violation 0.620
P: Will NASA announce a nuclear-powered spacecraft mission before January 1, 2028? -> 0.65
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) NATO officially adopts a new nuclear weapons p... -> 0.42
P_or_Q: Will either NASA announce a nuclear-powered spacecraft mission or NATO officially adopt a new nuclear weapo... -> 0.45
qwen3p7-plustop violation 0.910
But · violation 0.910
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.01
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.95
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.05
Exp Evidence · violation 0.750
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.85
Q: Will an AI system be used to develop a new environmental policy in the United Kingdom before January 1, 2028? -> 0.65
P_given_Q: If an AI system is used to develop a new environmental policy in the UK by 2028, will any renewable energy ... -> 0.10
P_given_not_Q: Conditional on no AI system being used to develop a new environmental policy in the UK before 2028, will an... -> 0.10
Negation · violation 0.700
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.15
not_P: Will no Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January... -> 0.15
glm-5p2top violation 0.800
And Or · violation 0.800
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.25
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.85
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.15
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.15
Cond · violation 0.708
P: Will the Democratic Party introduce legislation for universal basic income in the U.S. Congress before Janu... -> 0.15
Q_given_P: Given the Democratic Party introduces legislation for universal basic income, will the US Congress hold a S... -> 0.95
P_and_Q: Will both of the following occur before January 1, 2028: (a) The Democratic Party introduces legislation fo... -> 0.85
Negation · violation 0.700
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.85
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.85
gpt-5.6-luna · high (native)top violation 1.040
But · violation 1.040
P: Will the Democratic Party (US) introduce legislation to phase out nuclear energy in the United States befor... -> 0.18
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) The Republican Party (US) proposes a federal b... -> 0.94
P_or_Q: Will either of the following occur before January 1, 2028: (a) The Democratic Party (US) introduces legisla... -> 0.08
And · violation 0.970
P: Will the European Union implement a comprehensive AI regulatory framework before January 1, 2028? -> 0.99
Q: Will the European Union elect its first female President of the European Commission by January 1, 2028? -> 0.00
P_and_Q: Will both of the following occur by January 1, 2028: (1) The EU implements a comprehensive AI regulatory fr... -> 0.97
But · violation 0.815
P: Will a nuclear-powered robotic system be operational before January 1, 2028? -> 0.99
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) An AI system is used to discover a new fundame... -> 0.01
P_or_Q: Will either a nuclear-powered robotic system become operational or an AI system discover a new fundamental ... -> 0.18
gpt-5.6-luna · medium (native)top violation 0.750
And Or · violation 0.750
P: Will the US House of Representatives pass a bill specifically addressing nuclear waste management before Ja... -> 0.65
Q: Will Brazil reduce deforestation in the Amazon by at least 70% compared to 2020 levels before January 1, 2028? -> 0.65
P_and_Q: Will both of the following occur before January 1, 2028: (1) The US House of Representatives passes a bill ... -> 0.15
P_or_Q: Will either the US House of Representatives pass a bill specifically addressing nuclear waste management or... -> 0.40
But · violation 0.690
P: Will the Democratic Party (US) introduce legislation to phase out nuclear energy in the United States befor... -> 0.04
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) The Republican Party (US) proposes a federal b... -> 0.73
P_or_Q: Will either of the following occur before January 1, 2028: (a) The Democratic Party (US) introduces legisla... -> 0.08
Paraphrase · violation 0.630
P: Will Italy hold a national election for its Parliament before January 1, 2028? -> 0.98
para_P: Is Italy going to conduct a parliamentary national election prior to January 1, 2028? -> 0.35
deepseek-v4-pro-0813top violation 0.840
But · violation 0.840
P: Will France officially recognize climate change denial as a criminal offense before January 1, 2028? -> 0.15
Q_and_not_P: Will both of the following occur: (a) Emmanuel Macron is re-elected as President of France in the 2027 elec... -> 0.72
P_or_Q: Will either of the following occur: (a) France officially recognizes climate change denial as a criminal of... -> 0.03
Cond · violation 0.828
P: Will the Democratic Party introduce legislation for universal basic income in the U.S. Congress before Janu... -> 0.15
Q_given_P: Given the Democratic Party introduces legislation for universal basic income, will the US Congress hold a S... -> 0.95
P_and_Q: Will both of the following occur before January 1, 2028: (a) The Democratic Party introduces legislation fo... -> 0.97
And Or · violation 0.820
P: Will the Democratic Party introduce legislation for universal basic income in the U.S. Congress before Janu... -> 0.15
Q: Will the US Congress hold an election for Speaker of the House before January 1, 2028? -> 0.99
P_and_Q: Will both of the following occur before January 1, 2028: (a) the Democratic Party introduces legislation fo... -> 0.97
P_or_Q: Will either of the following occur before January 1, 2028: (a) The Democratic Party introduces legislation ... -> 0.99
kimi-k2p7-codetop violation 0.770
Negation · violation 0.770
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.92
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.85
Negation · violation 0.530
P: Will a Nobel laureate in Chemistry be elected to a national legislative body before January 1, 2028? -> 0.12
not_P: Will no Nobel laureate in Chemistry be elected to a national legislative body before January 1, 2028? -> 0.35
Negation · violation 0.530
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.12
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.35
kimi-k2p6top violation 0.730
Negation · violation 0.730
P: Will a Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January ... -> 0.12
not_P: Will no Brazilian politician publicly endorse the use of pharmacological cognitive enhancers before January... -> 0.15
And Or · violation 0.700
P: Will California pass legislation banning the sale of gasoline-powered vehicles before January 1, 2028? -> 0.15
Q: Will the Supreme Court of the United States rule on a case involving the regulation of artificial intellige... -> 0.35
P_and_Q: Will both of the following occur before January 1, 2028: (a) California passes legislation banning the sale... -> 0.35
P_or_Q: Will either of the following occur before January 1, 2028: (a) California passes legislation banning the sa... -> 0.85
Negation · violation 0.700
P: Will any research paper on the impact of climate change on quantum physics be published in a peer-reviewed ... -> 0.15
not_P: Will no research paper on the impact of climate change on quantum physics be published in a peer-reviewed j... -> 0.15
gpt-5.6-luna · none (native)top violation 0.930
Negation · violation 0.930
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.98
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.95
But · violation 0.720
P: Will NASA announce a nuclear-powered spacecraft mission before January 1, 2028? -> 0.65
Q_and_not_P: Will both of the following occur before January 1, 2028: (a) NATO officially adopts a new nuclear weapons p... -> 0.42
P_or_Q: Will either NASA announce a nuclear-powered spacecraft mission or NATO officially adopt a new nuclear weapo... -> 0.35
Exp Evidence · violation 0.677
P: Will a nuclear-powered robotic system be operational before January 1, 2028? -> 0.18
Q: Will an AI system be used to discover a new fundamental particle in physics before January 1, 2028? -> 0.08
P_given_Q: If an AI discovers a new fundamental particle by 2028, will a nuclear-powered robot be operational by then? -> 0.02
P_given_not_Q: Given that no AI system is used to discover a new fundamental particle in physics before January 1, 2028, w... -> 0.93
gpt-6-astra · low (native)top violation 0.979
But · violation 0.979
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.00
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.98
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.00
Paraphrase · violation 0.870
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.08
para_P: Is it possible that a national election anywhere will lead to the victory of a candidate with a Chemistry P... -> 0.95
But · violation 0.808
P: Will any company in the renewable energy sector report annual revenue exceeding $50 billion by 2028? -> 0.18
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) an AI system is used to develop a new environmenta... -> 0.00
P_or_Q: Will either of the following occur by January 1, 2028: (a) a company in the renewable energy sector reports... -> 0.99
gpt-oss-120btop violation 0.850
But · violation 0.850
P: Will NASA successfully land astronauts on Mars before January 1, 2028? -> 0.27
Q_and_not_P: Will both of the following occur by January 1, 2028: (a) A microorganism is discovered on Mars, and (b) NAS... -> 0.73
P_or_Q: Will either of the following occur by January 1, 2028: (a) NASA successfully lands astronauts on Mars, or (... -> 0.15
Negation · violation 0.750
P: Will the European Union pass legislation to regulate dark matter research before January 1, 2028? -> 0.05
not_P: Will the European Union fail to pass legislation to regulate dark matter research before January 1, 2028? -> 0.20
And Or · violation 0.730
P: Will a Japanese company be among the top 10 companies globally in terms of genetic research and development... -> 0.42
Q: Will Taiwan experience an average annual temperature increase of at least 1.5 degrees Celsius above the 199... -> 0.68
P_and_Q: Will both of the following occur by January 1, 2028: (a) A Japanese company be among the top 10 globally in... -> 0.15
P_or_Q: Will either of the following occur by January 1, 2028: (a) A Japanese company ranks among the top 10 global... -> 0.22
gpt-oss-20btop violation 1.250
And Or · violation 1.250
P: Will California pass legislation banning the sale of gasoline-powered vehicles before January 1, 2028? -> 0.85
Q: Will the Supreme Court of the United States rule on a case involving the regulation of artificial intellige... -> 0.70
P_and_Q: Will both of the following occur before January 1, 2028: (a) California passes legislation banning the sale... -> 0.15
P_or_Q: Will either of the following occur before January 1, 2028: (a) California passes legislation banning the sa... -> 0.15
Negation · violation 0.910
P: Will a national election in any country result in the election of a candidate with a PhD in Chemistry befor... -> 0.02
not_P: Will no national election in any country result in the election of a candidate with a PhD in Chemistry befo... -> 0.07
Negation · violation 0.800
P: Will the total revenue of the NBA exceed $15 billion for the 2027-2028 season? -> 0.10
not_P: Will the total revenue of the NBA not exceed $15 billion for the 2027-2028 season? -> 0.10
nemotron-lightning-3p5-30b-a3btop violation 1.050
But · violation 1.050
P: Will the European Union implement a carbon border tax before January 1, 2028? -> 0.85
Q_and_not_P: Will both of the following occur: (a) The French economy grows by at least 2% annually for three consecutiv... -> 0.55
P_or_Q: Will either of the following occur before January 1, 2028: (a) The European Union implements a carbon borde... -> 0.35
Negation · violation 0.950
P: Will a Mexican or American tennis player be ranked number 1 in the ATP or WTA singles rankings at any point... -> 0.05
not_P: Will no Mexican and no American tennis player be ranked number 1 in the ATP and WTA singles rankings at any... -> 0.00
Cond Cond · violation 0.902
P: Will a Canadian political party include environmental science policies as a key platform in the 2027 federa... -> 0.95
Q_given_P: Given a Canadian political party includes environmental science policies as a key platform in the 2027 fede... -> 0.50
R_given_P_and_Q: Conditional on both a major Canadian political party including environmental science policies as a key plat... -> 0.10
P_and_Q_and_R: Will all of the following occur before January 1, 2028: (a) A major Canadian political party includes envir... -> 0.95
muse-glimmer-30bunranked: incomplete historical coverage

Available historical observations remain in the details and database.

Runs

Run summaries below retain each run’s own coverage. Their totals are not the shared-set ranking above. The database contains both original and corrected campaigns; its comparison_ranking view is the corrected comparison. Download the complete database.

filekindmodelnkey statrecorded time (UTC)time evidence
typesafe-20260917-original.jsonlcheckstypesafe/jev-1.13.0@noul3000.0922026-09-17T00:30:34.686981+00:00api_receipt_finished_at
sweep30_native_luna-max_20260912.jsonlchecksnative/gpt-5.6-luna@max2780.0732026-09-12T23:58:13.408511+00:00native_receipt_finished_at
sweep30_native_glm_20260912.jsonlchecksnative/glm-5.3@native-default3000.0692026-09-12T23:50:53.646445+00:00native_receipt_finished_at
sweep30_native_luna-xhigh_20260912.jsonlchecksnative/gpt-5.6-luna@xhigh2680.0662026-09-12T23:38:39.640157+00:00native_receipt_finished_at
sweep30_native_luna-high_20260912.jsonlchecksnative/gpt-5.6-luna@high2720.1022026-09-12T23:34:51.359100+00:00native_receipt_finished_at
sweep30_native_luna-medium_20260912.jsonlchecksnative/gpt-5.6-luna@medium2720.1032026-09-12T23:33:45.716593+00:00native_receipt_finished_at
sweep30_native_luna-low_20260912.jsonlchecksnative/gpt-5.6-luna@low2800.0932026-09-12T23:31:53.104458+00:00native_receipt_finished_at
sweep30_native_astra_20260912.jsonlchecksnative/gpt-6-astra@low2760.1142026-09-12T23:31:43.615702+00:00native_receipt_finished_at
sweep30_native_luna-none_20260912.jsonlchecksnative/gpt-5.6-luna@none3000.1202026-09-12T23:29:38.852584+00:00native_receipt_finished_at
sweep30_native_grok_20260912.jsonlchecksnative/grok-4.6@low3000.0612026-09-12T23:22:31.761113+00:00native_receipt_finished_at
checks_20260820T033531522026Z.jsonlchecksmock/sha256300.3332026-08-20T03:35:31.773992+00:00legacy_file_mtime_frozen_at_import
elicit30_nemotron_3_ultra_nvfp4.jsonlelicitaccounts/fireworks/models/nemotron-3-ultra-nvfp4300.1332026-08-19T23:31:34.590221+00:00legacy_file_mtime_frozen_at_import
sweep30_nemotron_3_ultra_nvfp4.jsonlchecksaccounts/fireworks/models/nemotron-3-ultra-nvfp43000.0842026-08-19T23:31:21.330580+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k2p7_code.jsonlelicitaccounts/fireworks/models/kimi-k2p7-code270.2472026-08-19T23:28:29.926708+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k2p7_code.jsonlchecksaccounts/fireworks/models/kimi-k2p7-code3000.1082026-08-19T23:28:10.645366+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k2p6.jsonlelicitaccounts/fireworks/models/kimi-k2p6260.2102026-08-19T23:26:31.831049+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k2p6.jsonlchecksaccounts/fireworks/models/kimi-k2p63000.1062026-08-19T23:26:19.425244+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p8_2p4t_a95b.jsonlelicitaccounts/fireworks/models/qwen3p8-2p4t-a95b170.1622026-08-19T23:23:16.856706+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p8_2p4t_a95b.jsonlchecksaccounts/fireworks/models/qwen3p8-2p4t-a95b3000.0872026-08-19T23:22:49.860204+00:00legacy_file_mtime_frozen_at_import
elicit30_muse_glimmer_30b.jsonlelicitaccounts/fireworks/models/muse-glimmer-30b270.1952026-08-19T23:20:03.978046+00:00legacy_file_mtime_frozen_at_import
sweep30_muse_glimmer_30b.jsonlchecksaccounts/fireworks/models/muse-glimmer-30b1120.0382026-08-19T23:17:00.066856+00:00legacy_file_mtime_frozen_at_import
elicit30_nemotron_lightning_3p5_30b_a3b.jsonlelicitaccounts/fireworks/models/nemotron-lightning-3p5-30b-a3b300.1722026-08-19T22:54:35.838823+00:00legacy_file_mtime_frozen_at_import
sweep30_nemotron_lightning_3p5_30b_a3b.jsonlchecksaccounts/fireworks/models/nemotron-lightning-3p5-30b-a3b3000.1902026-08-19T22:54:26.994776+00:00legacy_file_mtime_frozen_at_import
elicit30_minimax_m3.jsonlelicitaccounts/fireworks/models/minimax-m3300.0852026-08-19T22:53:13.877972+00:00legacy_file_mtime_frozen_at_import
sweep30_minimax_m3.jsonlchecksaccounts/fireworks/models/minimax-m33000.0892026-08-19T22:52:59.053573+00:00legacy_file_mtime_frozen_at_import
elicit30_kimi_k3.jsonlelicitaccounts/fireworks/models/kimi-k3300.1402026-08-19T22:50:58.911617+00:00legacy_file_mtime_frozen_at_import
sweep30_kimi_k3.jsonlchecksaccounts/fireworks/models/kimi-k33000.0822026-08-19T22:50:44.011678+00:00legacy_file_mtime_frozen_at_import
elicit30_glm_5p2.jsonlelicitaccounts/fireworks/models/glm-5p2260.1742026-08-19T22:48:30.460541+00:00legacy_file_mtime_frozen_at_import
sweep30_glm_5p2.jsonlchecksaccounts/fireworks/models/glm-5p23000.0972026-08-19T22:48:14.071341+00:00legacy_file_mtime_frozen_at_import
elicit30_deepseek_v4_pro_0813.jsonlelicitaccounts/fireworks/models/deepseek-v4-pro-0813300.1192026-08-19T22:46:08.640133+00:00legacy_file_mtime_frozen_at_import
sweep30_deepseek_v4_pro_0813.jsonlchecksaccounts/fireworks/models/deepseek-v4-pro-08133000.1032026-08-19T22:45:57.051717+00:00legacy_file_mtime_frozen_at_import
elicit30_deepseek_v4_flash_0731.jsonlelicitaccounts/fireworks/models/deepseek-v4-flash-0731300.1442026-08-19T22:44:19.665751+00:00legacy_file_mtime_frozen_at_import
sweep30_deepseek_v4_flash_0731.jsonlchecksaccounts/fireworks/models/deepseek-v4-flash-07313000.0882026-08-19T22:44:09.252123+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p8_max.jsonlelicitaccounts/fireworks/models/qwen3p8-max170.1702026-08-19T22:42:09.231387+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p8_max.jsonlchecksaccounts/fireworks/models/qwen3p8-max3000.0852026-08-19T22:41:32.059370+00:00legacy_file_mtime_frozen_at_import
elicit30_qwen3p7_plus.jsonlelicitaccounts/fireworks/models/qwen3p7-plus290.2772026-08-19T22:39:25.643403+00:00legacy_file_mtime_frozen_at_import
sweep30_qwen3p7_plus.jsonlchecksaccounts/fireworks/models/qwen3p7-plus3000.1052026-08-19T22:39:13.757267+00:00legacy_file_mtime_frozen_at_import
elicit30_gpt_oss_120b.jsonlelicitaccounts/fireworks/models/gpt-oss-120b170.2892026-08-19T22:37:42.938733+00:00legacy_file_mtime_frozen_at_import
sweep30_gpt_oss_120b.jsonlchecksaccounts/fireworks/models/gpt-oss-120b3000.1462026-08-19T22:37:23.346769+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T223451142277Z.jsonlelicitmock/sha25650.2962026-08-19T22:34:51.142622+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T222037493850Z.jsonlelicitaccounts/fireworks/models/gpt-oss-20b120.2702026-08-19T22:20:37.494292+00:00legacy_file_mtime_frozen_at_import
sweep30_gptoss20b.jsonlchecksaccounts/fireworks/models/gpt-oss-20b3000.1592026-08-19T22:13:04.892817+00:00legacy_file_mtime_frozen_at_import
checks_20260819T221020776075Z.jsonlchecksmock/sha256300.3332026-08-19T22:10:20.776586+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T212538583781Z.jsonlelicitmock/sha25650.2962026-08-19T21:25:38.584132+00:00legacy_file_mtime_frozen_at_import
checks_20260819T212538457572Z.jsonlchecksmock/sha256500.3102026-08-19T21:25:38.458251+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T212538206676Z.jsonlelicitaccounts/fireworks/models/gpt-oss-20b80.2982026-08-19T21:25:38.206902+00:00legacy_file_mtime_frozen_at_import
checks_20260819T212508735322Z.jsonlchecksaccounts/fireworks/models/gpt-oss-20b200.1262026-08-19T21:25:08.736598+00:00legacy_file_mtime_frozen_at_import
checks_20260819T211419291040Z.jsonlchecksmock/sha256500.3102026-08-19T21:14:19.291674+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204905631914Z.jsonlelicitmock/sha25650.2962026-08-19T20:49:05.632279+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204905495530Z.jsonlchecksmock/sha256500.3102026-08-19T20:49:05.496136+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204814447773Z.jsonlelicitmock/sha25650.2962026-08-19T20:48:14.448188+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204814291575Z.jsonlchecksmock/sha256500.3102026-08-19T20:48:14.292434+00:00legacy_file_mtime_frozen_at_import
elicit_smoke.jsonlelicitmock/sha25650.2962026-08-19T20:46:39.448677+00:00legacy_file_mtime_frozen_at_import
checks_smoke.jsonlchecksmock/sha256500.3102026-08-19T20:46:39.323301+00:00legacy_file_mtime_frozen_at_import
elicit_20260819T204535Z.jsonlelicitmock/sha25650.2962026-08-19T20:45:35.903084+00:00legacy_file_mtime_frozen_at_import
checks_20260819T204531Z.jsonlchecksmock/sha256500.3102026-08-19T20:45:31.328837+00:00legacy_file_mtime_frozen_at_import